{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,16]],"date-time":"2026-06-16T23:08:13Z","timestamp":1781651293786,"version":"3.54.5"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2013,3,23]],"date-time":"2013-03-23T00:00:00Z","timestamp":1363996800000},"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":[[2015,5]]},"DOI":"10.1007\/s10270-013-0329-5","type":"journal-article","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T11:16:39Z","timestamp":1363950999000},"page":"765-793","source":"Crossref","is-referenced-by-count":8,"title":["Deontic BPMN: a powerful extension of BPMN with a trusted model transformation"],"prefix":"10.1007","volume":"14","author":[{"given":"Christine","family":"Natschl\u00e4ger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felix","family":"Kossak","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus-Dieter","family":"Schewe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2013,3,23]]},"reference":[{"key":"329_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W Aalst van der","year":"2003","unstructured":"van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distrib. Parallel Database 14, 5\u201351 (2003)","journal-title":"Distrib. Parallel Database"},{"key":"329_CR2","doi-asserted-by":"crossref","unstructured":"AGG The AGG 1.5.0 Development Environment\u2013The User Manual. http:\/\/user.cs.tu-berlin.de\/~gragra\/agg , (2006). Accessed March 2013","DOI":"10.7251\/aggplus1301238b"},{"key":"329_CR3","unstructured":"AGG.: AGG Homepage. http:\/\/user.cs.tu-berlin.de\/~gragra\/agg (2011). Accessed March 2012"},{"key":"329_CR4","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: Deontic logics for modeling behavioural variability. In: Benavides, D., Metzger, A., Eisenecker, U.W. (eds.) VaMoS\u201909, Universit\u00e4t Duisburg-Essen, 29, pp. 71\u201376. ICB Research, Report (2009)"},{"key":"329_CR5","unstructured":"Asirelli, P., ter Beek, M.H., Gnesi, S., Fantechi, A.: A deontic logical framework for modelling product families. In: Benavides, D., Batory, D.S., Gr\u00fcnbacher, P. (eds.) 4th International Workshop on Variability Modelling of Software-intensive Systems (VaMoS\u201910), Universit\u00e4t Duisburg-Essen, ICB-Research. Report 37, 37\u201344 (2010)"},{"key":"329_CR6","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., S\u00f6rensen, O.: BPMN core modeling concepts: Inheritance-based execution semantics. In: Embley, D., Thalheim, B. (eds.) Handbook of Conceptual Modeling: Theory, Practice and Research Challenges. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-15865-0_9"},{"key":"329_CR7","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines\u2013A Method for High-Level System Design and Analysis. Springer Verlag, New York (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"329_CR8","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-540-89762-0_3","volume":"5316","author":"E B\u00f6rger","year":"2008","unstructured":"B\u00f6rger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. Adv. Softw. Eng. LNCS 5316, 59\u2013115 (2008)","journal-title":"Adv. Softw. Eng. LNCS"},{"key":"329_CR9","unstructured":"Broersen, J., Van der Torre, L.: Ten problems of deontic logic and normative reasoning in computer science. European Summer School of Logic, Language and Information (ESSLLI), Germany (2010)"},{"key":"329_CR10","doi-asserted-by":"crossref","unstructured":"Broy, M.: Informatik-Eine grundlegende Einf\u00fchrung, vol 2-Systemstrukturen und Theoretische Informatik, 2nd edn. Springer Verlag, New York (1998)","DOI":"10.1007\/978-3-642-58911-9"},{"key":"329_CR11","unstructured":"Dijkman, R., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Queensland University of Technology, Faculty of Science and Technology, Tech. rep., Brisbane (2007)"},{"key":"329_CR12","unstructured":"Eclipse: BPMN Modeler. www.eclipse.org\/bpmn (2011). Accessed August 2011"},{"key":"329_CR13","doi-asserted-by":"crossref","unstructured":"Ehrig, H, Pfender, M, Schneider, H.J.: Graph-grammars: an algebraic approach. In: Proceedings of FOCS 1973, IEEE, pp 167\u2013180 (1973)","DOI":"10.1109\/SWAT.1973.11"},{"key":"329_CR14","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: From graph grammars to high level replacement systems. In: Ehrig, H., Kreowski, H.J., Rozenberg, G., (eds.) Graph Grammars and Their Application to Computer Science, Lecture Notes in Computer Science, vol 532. Springer Verlag, New York, pp. 269\u2013291 (1991)","DOI":"10.1007\/BFb0017395"},{"key":"329_CR15","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Habel, A., Kreowski, H.J., Parisi-Presicce, F.: Parallelism and concurrency in high-level replacement systems. Math. Struct. Comput. Sci. 1, 361\u2013404 (1991)","DOI":"10.1017\/S0960129500001353"},{"key":"329_CR16","unstructured":"Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, New York (2006)"},{"key":"329_CR17","doi-asserted-by":"crossref","unstructured":"Ghose, A., Koliadis, G.: Auditing business process compliance. In: Service-Oriented Computing (ICSOC), Lecture Notes in Computer Science, vol 4749. Springer, Berlin, pp. 169\u2013180 (2007)","DOI":"10.1007\/978-3-540-74974-5_14"},{"key":"329_CR18","doi-asserted-by":"crossref","unstructured":"Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Eder, J., Dustdar, S., (eds.) Business Process Management Workshops, Lecture Notes in Computer Science, vol 4103, Springer, New York, pp. 5\u201314 (2006)","DOI":"10.1007\/11837862_2"},{"key":"329_CR19","doi-asserted-by":"crossref","unstructured":"Goedertier, S., Vanthienen, J.: Declarative process modeling with business vocabulary and business rules. In: Meersman, R., Tari, Z., Herrero, P. (eds.) On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Lecture Notes in Computer Science, vol 4805, Springer, Berlin, pp. 603\u2013612 (2007)","DOI":"10.1007\/978-3-540-76888-3_83"},{"issue":"4","key":"329_CR20","doi-asserted-by":"crossref","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. Intern. J. Co-op. Inform. Syst. (IJCIS) 15(4), 659\u2013685 (2006)","journal-title":"Intern. J. Co-op. Inform. Syst. (IJCIS)"},{"key":"329_CR21","doi-asserted-by":"crossref","unstructured":"Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77\u2013111 (2000)","DOI":"10.1145\/343369.343384"},{"key":"329_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, New York (2001)"},{"key":"329_CR23","doi-asserted-by":"crossref","unstructured":"Lewis, D.: Semantic analyses for dyadic deontic logic. In: Stenlund, S. (ed.) Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on His Fiftieth Birthday, Reidel Publishing Co, Boston, pp. 1\u201314 (1974)","DOI":"10.1007\/978-94-010-2191-3_1"},{"key":"329_CR24","unstructured":"L\u00f6we, M.: Extended algebraic graph transformation. PhD thesis, TU Berlin (1990)"},{"key":"329_CR25","doi-asserted-by":"crossref","unstructured":"L\u00f6we, M., Beyer, M.: AGG\u2013an implementation of algebraic graph rewriting. In: Rewriting Techniques and Applications, Springer, Berlin (1993)","DOI":"10.1007\/3-540-56868-9_36"},{"key":"329_CR26","unstructured":"McCabe, T.J.: McCabe Metrics. http:\/\/www.mccabe.com\/iq_research_metrics.htm (2011). Accessed March 2012"},{"key":"329_CR27","doi-asserted-by":"crossref","unstructured":"Mogos, A.H., Urzica, A.: TN4PM: A textual notation for process modelling. In: Papadopoulos, G., Badica, C. (eds.) Intelligent Distributed Computing III, Studies in Computational Intelligence, vol 237, pp. 263\u2013268. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-03214-1_29"},{"issue":"5","key":"329_CR28","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"DL Moody","year":"2009","unstructured":"Moody, D.L.: The \u201dphysics\u201d of notations: Towards a scientific basis for constructing visual notations in software engineering. IEEE Trans. Softw. Eng. 35(5), 756\u2013778 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"329_CR29","doi-asserted-by":"crossref","unstructured":"Natschl\u00e4ger, C.: Deontic BPMN. In: Hameurlain, A., Liddle, S., Schewe, K.D., Zhou, X. (eds.) Database and Expert Systems Applications, Lecture Notes in Computer Science, vol 6861. Springer, Berlin, pp 264\u2013278 (2011)","DOI":"10.1007\/978-3-642-23091-2_23"},{"key":"329_CR30","unstructured":"Natschl\u00e4ger, C., Schewe, K.D.: A flattening approach for attributed type graphs with inheritance in algebraic graph transformation. In: Fish, A., Lambers, L. (eds.) Local Proceedings of GT-VMT (2012), Electronic Communications of the EASST, pp 160\u2013173 (2012)"},{"key":"329_CR31","unstructured":"Natschl\u00e4ger, C., Geist, V., Kossak, F., Freudenthaler. B.: Optional activities in process flows. In: Rinderle-Ma, S., Weske, M. (eds.) EMISA 2012: Der Mensch im Zentrum der Modellierung, Gesellschaft f\u00fcr Informatik, Bonn, Lecture Notes in Informatics, vol P-206, pp 67\u201380 (2012)"},{"key":"329_CR32","volume-title":"Extending BPMN with Deontic Logic","author":"C Natschl\u00e4ger-Carpella","year":"2012","unstructured":"Natschl\u00e4ger-Carpella, C.: Extending BPMN with Deontic Logic. Logos, Berlin (2012)"},{"key":"329_CR33","unstructured":"OMG.: Semantics of business vocabulary and business rules (SBVR), v1.0. http:\/\/www.omg.org\/spec\/SBVR\/1.0 (2008). Accessed August 2011"},{"key":"329_CR34","unstructured":"OMG.: Business process model and notation (BPMN), v2.0. www.omg.org\/spec\/BPMN\/2.0 (2011). Accessed August 2011"},{"key":"329_CR35","unstructured":"Padmanabhan, V., Governatori, G., Sadiq, S., Colomb, R., Rotolo, A.: Process modelling: The deontic way. In: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling, Australian Computer Society, Inc., Darlinghurst, Australia, vol 53, pp. 75\u201384 (2006)"},{"key":"329_CR36","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(84)90021-5","volume":"32","author":"JC Raoult","year":"1984","unstructured":"Raoult, J.C.: On graph rewritings. Theoret. Comput. Sci. 32, 1\u201324 (1984)","journal-title":"Theoret. Comput. Sci."},{"key":"329_CR37","doi-asserted-by":"crossref","unstructured":"\u00c5qvist, L.: Deontic Logic, pp. 147\u2013264. Kluwer Academic, Dordrecht (2002)","DOI":"10.1007\/978-94-010-0387-2_3"},{"key":"329_CR38","doi-asserted-by":"crossref","unstructured":"Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) Business Process Management, Lecture Notes in Computer Science, vol 4714, Springer, Berlin, pp. 149\u2013164 (2007)","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"329_CR39","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: A tool environment for algebraic graph transformation. In: Applications of Graph Transformations with Industrial Relevance (AGTIVE), Lecture Notes in Computer Science, Springer, Berlin, pp. 481\u2013488 (2000)","DOI":"10.1007\/3-540-45104-8_41"},{"key":"329_CR40","doi-asserted-by":"crossref","unstructured":"Taentzer, G.: AGG: A graph transformation environment for modeling and validation of software. In: Pfaltz, J., Nagl, M., B\u00f6hlen, B. (eds.) Applications of Graph Transformations with Industrial Relevance (AGTIVE), Lecture Notes in Computer Science, vol 3062, Springer, Berlin, pp. 446\u2013453 (2004)","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"329_CR41","unstructured":"Urzica, A., Tanase, C.: Mapping BPMN to AUML: Towards an automatic process. In: 17th International Conference of Control Systems and Computer Science, MASTS 2009 Workshop, Germany, pp. 539\u2013547 (2009)"},{"key":"329_CR42","doi-asserted-by":"crossref","unstructured":"Varr\u00f3, D., Varr\u00f3-Gyapay, S., Ehrig, H., Prange, U., Taentzer, G.: Termination analysis of model transformations by petri nets. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) Graph Transformations, Lecture Notes in Computer Science, vol 4178, Springer, Berlin, pp. 260\u2013274 (2006)","DOI":"10.1007\/11841883_19"},{"key":"329_CR43","doi-asserted-by":"crossref","unstructured":"Weigand, H., Verharen, E., Dignum, F.: Interoperable transactions in business models\u2013a structured approach. In: Constantopoulos, P., Mylopoulos, J., Vassiliou, Y. (eds.) Advanced Information Systems Engineering, Lecture Notes in Computer Science, vol 1080, Springer, Berlin, pp. 193\u2013209 (1996)","DOI":"10.1007\/3-540-61292-0_11"},{"key":"329_CR44","unstructured":"Wieringa, R., Meyer, J.J.: Applications of deontic logic in computer science: A concise overview. In: Deontic Logic in Computer Science: Normative System Specification, Wiley, New York, pp. 17\u201340 (1993)"},{"key":"329_CR45","doi-asserted-by":"crossref","unstructured":"Wong, P., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) Formal Methods and Software Engineering, Lecture Notes in Computer Science, vol 5256, Springer, Berlin, pp. 355\u2013374 (2008)","DOI":"10.1007\/978-3-540-88194-0_22"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0329-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-013-0329-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-013-0329-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T20:39:03Z","timestamp":1715114343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-013-0329-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,23]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,5]]}},"alternative-id":["329"],"URL":"https:\/\/doi.org\/10.1007\/s10270-013-0329-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,23]]}}}