{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:20:26Z","timestamp":1775053226604,"version":"3.50.1"},"reference-count":61,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[2005,1]]},"abstract":"<jats:p>The article proposes an approach for defining extensible and flexible formal interpreters for diagram notations with significant dynamic semantics. More precisely, it addresses semi-formal diagram notations that have precisely-defined syntax, but informally defined (dynamic) semantics. These notations are often flexible to fit the different needs and expectations of users. Flexibility comes from the incompleteness or informality of the original definition and results in different interpretations.The approach defines interpreters by means of a mapping onto a semantic domain. Two sets of rules define the correspondences between the elements of the diagram notation and those of the semantic domain, and between events and states of the semantic domain and visual annotations on the elements of the diagram notation.Flexibility also leads to notation families, that is, sets of notations that share core concepts, but present slightly different interpretations. Existing approaches usually interpret these notations in isolation; the approach presented in this article allows the interpretation of a family as a whole. The feasibility of the approach is demonstrated through a prototype generator that allows users to implement special-purpose interpreters by defining relatively small sets of rules.<\/jats:p>","DOI":"10.1145\/1044834.1044836","type":"journal-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T08:30:55Z","timestamp":1123057855000},"page":"42-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Formal interpreters for diagram notations"],"prefix":"10.1145","volume":"14","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[{"name":"Universit\u00e0 degli Studi di Milano Bicocca, Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,1]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Arcom Control Systems 2002. ISaGRAPH Programming Suite. Arcom Control Systems.]]  Arcom Control Systems 2002. ISaGRAPH Programming Suite. Arcom Control Systems.]]"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022872229481"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the First International Conference on Graph Transformation (ICGT","volume":"2505","author":"Baresi L.","year":"2002"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the IEEE Conference on System, Man, and Cybernetics.","volume":"4","author":"Baresi L."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/268411.268429"},{"key":"e_1_2_1_8_1","unstructured":"Baresi L. and Pezz\u00e8 M. 2001a. Formal semantics for notation families: The case of structured analysis. Tech. rep. Dipartimento di Elettronica e Infomazione--Politecnico di Milano.]]  Baresi L. and Pezz\u00e8 M. 2001a. Formal semantics for notation families: The case of structured analysis. Tech. rep. Dipartimento di Elettronica e Infomazione--Politecnico di Milano.]]"},{"key":"e_1_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Baresi L. and Pezz\u00e8 M. 2001b. On formalizing UML with high-level petri nets. In Concurrent Object-Oriented Programming and Petri Nets. Springer-Verlag New York 276--304.]]   Baresi L. and Pezz\u00e8 M. 2001b. On formalizing UML with high-level petri nets. In Concurrent Object-Oriented Programming and Petri Nets. Springer-Verlag New York 276--304.]]","DOI":"10.1007\/3-540-45397-0_9"},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the International Workshop on Graph-Based Tools. Electronic Notes in Computer Science","volume":"72","author":"B\u00f6hlen B."},{"key":"e_1_2_1_11_1","unstructured":"Bove R. Dipoppa G. and Perrotta A. 1996. The RPCM system core specified and animated using IDERS. Tech. rep. Alenia. Apr. IDERS Doc.id : IDERS-ALENIA-42-V2.2.]]  Bove R. Dipoppa G. and Perrotta A. 1996. The RPCM system core specified and animated using IDERS. Tech. rep. Alenia. Apr. IDERS Doc.id : IDERS-ALENIA-42-V2.2.]]"},{"key":"e_1_2_1_12_1","volume-title":"Workshop on Precise Semantics for Software Modeling Techniques. In conjunction with ICSE","author":"Broy M.","year":"1998"},{"key":"e_1_2_1_13_1","volume-title":"Tech. Rep. 93-60-14, Department of Computer Science","author":"Burnett M.","year":"1993"},{"key":"e_1_2_1_14_1","first-page":"1","article-title":"A technique for designing robotic control systems based on Petri nets","volume":"5","author":"Caloini A.","year":"1998","journal-title":"IEEE Trans. Cont. Syst. Tech."},{"key":"e_1_2_1_15_1","volume-title":"Tech. Rep. INFORMA-AI-17, Ansaldo Sistemi Industriali.]]","author":"Carmeli S.","year":"2000"},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics. Springer-Verlag","author":"Day N. A."},{"key":"e_1_2_1_17_1","volume-title":"Structured Analysis and System Specification","author":"De Marco T."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178052"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of UML","volume":"2185","author":"Engels G.","year":"2001"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of UML'99","volume":"1723","author":"Engels G."},{"key":"e_1_2_1_21_1","volume-title":"Applications, Languages, and Tools, G. Engels, H.-J","author":"Ermel C.","year":"1999"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of UML'98","volume":"1618","author":"Evans A."},{"key":"e_1_2_1_23_1","volume-title":"Proceedings of UML'99","volume":"1723","author":"Evans A."},{"key":"e_1_2_1_24_1","volume-title":"Proceedings of FME94: Industrial Benefit of Formal Methods. Lecture Notes in Computer Science","volume":"873","author":"Fencott P. C."},{"key":"e_1_2_1_25_1","volume-title":"Tech. Rep. 43, Department of Computer Science","author":"Fischer J.","year":"1995"},{"key":"e_1_2_1_26_1","unstructured":"Fowler M. and Scott K. 2003. UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition). Addison-Wesley Reading Mass.]]   Fowler M. and Scott K. 2003. UML Distilled: A Brief Guide to the Standard Object Modeling Language (3rd Edition). Addison-Wesley Reading Mass.]]"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.129221"},{"key":"e_1_2_1_28_1","unstructured":"France R. and Wu J. 1995. Rigorous dynamic analysis of SA\/RT requirements models. Tech. rep. Department of Computer Science & Engineeering. Florida Atlantic University.]]  France R. and Wu J. 1995. Rigorous dynamic analysis of SA\/RT requirements models. Tech. rep. Department of Computer Science & Engineeering. Florida Atlantic University.]]"},{"key":"e_1_2_1_29_1","unstructured":"Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design Patterns. Addison-Wesley Reading Mass.]]  Gamma E. Helm R. Johnson R. and Vlissides J. 1995. Design Patterns. Addison-Wesley Reading Mass.]]"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.67597"},{"key":"e_1_2_1_31_1","series-title":"Lecture Notes in Computer Science","volume-title":"Graph Grammars and Their Application to Computer Science","author":"G\u00f6ttler H."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-7373(92)90006-7"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"e_1_2_1_35_1","unstructured":"Hatley D. J. and Pirbhai I. A. 1987. Strategies for Real-Time System Specification. Dorset House New York.]]   Hatley D. J. and Pirbhai I. A. 1987. Strategies for Real-Time System Specification. Dorset House New York.]]"},{"key":"e_1_2_1_36_1","volume-title":"Proceedings of Graph Transformation, 1st International Conference, ICGT","volume":"2505","author":"Heckel R.","year":"2002"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_39_1","unstructured":"IBM 2004. Rational Rose XDE Modeler: User's Manuals. IBM.]]  IBM 2004. Rational Rose XDE Modeler: User's Manuals. IBM.]]"},{"key":"e_1_2_1_40_1","volume-title":"Structure Environment: Using the StP\/SE Editors","author":"Interactive Development Environments"},{"key":"e_1_2_1_41_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of UML'01","author":"Kuske S."},{"key":"e_1_2_1_42_1","doi-asserted-by":"crossref","volume-title":"Programming Industrial Control Systems Using IEC 1131-3","author":"Lewis R.","DOI":"10.1049\/PBCE050E"},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the 14th IEEE International Conference on Automated Software Engineering. IEEE Computer Society Press, Los Alamitos, Calif., 255--258","author":"Lilius J."},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.663996"},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of AGTIVE'99","volume":"1779","author":"Minas M."},{"key":"e_1_2_1_46_1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1109\/5.24143","article-title":"Petri Nets: Properties, analysis, and applications","volume":"77","author":"Murata T.","year":"1989","journal-title":"Proc. IEEE"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237169"},{"key":"e_1_2_1_48_1","unstructured":"Object Management Group. 2002. Meta object facility (MOF) specification---v.1.4. Tech. rep. OMG. Mar.]]  Object Management Group. 2002. Meta object facility (MOF) specification---v.1.4. Tech. rep. OMG. Mar.]]"},{"key":"e_1_2_1_50_1","series-title":"Professional Computing Series","volume-title":"TCL and the TK Toolkit","author":"Ousterhout J."},{"key":"e_1_2_1_51_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the Internation Conference on Algebraic Methodology and Software Technology","author":"Paige R."},{"key":"e_1_2_1_52_1","series-title":"Lecture Notes in Computer Science","volume-title":"A meta-method for formal method integration","author":"Paige R."},{"key":"e_1_2_1_53_1","volume-title":"Proceedings of the 6th Refinement Workshop of the BCS FACS. Springer-Verlag.]]","author":"Petersohn C."},{"key":"e_1_2_1_54_1","volume-title":"Tech. Rep. 47--94, Politecnico di Milano. May.]]","author":"Pezz\u00e8 M.","year":"1994"},{"key":"e_1_2_1_55_1","volume-title":"Proceedings of the 19th International Conference on Software Engineering. ACM","author":"Pezz\u00e8 M."},{"key":"e_1_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.56450"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.214833"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of 1st International Conference on Formal Engineering Methods (ICFEM'97)","author":"Scholz D."},{"key":"e_1_2_1_59_1","volume-title":"Proceedings of the 5th Z User Workshop, J. Nicholls, Ed. Springer-Verlag","author":"Semmens L."},{"key":"e_1_2_1_60_1","series-title":"Lecture Notes in Computer Science","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC: Third International Workshop","author":"Sherratt E."},{"key":"e_1_2_1_61_1","volume-title":"Proceedings of Formal Methods Europe 96","volume":"1051","author":"Shi L."},{"key":"e_1_2_1_62_1","unstructured":"The MathWorks Inc. 2000. MATLAB 5.3. The MathWorks Inc.]]  The MathWorks Inc. 2000. MATLAB 5.3. The MathWorks Inc.]]"},{"key":"e_1_2_1_63_1","first-page":"11","article-title":"An Outline of PVS semantics for UML statecharts","volume":"6","author":"Traor\u00e9 I.","year":"2000","journal-title":"J. Unive. Comput. Sci."},{"key":"e_1_2_1_64_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of Formal Tecniques in Real Time and Fault Tolerant Systems","author":"von der Beeck M."},{"key":"e_1_2_1_65_1","volume-title":"Proceedings of Formal Software Development Methods (VDM '91)","volume":"551","author":"Wing J."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1044834.1044836","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1044834.1044836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:48Z","timestamp":1750282608000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1044834.1044836"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1]]},"references-count":61,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,1]]}},"alternative-id":["10.1145\/1044834.1044836"],"URL":"https:\/\/doi.org\/10.1145\/1044834.1044836","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,1]]},"assertion":[{"value":"2005-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}