{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:16:40Z","timestamp":1725898600446},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676584"},{"type":"electronic","value":"9783540451044"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45104-8_14","type":"book-chapter","created":{"date-parts":[[2007,11,7]],"date-time":"2007-11-07T17:57:00Z","timestamp":1194458220000},"page":"193-208","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Definition of Structured Analysis with Programmable Graph Grammars"],"prefix":"10.1007","author":[{"given":"Luciano","family":"Baresi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauro","family":"Pezz\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,4,18]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"L. Baresi, V. Braberman, M. Felder, M. Pezz\u00e8, and F. Pieniazek. A Practical Approach to Formal Design of Real-Time Systems. In Proceedings of the 1996 IEEE International Conference on Systems, Man and Cybernetics, pages 1014\u20131019, October 1996.","DOI":"10.1109\/ICSMC.1996.571219"},{"key":"14_CR2","unstructured":"L. Baresi, M. Cavagna, and M. Pezz\u00e8. Customization Rules for SA-HP. Technical report, Dipartimento di Elettronica e Informazione-Politecnico di Milano, 1997."},{"issue":"6","key":"14_CR3","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1023\/A:1022872229481","volume":"21","author":"L. Baresi","year":"1997","unstructured":"L. Baresi, F. Consorti, M. Di Paola, A. Gargiulo, and M. Pezz\u00e8. LEMMA: A Language for an Easy Medical Models Analysis. Journal of Medical Systems \u2014 Plenum Publishing Co., 21(6):369\u2013388, December 1997.","journal-title":"Journal of Medical Systems \u2014 Plenum Publishing Co."},{"key":"14_CR4","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":"14_CR5","unstructured":"L. Baresi and M. Pezz\u00e8. On Formalizing UML with High-Level Petri Nets. Technical Report, Dipartimento di Elettronica e Informazione \u2014 Politecnico di Milano, 1998."},{"key":"14_CR6","unstructured":"L. Baresi and M. Pezz\u00e8. On Mapping IEC1131-3 Function Block Diagram to High-Level Time Petri Nets. Technical Report, Dipartimento di Elettronica e Informazione \u2014 Politecnico di Milano, March 1998."},{"issue":"1","key":"14_CR7","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/268411.268429","volume":"7","author":"L. Baresi","year":"1998","unstructured":"L. Baresi and M. Pezz\u00e8. Towards Formalizing Structured Analysis. ACM Transactions on Software Engineering and Methodology, 7(1): 80\u2013107, January 1998.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/43857.43866","volume":"13","author":"W. Bruyn","year":"1988","unstructured":"W. Bruyn, R. Jensen, D. Keskar, and P. T. Ward. ESML: An extended systems modeling language based on the data flow diagram. ACM SIGSOFT Software Engineering Notes, 13(1):58\u201367, January 1988.","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"E. Clarke and J. Wing. Formal Methods: State of the Art and Future Directions. Technical report, ACM, August 1996. Strategic Directions in Computing Research: Formal Methods Working Group (Group Report).","DOI":"10.1145\/242223.242257"},{"key":"14_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1007\/3-540-58555-9_122","volume-title":"Proceedings of FME94: Industrial Benefit of Formal Methods","author":"P. C. Fencott","year":"1994","unstructured":"P. C. Fencott, A. J. Galloway, M. A. Lockyer, S. J. O\u2019Brien, and S. Pearson. Formalising the Semantics of Ward\/Mellor SA\/RT Essential Models using a Process Algebra. In Proceedings of FME94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 681\u2013702. Springer-Verlag, 1994."},{"issue":"4","key":"14_CR11","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/32.129221","volume":"18","author":"R. B. France","year":"1992","unstructured":"R. B. France. Semantically Extended Data Flow Diagrams: A Formal Specification Tool. IEEE Transactions on Software Engineering, 18(4):329\u2013346, 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR12","unstructured":"C. Gane and T. Sarson. Structured Systems Analysis: Tools & Techniques. Prentice-Hall, 1977."},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/32.67597","volume":"17","author":"C. Ghezzi","year":"1991","unstructured":"C. Ghezzi, D. Mandrioli, S. Morasca, and M. Pezz\u00e8. A Unified High-Level Petri Net Model For Time-Critical Systems. IEEE Transactions on Software Engineering, 17(2):160\u2013172, February 1991.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1016\/0020-7373(92)90006-7","volume":"37","author":"H. G\u00f6ttler","year":"1992","unstructured":"H. G\u00f6ttler. Diagram editors = graphs + attributes + graph grammars. International Journal Man-Machine Studies, (37):481\u2013502, 1992.","journal-title":"International Journal Man-Machine Studies"},{"key":"14_CR15","volume-title":"Strategies for Real-Time System Specification","author":"D. J. Hatley","year":"1987","unstructured":"D. J. Hatley and I. A. Pirbhai. Strategies for Real-Time System Specification. Dorset House, New York, 1987."},{"key":"14_CR16","unstructured":"Interactive Development Environments. Structure Environment: Using the StP\/SE Editors, February 1994. Release 5."},{"issue":"2\/3","key":"14_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BF01088591","volume":"5","author":"R. Elmstr\u00f8m","year":"1993","unstructured":"R. Elmstr\u00f8m, R. Lintulampi, and M. Pezz\u00e8. Giving Semantics to SA\/RT by Means of High Level Timed Petri Nets. Journal of Real-Time Systems, 5(2\/3):249\u2013272, May 1993.","journal-title":"Journal of Real-Time Systems"},{"key":"14_CR18","unstructured":"T. De Marco. Structured Analysis and System Specification. Prentice-Hall, 1978."},{"key":"14_CR19","unstructured":"Mark V Systems. ObjectMaker User\u2019s Guide, 1994. version 3."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"C. Petersohn, W.P. de Roever, C. Huizing, and J. Peleska. Formal Semantics for Ward & Mellor\u2019s Transformation Schemas. In Proceedings of the Sixth Refinement Workshop of the BCS FACS, pages 14\u201341. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3240-0_2"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"J. Rekers and A. Sch\u00fcrr. A Graph Based Framework for the Implementation of Visual Environments. In Proceedings of VL\u201996 12th International IEEE Symposium on Visual Languages, pages 148\u2013155. IEEE-CS Press, September 1996.","DOI":"10.1109\/VL.1996.545281"},{"key":"14_CR22","series-title":"Lect Notes Comput Sci","first-page":"151","volume-title":"Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1994","unstructured":"A. Sch\u00fcrr. Specification of Graph Translators with Triple Graph Grammars. In Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science, volume 904 of Lecture Notes in Computer Science, pages 151\u2013163. Springer-Verlag, 1994."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"L. Semmens and P. Allen. Using Yourdon and Z: An Approach to Formal Specification. In Proceedings of the 5th Z User Workshop, pages 228\u2013253. Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3540-1_15"},{"key":"14_CR24","volume-title":"Structured Development for Real-Time Systems","author":"P. T. Ward","year":"1986","unstructured":"P. T. Ward and S. J. Mellor. Structured Development for Real-Time Systems, volume 1\u20133. Yourdon Press, New York, 1986."},{"key":"14_CR25","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1007\/3-540-54834-3_32","volume-title":"Proceedings of VDM\u201991","author":"J.M. Wing","year":"1991","unstructured":"J.M. Wing and A.M. Zaremski. Unintrusive Ways to Integrate Formal Specifications in Practice. In Proceedings of VDM\u201991, volume 551 of Lecture Notes in Computer Science, pages 545\u2013569. Springer-Verlag, 1991."}],"container-title":["Lecture Notes in Computer Science","Applications of Graph Transformations with Industrial Relevance"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45104-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T04:03:46Z","timestamp":1556942626000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45104-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676584","9783540451044"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45104-8_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}