{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:19:58Z","timestamp":1737436798201,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_19","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T15:13:34Z","timestamp":1188314014000},"page":"239-253","source":"Crossref","is-referenced-by-count":25,"title":["Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts"],"prefix":"10.1007","author":[{"given":"Juan","family":"de Lara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"19_CR1","unstructured":"AGG Home page: http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/3-540-61228-9_78","volume-title":"Issues in the Practical Use of Graph Rewriting","author":"D. Blonstein","year":"1996","unstructured":"Blonstein, D., Fahmy, H., Grbavec, A. 1996. Issues in the Practical Use of Graph Rewriting. LNCS 1073, Springer, pp. 38\u201355."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","first-page":"174","volume-title":"AToM3: A Tool for Multi-Formalism Modelling and Meta-Modelling","author":"J. Lara de","year":"2002","unstructured":"de Lara, J., Vangheluwe, H. 2002 AToM 3: A Tool for Multi-Formalism Modelling and Meta-Modelling. In European Conferences on Theory And Practice of Software Engineering ETAPS\u201902, Fundamental Approaches to Software Engineering (FASE). Lecture Notes in Computer Science 2306, pp.: 174\u2013188. Springer-Verlag. AToM3 home page: http:\/\/moncs.cs.mcgill.ca\/MSDL\/research\/projects\/ATOM3.html"},{"key":"19_CR4","unstructured":"DOME guide. http:\/\/www.htc.honeywell.com\/dome\/ , Honeywell, 1999."},{"key":"19_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0031909","volume-title":"Efficient Graph Rewriting and its implementation","author":"H. Dorr","year":"1995","unstructured":"Dorr, H. 1995. Efficient Graph Rewriting and its implementation. LNCS 922, Springer."},{"key":"19_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/3-540-63107-0_15","volume-title":"Meta-CASE in Practice: a Case for KOGGE","author":"J. Ebert","year":"1997","unstructured":"Ebert, J., Sttenbach, R., Uhe, I. Meta-CASE in Practice: a Case for KOGGE Proceedings of the 9th International Conference, CAiSE\u201997, Barcelona. LNCS 1250, 203\u2013216, Berlin, 1997. See KOGGE home page at: http:\/\/www.uni-koblenz.de\/~ist\/kogge.en.html"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.-J., and Rozenberg, G. 1999. Handbook of Graph Grammars and Computing by Graph Transformation. Vol. 2: Applications, Languages, and Tools. World Scientific.","DOI":"10.1142\/4180"},{"key":"19_CR8","unstructured":"Finkelstein, A., Kramer, J., Goedickie, M. 1990. ViewPoint Oriented Software Development Proc, of the 3rd Workshop on Software Engineering and its Applications, Tolouse."},{"key":"19_CR9","unstructured":"GRACE Home page: http:\/\/www.informatik.uni-bremen.de\/theorie\/GRACEland\/GR ACEland.html"},{"issue":"5","key":"19_CR10","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1145\/42411.42414","volume":"31","author":"D. Harel","year":"1988","unstructured":"Harel, D. On visual formalisms. Comm. of the ACM, 31(5):514\u2013530, 1988.","journal-title":"Comm. of the ACM"},{"key":"19_CR11","series-title":"Lect Notes Comput Sci","volume-title":"MetaEdit+: A fully configurable Multi-User and Multi-Tool CASE and CAME Environment","author":"S. Kelly","year":"1996","unstructured":"Kelly, S., Lyytinen, K., Rossi, M. MetaEdit+: A fully configurable Multi-User and Multi-Tool CASE and CAME Environment In Advanced Information System Engineering; LNCS 1080. Berlin, Springer 1996. See MetaEdit+ Home page at: http:\/\/www.MetaCase.com\/"},{"key":"19_CR12","unstructured":"King, P., Pooley, R. Using UML to Derive Stochastic Petri Net Models In Davies and Bradley Editors. UKPEW\u201999, Proc. 15th UK Performance Engineering Workshop. Bristol. pp.: 45\u201356."},{"key":"19_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/3-540-51635-2_52","volume-title":"A pluralistic Knowledge Based Approach to Software Specification","author":"C. Niskier","year":"1989","unstructured":"Niskier, C., Maibaum, T., Schwabe, D. 1989 A pluralistic Knowledge Based Approach to Software Specification 2nd European Software Engineering Conference, LNCS 387, Springer, pp.:411\u2013423."},{"key":"19_CR14","unstructured":"OMG Home Page: http:\/\/www.omg.org"},{"key":"19_CR15","unstructured":"PROGRES home page: http:\/\/www-i3.informatik.rwth-aachen.de\/research\/projects\/progres\/main.html"},{"key":"19_CR16","unstructured":"Python home page: http:\/\/www.python.org"},{"key":"19_CR17","unstructured":"Sztipanovits, J., et al. 1995. \u201cMULTIGRAPH: An architecture for model-integrated computing\u201d. In ICECCS\u201995, pp. 361\u2013368, Ft. Lauderdale, Florida, Nov. 1995."},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Vangheluwe, H. DEVS as a common denominator for multi-formalism hybrid systems modelling. In IEEE Symposium on Computer-Aided Control System Design, pp.:129\u2013134. IEEE Computer Society Press, September 2000.","DOI":"10.1109\/CACSD.2000.900199"},{"issue":"4","key":"19_CR19","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/158431.158438","volume":"2","author":"P. Zave","year":"1993","unstructured":"Zave, P., Jackson, M. 1993. Conjunction as Composition ACM Transactions on Software Engineering and Methodology 2(4), 1993, 371\u2013411.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"19_CR20","unstructured":"Zeigler, B., Praehofer, H. and Kim, T.G. Theory of Modelling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems. Academic Press, 2nd ed., 2000."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T18:14:27Z","timestamp":1737396867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}