{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T20:51:19Z","timestamp":1672260679679},"reference-count":17,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2001,7,1]],"date-time":"2001-07-01T00:00:00Z","timestamp":993945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":4411,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,7]]},"DOI":"10.1016\/s1571-0661(04)80947-2","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"107-119","source":"Crossref","is-referenced-by-count":13,"title":["Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project."],"prefix":"10.1016","volume":"44","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB1","unstructured":"L. Baresi. Formal Customization of Graphical Notations. PhD thesis, Dipartimento di Elettronica e Informazione - Politecnico di Milano, 1997. In Italian."},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB2","doi-asserted-by":"crossref","unstructured":"L. Baresi, A. Orso, and M. Pezz\u00e8. Introducing Formal Methods in Industrial Practice. In Proceedings of the 19th International Conference on Software Engineering, pages 56\u201366. ACM Press, 1997.","DOI":"10.1145\/253228.253241"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB3","series-title":"Software Engineering Economics","author":"Boehm","year":"1981"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB4","doi-asserted-by":"crossref","unstructured":"G. Engels, R. H\u00fccking, S. Sauer, and A. Wagner. UML Collaboration Diagrams and Their Transformation to Java. In Proceedings of UML'99 - The Unified Modeling Language. Beyond the Standard. Volume 1723 of Lecture Notes in Computer Science, pages 473\u2013488. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-46852-8_34"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB5","doi-asserted-by":"crossref","unstructured":"A. Evans, R. France, K. Lano, and B. Rumpe. Developing the UML as a Formal Modelling Notation. In Proceedings of UML '98 - The Unified Modeling Language. Beyond the Notation. Volume 1618 in Lecture Notes in Computer Science. Springer-Verlag, 1998.","DOI":"10.1007\/978-3-540-48480-6_26"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB6","doi-asserted-by":"crossref","unstructured":"A. Evans and S. Kent. Core Meta-Modelling Semantics of UML: The pUML Approach. In Proceedings of UML '99 - The Unified Modeling Language. Beyond the Standard. Volume 1723 of Lecture Notes in Computer Science, pages 140\u2013155. Springer-Verlag, 1999.","DOI":"10.1007\/3-540-46852-8_11"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB7","doi-asserted-by":"crossref","unstructured":"R. France and M. Larrondo-Petrie. From Structured Analysis to Formal Specifications: State of the Theory. In Proceedings of Computer Science Conference, pages 249\u2013256. ACM Press, April 1994.","DOI":"10.1145\/197530.197634"},{"issue":"2","key":"10.1016\/S1571-0661(04)80947-2_NEWBIB8","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1109\/32.67597","article-title":"A Unified High-Level Petri Net Model For Time-Critical Systems","volume":"17","author":"Ghezzi","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S1571-0661(04)80947-2_NEWBIB9","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0164-1212(94)90024-8","article-title":"Validating Timing Requirements for Time Basic Net Specifications","volume":"27","author":"Ghezzi","year":"1994","journal-title":"The Journal of Systems and Software"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB10","unstructured":"The VDM Tool Group. The IFAD VDM++ Language. Technical report, IFAD, February 2000."},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB11","series-title":"Formal Methods. Volume 1486 of Lecture Notes in Computer Science","first-page":"18","article-title":"On the Need for \u201cPractical\u201d","author":"Heitmeyer","year":"1998"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB12","unstructured":"D. Jackson. Alloy: A Lightweight Object Modelling Notation. Technical Report, MIT, July 2000."},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB13","series-title":"Coloured Petri Nets","author":"Jensen","year":"1996"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB14","doi-asserted-by":"crossref","unstructured":"J. Lilius and I. P. Paltor. vUML: A Tool for Verifying UML Models. In 14th IEEE International Conference on Automated Software Engineering, pages 255\u2013258. IEEE-CS, 1999.","DOI":"10.1109\/ASE.1999.802301"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB15","unstructured":"OMG. UML 2.0 RFI. Technical report, OMG, August 1999."},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB16","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/3-540-63533-5_25","article-title":"A Meta-Method for Formal Method Integration","author":"Paige","year":"1997","journal-title":"Volume 1313 of Lecture Notes in Computer Science"},{"key":"10.1016\/S1571-0661(04)80947-2_NEWBIB17","first-page":"16","article-title":"An Invitation to Formal Methods","author":"Saiedian","year":"1996","journal-title":"IEEE Computer"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809472?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104809472?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T07:10:40Z","timestamp":1585897840000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104809472"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,7]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,7]]}},"alternative-id":["S1571066104809472"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80947-2","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,7]]}}}