{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:58:35Z","timestamp":1725987515406},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-45140-4_11","type":"book-chapter","created":{"date-parts":[[2007,7,31]],"date-time":"2007-07-31T19:17:09Z","timestamp":1185909429000},"page":"142-156","source":"Crossref","is-referenced-by-count":7,"title":["A Formal Model for Business Process Modeling and Design"],"prefix":"10.1007","author":[{"given":"Manolis","family":"Koubarakis","sequence":"first","affiliation":[]},{"given":"Dimitris","family":"Plexousakis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"A.I. Anton, M.W. McCracken, and C. Potts. Goal decomposition and scenario analysis in business process reengineering. In Proceedings of CAISE\u201994, pages 94\u2013104, 1994.","DOI":"10.1007\/3-540-58113-8_164"},{"key":"11_CR2","unstructured":"J. Bubenko, D. Brash, and J. Stirna. EKD user guide, 1998. Available from ftp:\/\/ftp.dsv.su.se\/users\/js\/ekd_user_guide.pdf ."},{"issue":"9","key":"11_CR3","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/130994.130998","volume":"35","author":"B. Curtis","year":"1992","unstructured":"B. Curtis, M. Kellner, and J. Over. Process Modelling. Communications of ACM, 35(9):75\u201390, 1992.","journal-title":"Communications of ACM"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-Directed Requirements Acquisition. Science of Computer Programming, 20:3\u201350, 1993.","journal-title":"Science of Computer Programming"},{"key":"11_CR5","unstructured":"G. De Giacomo, Y. Lesperance, and H. Levesque. Reasoning About Concurrent Execution, Prioritised Interrupts and Exogenous Actions in the Situation Calculus. In Proceedings of IJCAI\u201997, pages 1221\u20131226, August 1997."},{"key":"11_CR6","unstructured":"J.E. Dobson, A.J.C. Blyth, J. Chudge, and R. Strens. The ORDIT Approach to organisational requirements. In M. Jirotka and J. Goguen, editors, Requirements Engineering: Social and Technical Issues, pages 87\u2013106. Academic Press, 1994."},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"R. Fikes and N. Nilsson. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2:189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"11_CR8","unstructured":"M.S. Fox and M. Gruninger. Enterprise Modelling. The AI Magazine, pages 109\u2013121, Fall 1998."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"D. Georgakopoulos, M. Hornick, and A. Sheth. An Overview of Worklfow Management: From Process Modelling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3:119\u2013153, 1995.","journal-title":"Distributed and Parallel Databases"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"M. Hammer and J. Champy. Reengineering the Corporation: A Manifesto for Business Revolution. Harper Collins, 1993.","DOI":"10.1016\/S0007-6813(05)80064-3"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"N. R. Jennings, P. Faratin, M.J. Johnson, P. O\u2019Brien, and M.E. Wiegand. Using Intelligent Agents to Manage Business Processes. In Proceedings of the First International Conference on The Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM96), 1996.","DOI":"10.1049\/ic:19960651"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"V. Kavakli and P. Loucopoulos. Goal-Driven Business Process Analysis \u2014 Application in Electricity Deregulation. In Proceedings of CAISE\u201998, 1998.","DOI":"10.1007\/BFb0054232"},{"key":"11_CR13","unstructured":"M. Koubarakis and D. Plexousakis. Business Process Modeling and Design: AI Models and Methodology. In Proceedings of IJCAI-99 Workshop on Intelligent Workflow and Process Management: the New Frontier for AI in Business, 1999."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"J. Lee. Goal-Based Process Analysis: A Method for Systematic Process Redesign. In Proceedings of the Conference on Organizational Computing Systems (COOCS\u201994), 1994.","DOI":"10.1145\/168555.168577"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Y. Lesperance, T.G. Kelley, J. Mylopoulos, and E. Yu. Modeling dynamic domains with congolog. In Proceedings of CAISE\u201999, 1999.","DOI":"10.1007\/3-540-48738-7_27"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Y. Lesperance, H. Levesque, and R. Reiter. A situation calculus approach to modeling and programming agents, 1999. Available from http:\/\/www.cs.toronto.edu\/~cogrobo\/ .","DOI":"10.1007\/978-94-015-9204-8_12"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Y. Lesperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. Foundations of a Logical Approach to Agent Programming. In M. Wooldridge, J.P. Muller, and M. Tambe, editors, Intelligent Agents Volume II \u2014 Proceedings of ATAL-95, Lecture Notes in Artificial Intelligence. Springer Verlag, 1995.","DOI":"10.1007\/3540608052_76"},{"key":"11_CR18","unstructured":"P. Loucopoulos and V. Karakostas. System Requirements Engineering. McGraw Hill, 1995."},{"issue":"1","key":"11_CR19","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1142\/S0218843095000032","volume":"4","author":"P. Loucopoulos","year":"1995","unstructured":"P. Loucopoulos and V. Kavakli. Enterprise Modelling and the Teleological Approach to Requirements Engineering. International Journal of Intelligent and Cooperative Information Systems, 4(1):45\u201379, 1995.","journal-title":"International Journal of Intelligent and Cooperative Information Systems"},{"key":"11_CR20","unstructured":"John McCarthy and Patrick J. Hayes. Some Philosophical Problems From the Standpoint of Artificial Intelligence. In B. Meltzer and D. Mitchie, editors, Machine Intelligence, pages 463\u2013502. Edinburg University Press, 1969."},{"issue":"6","key":"11_CR21","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/32.142871","volume":"18","author":"J. Mylopoulos","year":"1992","unstructured":"J. Mylopoulos, L. Chung, and Nixon B.A. Representing and Using Non-Functional Requirements: A Process-Oriented Approach. IEEE Transactions on Software Engineering, 18(6):483\u2013497, 1992.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"11_CR22","unstructured":"M. Ould. Modelling Business Processes for Understanding, Improvement and Enactment. Tutorial Notes, 13th International Conference on the Entity Relationship Approach (ER\u2019 94), Manchester, U.K., 1994."},{"key":"11_CR23","unstructured":"M. A. Ould. Business Processes: Modeling and Analysis for Re-engineering and Improvement. Wiley, 1995."},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"D. Plexousakis. Simulation and Analysis of Business Processes Using GOLOG. In Proceedings of the Conference on Organizational Computing Systems (COOCS\u201995), pages 311\u2013323, 1995.","DOI":"10.1145\/224019.224052"},{"key":"11_CR25","unstructured":"D. Plexousakis. On the efficient maintenance of temporal integrity in knowledge bases. PhD thesis, Dept. of Computer Science, University of Toronto, 1996."},{"key":"11_CR26","unstructured":"A. Rao. Modeling the service assurance process for Optus using GEM. Technical Report Technical Note 69, Australian Artificial Intelligence Institute, 1996."},{"key":"11_CR27","unstructured":"R. Reiter. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, 1991."},{"key":"11_CR28","unstructured":"R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In Proceedings of AAAI-93, 1993."},{"key":"11_CR29","doi-asserted-by":"crossref","unstructured":"A. van Lamsweerde, R. Darimont, and E. Letier. Managing Conflicts in Goal-Driven Requirements Engineering. IEEE Transactions on Software Engineering, November 1998. Special Issue on Managing Inconsistency in Software Development.","DOI":"10.1109\/32.730542"},{"key":"11_CR30","doi-asserted-by":"crossref","unstructured":"A. van Lamsweerde, R. Darimont, and Massonet P. Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learned. In Proceedings of RE\u201995, 1995.","DOI":"10.1109\/ISRE.1995.512561"},{"key":"11_CR31","unstructured":"E. Yu and J. Mylopoulos. Understanding \u201cWhy\u201d in Software Process Modelling. In Proceedings of the 16th International Conference on Software Engineering, pages 135\u2013147, Sorrento, Italy, 1994."},{"key":"11_CR32","doi-asserted-by":"crossref","unstructured":"E. Yu and J. Mylopoulos. Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering. In Proceedings of the 27th Annual Hawaii International Conference on Systems Sciences, pages 234\u2013243, Hawaii, 1994.","DOI":"10.1109\/HICSS.1994.323491"},{"issue":"4","key":"11_CR33","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/64.511773","volume":"11","author":"E. Yu","year":"1996","unstructured":"E. Yu, J. Mylopoulos, and Y. Lesperance. AI Models for Business Process Reengineering. IEEE Expert, 11(4):16\u201323, 1996.","journal-title":"IEEE Expert"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45140-4_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T12:21:19Z","timestamp":1556713279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45140-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783319981765","9783319981772"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-45140-4_11","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2000]]}}}