{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T14:10:01Z","timestamp":1744207801780,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332432"},{"type":"electronic","value":"9783642332449"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33244-9_7","type":"book-chapter","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T01:16:29Z","timestamp":1348622189000},"page":"97-112","source":"Crossref","is-referenced-by-count":5,"title":["Executing Enterprise Dynamic Systems Control with the Demo Processor: The Business Transactions Transition Space Validation"],"prefix":"10.1007","author":[{"given":"S\u00e9rgio","family":"Guerreiro","sequence":"first","affiliation":[]},{"given":"Steven J. H.","family":"van Kervel","sequence":"additional","affiliation":[]},{"given":"Andr\u00e9","family":"Vasconcelos","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9","family":"Tribolet","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley (2011)"},{"key":"7_CR2","unstructured":"Albani, A., Dietz, J., Hoogervorst, J., Mulder, H., Tribolet, J.: Enterprise engineering: the concise manifesto. In: CIAO Network Meeting Minute, version 7 (2010)"},{"key":"7_CR3","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-29903-2_2","volume-title":"Advances in Enterprise Engineering VI","author":"J.L.G. Dietz","year":"2012","unstructured":"Dietz, J.L.G., Hoogervorst, J.A.P.: The Principles of Enterprise Engineering. In: Albani, A., Aveiro, D., Barjis, J. (eds.) EEWC 2012. LNBIP, vol.\u00a0110, pp. 15\u201330. Springer, Heidelberg (2012)"},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1080\/17517570701646590","volume":"1","author":"J. Barjis","year":"2007","unstructured":"Barjis, J.: Automatic business process analysis and simulation based on demo. Enterp. Inf. Syst.\u00a01, 365\u2013381 (2007)","journal-title":"Enterp. Inf. Syst."},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.scico.2008.01.002","volume":"71","author":"J. Barjis","year":"2008","unstructured":"Barjis, J.: The importance of business process modeling in software systems design. Sci. Comput. Program.\u00a071, 73\u201387 (2008)","journal-title":"Sci. Comput. Program."},{"key":"7_CR6","unstructured":"Liu, Y.: Enterprise knowlegde based collaborative business process simulating and reasoning. In: 11th CIAO Doctoral Consortium, Antwerpen (2011)"},{"key":"7_CR7","unstructured":"Elgerd, O.: Control systems theory. McGraw Hill Text (1967) ISBN 13: 9780070191747"},{"key":"7_CR8","unstructured":"Van der Aalst, W., van Hee, K.: Workflow management, models, methods, and systems. MIT Press (2004) ISBN 978-0-262-72046-5"},{"key":"7_CR9","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-01915-9_9","volume-title":"Advances in Enterprise Engineering III","author":"D. Nuffel Van","year":"2009","unstructured":"Van Nuffel, D., Mulder, H., Van Kervel, S.: Enhancing the Formal Foundations of BPMN by Enterprise Ontology. In: Albani, A., Barjis, J., Dietz, J.L.G. (eds.) CIAO!\/EOMAS 2009. LNBIP, vol.\u00a034, pp. 115\u2013129. Springer, Heidelberg (2009)"},{"key":"7_CR10","unstructured":"Guerreiro, S., Vasconcelos, A., Tribolet, J.: Enforcing control in the run-time business transactions. In: Proceedings of 5th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2011), Center for Industrial Production, Aalborg University, Fibigerstraede 16, DK-9220 Aalborg, Denmark (2011a) ISBN: 978-87-91831-42-3"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Guerreiro, S., Vasconcelos, A., Tribolet, J.: Dynamic business transactions control, an ontological example: organizational access control with DEMO. In: Proceedings of the International Conference on Knowledge Engineering and Ontology Development (KEOD 2011), Paris, France, pp. 549\u2013554 (2011b); Special Session on Enterprise Ontology (SSEO 2011)","DOI":"10.5220\/0003702905490554"},{"key":"7_CR12","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-642-29903-2_4","volume-title":"Advances in Enterprise Engineering VI","author":"S. Guerreiro","year":"2012","unstructured":"Guerreiro, S., Vasconcelos, A., Tribolet, J.: Enterprise Dynamic Systems Control Enforcement of Run-Time Business Transactions. In: Albani, A., Aveiro, D., Barjis, J. (eds.) EEWC 2012. LNBIP, vol.\u00a0110, pp. 46\u201360. Springer, Heidelberg (2012)"},{"key":"7_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33149-2","volume-title":"Enterprise Ontology \u2013 Theory and Methodology","author":"J.L.G. Dietz","year":"2006","unstructured":"Dietz, J.L.G.: Enterprise Ontology \u2013 Theory and Methodology. Springer, Heidelberg (2006)"},{"key":"7_CR14","unstructured":"Dietz, J.L.G.: Architecture: building strategy into design. Nederlands Architectuur Forum. Academic Service (2007)"},{"key":"7_CR15","unstructured":"van Kervel, S.: Enterprise ontology driven information system engineering. Presentation given at CIAO! (2009)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-24574-9_55","volume-title":"Advances in Conceptual Modeling. Recent Developments and New Directions","author":"S.J.H. Kervel van","year":"2011","unstructured":"van Kervel, S.J.H.: High Quality Technical Documentation for Large Industrial Plants Using an Enterprise Engineering and Conceptual Modeling Based Software Solution. In: De Troyer, O., Bauzer Medeiros, C., Billen, R., Hallot, P., Simitsis, A., Van Mingroot, H. (eds.) ER Workshops 2011. LNCS, vol.\u00a06999, pp. 383\u2013388. Springer, Heidelberg (2011)"},{"key":"7_CR17","unstructured":"OMG: Model Driven Architecture \u00ae specifications, The OMG (2001)"},{"key":"7_CR18","unstructured":"van Kervel, S., Dietz, J., Hintzen, J., van Meeuwen, T., Zijlstra, B.: Enterprise Ontology Driven Software Engineering. In: Proceedings of the 7th International Conference on Software Paradigm Trends (ICSOFT 2012) (2012)"},{"issue":"2","key":"7_CR19","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"R. Gruber","year":"1993","unstructured":"Gruber, R.: A Translation approach to portable Ontology Specifications. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"key":"7_CR20","unstructured":"Krogstie, J.: Evaluating UML: A practical Application of a Framework for the understanding of Quality in Requirements Specifications and Conceptual Modeling. In: Norwegian Informatics Conference (NIK) (2000)"},{"key":"7_CR21","unstructured":"Op\u2019t Land, M.: Applying Architecture and Ontology to the splitting and Allying of Enterprises, PhD thesis, University of Technology Delft (2008) ISBN: 978-90-71382-32-1"},{"key":"7_CR22","unstructured":"Mulder, F.: Rapid Enterprise Design. PhD Thesis, University of Technology Delft, The Netherlands (2007) ISBN 90-810480-1-5"},{"key":"7_CR23","unstructured":"ITGI: The IT Governance Institute (2012), http:\/\/www.itgi.org\/"},{"key":"7_CR24","unstructured":"Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. PhD thesis, University of Twente, The Netherlands (2005) ISBN 90-75176-81-3"},{"key":"7_CR25","unstructured":"Franklin, G.F., Powell, J.D., Emami-Naeini, A.: Feedback Control of Dynamic Systems, 2nd edn. Addison-Wesley Publishing Company (1991)"},{"key":"7_CR26","unstructured":"Ribeiro, M.: An\u00e1lise de sistemas lineares, vol. 1 e 2. IST Press (2002)"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1002\/smj.4250060203","volume":"6","author":"A. Jaeger","year":"1985","unstructured":"Jaeger, A., Baliga, B.: Control systems and strategic adaptation: Lessons from the japanese experience. Strategic Management Journal\u00a06, 115\u2013134 (1985)","journal-title":"Strategic Management Journal"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Nieminen, A., Lehtonen, M.: Organisational control in programme teams: An empirical study in change programme context, pp. 63\u201372. European Academy of Management (EURAM) (2008)","DOI":"10.1016\/j.ijproman.2007.08.001"},{"key":"7_CR29","unstructured":"OMG. Semantics of business vocabulary and business rules (2008), http:\/\/www.omg.org\/spec\/SBVR\/1.0\/PDF (accessed in June 2011)"}],"container-title":["Lecture Notes in Business Information Processing","Knowledge and Technologies in Innovative Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33244-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T13:30:57Z","timestamp":1744205457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33244-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332432","9783642332449"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33244-9_7","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}