{"id":"https://openalex.org/W1972033842","doi":"https://doi.org/10.1142/s0218194000000250","title":"FORMAL SPECIFICATION AND PROTOTYPING OF MULTIMEDIA APPLICATIONS","display_name":"FORMAL SPECIFICATION AND PROTOTYPING OF MULTIMEDIA APPLICATIONS","publication_year":2000,"publication_date":"2000-08-01","ids":{"openalex":"https://openalex.org/W1972033842","doi":"https://doi.org/10.1142/s0218194000000250","mag":"1972033842"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194000000250","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194000000250","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021856071","display_name":"Timothy Arndt","orcid":"https://orcid.org/0000-0001-6451-9918"},"institutions":[{"id":"https://openalex.org/I102607778","display_name":"Cleveland State University","ror":"https://ror.org/002tx1f22","country_code":"US","type":"education","lineage":["https://openalex.org/I102607778"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"TIMOTHY ARNDT","raw_affiliation_strings":["Department of Computer and Information Science,  Cleveland State University, USA","[Department of Computer and Information Science, Cleveland State University, USA]"],"affiliations":[{"raw_affiliation_string":"Department of Computer and Information Science,  Cleveland State University, USA","institution_ids":["https://openalex.org/I102607778"]},{"raw_affiliation_string":"[Department of Computer and Information Science, Cleveland State University, USA]","institution_ids":["https://openalex.org/I102607778"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111617433","display_name":"Shi\u2010Kuo Chang","orcid":null},"institutions":[{"id":"https://openalex.org/I170201317","display_name":"University of Pittsburgh","ror":"https://ror.org/01an3r305","country_code":"US","type":"education","lineage":["https://openalex.org/I170201317"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"SHI-KUO CHANG","raw_affiliation_strings":["Department of Computer Science, University of Pittsburgh, USA","Department of Computer Science, University of Pittsburgh, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Pittsburgh, USA","institution_ids":["https://openalex.org/I170201317"]},{"raw_affiliation_string":"Department of Computer Science, University of Pittsburgh, USA#TAB#","institution_ids":["https://openalex.org/I170201317"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050882663","display_name":"Angela Guercio","orcid":"https://orcid.org/0000-0003-2971-9783"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ANGELA GUERCIO","raw_affiliation_strings":["Department of Mathematics and Computer Science,  University of Salerno, Italy","Department of Mathematics and Computer Science, University of Salerno, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science,  University of Salerno, Italy","institution_ids":["https://openalex.org/I131729948"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Salerno, Italy","institution_ids":["https://openalex.org/I131729948"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021856071"],"corresponding_institution_ids":["https://openalex.org/I102607778"],"apc_list":null,"apc_paid":null,"fwci":3.5649,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.93247844,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"10","issue":"04","first_page":"377","last_page":"409"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12720","display_name":"Multimedia Communication and Technology","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T12720","display_name":"Multimedia Communication and Technology","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11439","display_name":"Video Analysis and Summarization","score":0.98580002784729,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12601","display_name":"Web Applications and Data Management","score":0.9767000079154968,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8427839279174805},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.6359246373176575},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6042059659957886},{"id":"https://openalex.org/keywords/hyperlink","display_name":"Hyperlink","score":0.5780476331710815},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5187458992004395},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4933895170688629},{"id":"https://openalex.org/keywords/multimedia","display_name":"Multimedia","score":0.4805624783039093},{"id":"https://openalex.org/keywords/rapid-prototyping","display_name":"Rapid prototyping","score":0.4340742230415344},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.32814520597457886},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.23500826954841614},{"id":"https://openalex.org/keywords/web-page","display_name":"Web page","score":0.09611406922340393}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8427839279174805},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.6359246373176575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6042059659957886},{"id":"https://openalex.org/C30088001","wikidata":"https://www.wikidata.org/wiki/Q102014","display_name":"Hyperlink","level":3,"score":0.5780476331710815},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5187458992004395},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4933895170688629},{"id":"https://openalex.org/C49774154","wikidata":"https://www.wikidata.org/wiki/Q131765","display_name":"Multimedia","level":1,"score":0.4805624783039093},{"id":"https://openalex.org/C2780395129","wikidata":"https://www.wikidata.org/wiki/Q1128971","display_name":"Rapid prototyping","level":2,"score":0.4340742230415344},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.32814520597457886},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.23500826954841614},{"id":"https://openalex.org/C21959979","wikidata":"https://www.wikidata.org/wiki/Q36774","display_name":"Web page","level":2,"score":0.09611406922340393},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1142/s0218194000000250","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194000000250","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.135.8519","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.8519","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www3.cs.pitt.edu/~chang/231/mmpapes.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.75,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1488030803","https://openalex.org/W1491178396","https://openalex.org/W1570017503","https://openalex.org/W1594830708","https://openalex.org/W1843863866","https://openalex.org/W1975376848","https://openalex.org/W1986109646","https://openalex.org/W2000410375","https://openalex.org/W2016518795","https://openalex.org/W2017024004","https://openalex.org/W2027536911","https://openalex.org/W2052336725","https://openalex.org/W2052520063","https://openalex.org/W2070869568","https://openalex.org/W2075680193","https://openalex.org/W2084394732","https://openalex.org/W2085778688","https://openalex.org/W2104361353","https://openalex.org/W2106119625","https://openalex.org/W2115265172","https://openalex.org/W2115877532","https://openalex.org/W2132381663","https://openalex.org/W2137682119","https://openalex.org/W2138535071","https://openalex.org/W2156128298","https://openalex.org/W2174953658"],"related_works":["https://openalex.org/W2070147537","https://openalex.org/W2026046761","https://openalex.org/W2467097043","https://openalex.org/W1998962249","https://openalex.org/W2368553372","https://openalex.org/W2132843347","https://openalex.org/W2474495446","https://openalex.org/W1512248002","https://openalex.org/W2171794906","https://openalex.org/W2139865158"],"abstract_inverted_index":{"Multimedia":[0],"systems":[1],"incorporating":[2],"hyperlinks":[3],"and":[4,34,44,96,112],"user":[5],"interaction":[6],"can":[7],"be":[8],"prototyped":[9],"using":[10,59],"TAOML,":[11],"an":[12,85],"extension":[13],"of":[14,47,98],"HTML.":[15],"TAOML":[16],"is":[17,26,64,70],"used":[18],"to":[19,75,83,108],"define":[20],"a":[21,27,53,105],"Teleaction":[22],"Object":[23],"(TAO)":[24],"which":[25],"multimedia":[28,48,114],"object":[29],"with":[30,78],"associated":[31],"hypergraph":[32,38],"structure":[33,36,39],"knowledge":[35,77],"The":[37,81,90],"supports":[40],"the":[41,79,99],"effective":[42],"presentation":[43],"efficient":[45,86],"communication":[46],"information.":[49],"In":[50],"this":[51],"paper,":[52],"formal":[54],"specification":[55],"methodology":[56,103],"for":[57,94],"TAOs":[58],"Symbol":[60],"Relation":[61],"(SR)":[62],"grammars":[63],"described.":[65],"An":[66],"attributed":[67],"SR":[68],"grammar":[69],"then":[71],"introduced":[72],"in":[73],"order":[74],"associate":[76],"TAO.":[80],"limitations":[82],"achieve":[84],"parser":[87],"are":[88],"given.":[89],"grammatical":[91],"formalism":[92],"allows":[93],"validation":[95],"verification":[97],"system":[100],"specification.":[101],"This":[102],"provides":[104],"principled":[106],"approach":[107],"specify,":[109],"verify,":[110],"validate":[111],"prototype":[113],"applications.":[115]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}