{"id":"https://openalex.org/W2101239002","doi":"https://doi.org/10.1109/32.214833","title":"Toward a rigorous interpretation of ESML-extended systems modeling language","display_name":"Toward a rigorous interpretation of ESML-extended systems modeling language","publication_year":1993,"publication_date":"1993-01-01","ids":{"openalex":"https://openalex.org/W2101239002","doi":"https://doi.org/10.1109/32.214833","mag":"2101239002"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.214833","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5089370989","display_name":"Gernot Richter","orcid":null},"institutions":[],"countries":["DE"],"is_corresponding":false,"raw_author_name":"G. Richter","raw_affiliation_strings":["Department for Foundations of Information Technology (I1), German National Research Center for Computer Science (GMD), Sankt Augustin, Germany"],"affiliations":[{"raw_affiliation_string":"Department for Foundations of Information Technology (I1), German National Research Center for Computer Science (GMD), Sankt Augustin, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070581572","display_name":"B. Maffeo","orcid":null},"institutions":[{"id":"https://openalex.org/I2699952","display_name":"Pontifical Catholic University of Rio de Janeiro","ror":"https://ror.org/01dg47b60","country_code":"BR","type":"funder","lineage":["https://openalex.org/I2699952"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"B. Maffeo","raw_affiliation_strings":["Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brazil"],"affiliations":[{"raw_affiliation_string":"Departamento de Inform\u00e1tica, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro, Rio de Janeiro, Brazil","institution_ids":["https://openalex.org/I2699952"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.378,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":22,"citation_normalized_percentile":{"value":0.797039,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":"19","issue":"2","first_page":"165","last_page":"180"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.997,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.82196426},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7725365},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.638508},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.61659205},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.49449918},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48743537},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.46057582},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.45817468},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.42462727},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.10479286},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.214833","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.62,"display_name":"Quality education","id":"https://metadata.un.org/sdg/4"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W127754972","https://openalex.org/W1483640767","https://openalex.org/W1492005089","https://openalex.org/W1498547420","https://openalex.org/W1570372094","https://openalex.org/W1572660965","https://openalex.org/W1577110168","https://openalex.org/W1585187778","https://openalex.org/W1948802341","https://openalex.org/W1971267984","https://openalex.org/W1997422892","https://openalex.org/W2005882454","https://openalex.org/W2007108982","https://openalex.org/W2020775305","https://openalex.org/W2027761021","https://openalex.org/W2036501657","https://openalex.org/W2087772092","https://openalex.org/W2098856228","https://openalex.org/W2099229802","https://openalex.org/W2113355185","https://openalex.org/W2131306746","https://openalex.org/W2135120182","https://openalex.org/W2151397158","https://openalex.org/W2151612633","https://openalex.org/W2631739413","https://openalex.org/W3021487466","https://openalex.org/W4249538237"],"related_works":["https://openalex.org/W4230983483","https://openalex.org/W2391570358","https://openalex.org/W2355319912","https://openalex.org/W2154794415","https://openalex.org/W2132799268","https://openalex.org/W1980200158","https://openalex.org/W1745255672","https://openalex.org/W1551257573","https://openalex.org/W1529681579","https://openalex.org/W126645119"],"abstract_inverted_index":{"A":[0],"graphics-based":[1],"language":[2],"known":[3],"as":[4,77,79],"ESML":[5,39],"(extended":[6],"systems":[7,109],"modeling":[8],"language),":[9],"which":[10,54],"is":[11,29,58],"an":[12],"extension":[13],"of":[14,26,38,81,104,107,116,137],"the":[15,105],"data":[16,114],"flow":[17,85],"diagram":[18],"notation":[19],"for":[20,62,67],"representing":[21],"control":[22],"logic":[23],"in":[24,65,90],"models":[25,98,103],"real-time":[27,108],"systems,":[28],"analyzed":[30],"and":[31,41,47,64,84,92,101,113,130,135],"summarized":[32],"to":[33,53,120,132],"provide":[34],"a":[35,55],"rigorous":[36,100],"interpretation":[37],"symbols":[40],"their":[42,121],"combinations.":[43],"Based":[44],"on":[45],"elementary":[46],"compact":[48],"(high-level)":[49],"Petri":[50],"nets":[51],"(PNs),":[52],"succinct":[56],"introduction":[57],"given,":[59],"formal":[60],"foundations":[61],"ESML,":[63],"particular":[66],"its":[68],"transformation":[69,83],"schema":[70],"(TS)":[71],"notation,":[72],"are":[73,87,99],"proposed.":[74],"Translation":[75],"principles":[76],"well":[78],"examples":[80],"usual":[82],"patterns":[86],"presented":[88],"both":[89],"TS":[91],"PN":[93,97],"notation.":[94],"The":[95],"resulting":[96],"accurate":[102],"dynamics":[106],"with":[110],"signals,":[111],"prompts,":[112],"flows":[115],"various":[117],"kinds.":[118],"Due":[119],"formally":[122],"defined":[123],"token":[124],"game":[125],"they":[126],"can":[127],"be":[128],"executed":[129],"used":[131],"study":[133],"indeterminism":[134],"concurrency":[136],"events.<":[138],">":[141]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2101239002","counts_by_year":[],"updated_date":"2025-04-19T06:50:55.635481","created_date":"2016-06-24"}