{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:24:40Z","timestamp":1761488680329,"version":"3.38.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,4,30]],"date-time":"2011-04-30T00:00:00Z","timestamp":1304121600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1007\/s10270-011-0201-4","type":"journal-article","created":{"date-parts":[[2011,4,29]],"date-time":"2011-04-29T17:28:07Z","timestamp":1304098087000},"page":"287-302","source":"Crossref","is-referenced-by-count":3,"title":["A graph grammar-based formal validation of object-process diagrams"],"prefix":"10.1007","volume":"11","author":[{"given":"Arieh","family":"Bibliowicz","sequence":"first","affiliation":[]},{"given":"Dov","family":"Dori","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,4,30]]},"reference":[{"key":"201_CR1","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"Peterson J.L.: Petri nets. ACM Comput. Surv. 9, 223\u2013252 (1977)","journal-title":"ACM Comput. Surv."},{"key":"201_CR2","unstructured":"Bibliowicz, A.: A graph grammar-based formal validation of an object-process diagram, M.Sc. Thesis, Technion, Israel. Available at http:\/\/www.vainolo.com\/files\/research\/A-Graph-Grammar-Based-Formal-Validation-of-an-Object-Process-Diagram.pdf (2008)"},{"key":"201_CR3","doi-asserted-by":"crossref","unstructured":"Breu, R., Hinkel, U., Hofmann, C., Klein, C., Paech, B., Rumpe, B., Thurner, V.: Towards a formalization of the unified modeling language. In: ECOOP\u201411th European Conference in Object-Oriented Programming. LNCS, vol. 1241, pp. 344\u2013366. Springer, Berlin (1997)","DOI":"10.1007\/BFb0053386"},{"key":"201_CR4","unstructured":"Bruel, J., France, R.B.: Transforming UML models to formal specifications. Available at http:\/\/www.cs.york.ac.uk\/puml\/papers\/brueluml98.pdf (1998)"},{"key":"201_CR5","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation. Foundations","author":"A. Corradini","year":"1997","unstructured":"Corradini A., Ehrig H., Heckel R., L\u00f6we M., Montanari U., Rossi F.: Algebraic approaches to graph transformation, part I: basic concepts and double pushout approach. In: Rozenberg, G. (eds) Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)"},{"key":"201_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56209-9","volume-title":"Object-process methodology: a holistic systems paradigm","author":"D. Dori","year":"2002","unstructured":"Dori D.: Object-process methodology: a holistic systems paradigm. Springer, New York (2002)"},{"key":"201_CR7","unstructured":"Dori, D., Linchevski, C., Manor, R.: OPCAT\u2014a software environment for object-process methodology based conceptual modeling of complex systems. In: Proceedings 1st International Conference on Modelling and Management of Engineering Processes. University of Cambridge, Cambridge, pp. 147\u2013151 (2010)"},{"key":"201_CR8","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.: Constraints and application conditions: from graphs to high-level structures. In: ICGT 2004\u20132nd International Conference in Graph Transformations. LNCS, vol. 3256, pp. 287\u2013303. Springer, Berlin (2004)","DOI":"10.1007\/978-3-540-30203-2_21"},{"key":"201_CR9","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Heckel, R., Korff, M., L\u00f6we, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach. In: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, Vol. I, pp. 247\u2013312. World Scientific, Singapore (1997)","DOI":"10.1142\/9789812384720_0004"},{"key":"201_CR10","doi-asserted-by":"crossref","unstructured":"Evans, A., France, R.B., Lano, K., Rumpe, B.: The UML as a formal modeling notation. In: UML \u201898: Selected papers from the First International Workshop on The Unified Modeling Language UML. LNCS, vol. 1618, pp. 336\u2013348. Springer, Berlin (1999)","DOI":"10.1007\/978-3-540-48480-6_26"},{"issue":"2","key":"201_CR11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/MC.2006.65","volume":"39","author":"R.B. France","year":"2006","unstructured":"France R.B., Ghosh S., Dinh-Trong T., Solberg A.: Model-driven development using UML 2.0: promises and pitfalls. Computer 39(2), 59 (2006)","journal-title":"Computer"},{"key":"201_CR12","unstructured":"Gogolla, M., Parisi-Presicce, F.: State diagrams in UML: a formal semantics using graph transformations. In: Broy, M., Coleman, D., Maibaum, Tom S.E., Rumpe, B. (eds.) Proceedings PSMT\u201998 Workshop on Precise Semantics for Modeling Techniques. Technische Universitat M\u00fcnchen, TUM-I9803 (1998)"},{"issue":"3","key":"201_CR13","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1007\/s10270-008-0098-8","volume":"8","author":"S. Kuske","year":"2009","unstructured":"Kuske S., Gogolla M., Kreowski H.J., Ziemann P.: Towards an integrated graph-based semantics for UML. Softw. Syst. Model. 8(3), 385\u2013401 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"3\u20134","key":"201_CR14","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel A., Heckel R., Taentzer G.: Graph grammars with negative application conditions. Fundam. Inf. 26(3\u20134), 287\u2013313 (1996)","journal-title":"Fundam. Inf."},{"key":"201_CR15","unstructured":"Heckel, R.: Embedding of conditional graph transformations. In: Valiente F.G., Rosello, L.F. (eds) Proceedings Colloquium on Graph Transformation and its Application in Computer Science, Technical Report B-19, Universitat de les Illes Balears (1995)"},{"key":"201_CR16","doi-asserted-by":"crossref","unstructured":"J\u00fcrjens, J.: A UML statecharts semantics with message-passing. In: SAC\u2014Proceedings of the 2000 ACM Symposium on Applied Computing, pp. 1009\u20131013 (2002)","DOI":"10.1145\/508791.508987"},{"issue":"1","key":"201_CR17","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10270-004-0051-4","volume":"3","author":"C. Kobryn","year":"2004","unstructured":"Kobryn C.: UML 3.0 and the future of modeling. Softw. Syst. Model. 3(1), 4\u20138 (2004)","journal-title":"Softw. Syst. Model."},{"key":"201_CR18","unstructured":"Kong, J., Zhang, K., Dong, J., Song, G.: A graph grammar approach to software architecture verification and transformation. In: COMPSAC \u201803\u2014Proceedings of the 27th Annual International Conference on Computer Software and Applications, p. 492. IEEE Computer Society, Washington (2003)"},{"key":"201_CR19","doi-asserted-by":"crossref","unstructured":"Kuske, S.: A formal semantics of UML state machines based on structured graph transformation. In: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools. LNCS, vol. 2185, pp. 241\u2013256. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45441-1_19"},{"key":"201_CR20","unstructured":"Mwaluseke, G.W., Bowen, J.P.: UML Formalisation Literature Survey, at http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.119.9075 (2001)"},{"key":"201_CR21","unstructured":"Nestor, A.O.: Modeling of large and complex applications with UML, at http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.4.3347"},{"key":"201_CR22","unstructured":"Object Management Group: Unified Modeling Language (UML) 2.0 Infrastructure Specification, at http:\/\/www.uml.org\/ (2003)"},{"key":"201_CR23","volume-title":"Business Systems Analysis with Ontologies","author":"I. Reinhartz-Berger","year":"2005","unstructured":"Reinhartz-Berger I., Dori D.: A reflective metamodel of object-process methodology: the system modeling building blocks. In: Green, P., Rosemann, M. (eds) Business Systems Analysis with Ontologies, Idea Group, Alberta (2005)"},{"issue":"1","key":"201_CR24","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C. Snook","year":"2006","unstructured":"Snook C., Butler M.: UML-B: formal modeling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1), 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"3","key":"201_CR25","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/PL00010359","volume":"6","author":"P. Soffer","year":"2001","unstructured":"Soffer P., Golany B., Dori D., Wand Y.: Modelling off-the-shelf information systems requirements: an ontological approach. Requir. Eng. 6(3), 183\u2013199 (2001)","journal-title":"Requir. Eng."},{"key":"201_CR26","volume-title":"The Z notation: A Reference Manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey J.M.: The Z notation: A Reference Manual. Prentice-Hall, Inc, Upper Saddle River (1989)"},{"key":"201_CR27","unstructured":"St\u00f6rrle, H., Hausmann, J.H.: Towards a Formal Semantics of UML 2.0 Activities. In: Software Engineering, pp. 117\u2013128 (2005)"},{"key":"201_CR28","unstructured":"Tchertchago, A.: Formal Semantics for a UML Fragment Using UML\/OCL Metamodeling, at http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.9.5869 (2002)"},{"issue":"3","key":"201_CR29","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1109\/MS.2004.1293067","volume":"21","author":"D. Thomas","year":"2004","unstructured":"Thomas D.: MDA: revenge of the modelers or UML Utopia?. IEEE Softw. 21(3), 15\u201317 (2004)","journal-title":"IEEE Softw."},{"key":"201_CR30","unstructured":"USA Department of Defense: DoD Architecture Framework Version 2.0, at http:\/\/cio-nii.defense.gov\/sites\/dodaf20\/index.html (2009)"},{"key":"201_CR31","doi-asserted-by":"crossref","unstructured":"Vanderperren, Y., Dehaene, W.: UML 2 and SysML: an approach to deal with complexity in SoC\/NoC Design. In: DATE, pp. 716\u2013717 (2005)","DOI":"10.1109\/DATE.2005.319"},{"issue":"4","key":"201_CR32","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1111\/j.1365-2575.1993.tb00127.x","volume":"3","author":"Y. Wand","year":"1993","unstructured":"Wand Y., Weber R.: On the ontological expressiveness of information systems analysis and design grammars. J. Inform. Syst. 3(4), 217\u2013237 (1993)","journal-title":"J. Inform. Syst."},{"issue":"4","key":"201_CR33","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/j.entcs.2004.10.025","volume":"127","author":"P. Ziemann","year":"2005","unstructured":"Ziemann P., H\u00f6lscher K., Gogolla M.: From UML models to graph transformation systems. Electron. Notes Theor. Comput. Sci. 127(4), 17\u201333 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0201-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-011-0201-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-011-0201-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,5]],"date-time":"2025-03-05T09:15:21Z","timestamp":1741166121000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-011-0201-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,30]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,5]]}},"alternative-id":["201"],"URL":"https:\/\/doi.org\/10.1007\/s10270-011-0201-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2011,4,30]]}}}