{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T16:49:13Z","timestamp":1725986953638},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-25975-6_37","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T20:42:51Z","timestamp":1281300171000},"page":"521-535","source":"Crossref","is-referenced-by-count":28,"title":["Goal-Driven Analysis of Process Model Validity"],"prefix":"10.1007","author":[{"given":"Pnina","family":"Soffer","sequence":"first","affiliation":[]},{"given":"Yair","family":"Wand","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1057\/palgrave.jors.2601381","volume":"53","author":"M. Arns","year":"2002","unstructured":"Arns, M., Fischer, M., Kemper, P., Tepper, C.: Supply Chain Modelling and its Analytical Evaluation. Journal of the Operational Research Society\u00a053, 885\u2013894 (2002)","journal-title":"Journal of the Operational Research Society"},{"key":"37_CR2","unstructured":"Bider, I., Johannesson, P., Perjons, E.: Goal-Oriented Patterns for Business Processes. In: Position paper for Workshop on Goal-Oriented Business Process Modeling, GBPM 2002 (2002)"},{"key":"37_CR3","volume-title":"Ontology I: The Furniture of the World","author":"M. Bunge","year":"1977","unstructured":"Bunge, M.: Treatise on Basic Philosophy. In: Ontology I: The Furniture of the World, vol.\u00a03, Reidel, Boston (1977)"},{"key":"37_CR4","volume-title":"Ontology II: A World of Systems","author":"M. Bunge","year":"1979","unstructured":"Bunge, M.: Treatise on Basic Philosophy. In: Ontology II: A World of Systems, vol.\u00a04, Reidel, Boston (1979)"},{"key":"37_CR5","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s007660200019","volume":"7","author":"R. Eshuis","year":"2002","unstructured":"Eshuis, R., Jansen, D.N., Weiringa, R.: Requirements-Level Semantics and model Checking of Object-Oriented Statecharts. Requirements Engineering\u00a07, 243\u2013263 (2002)","journal-title":"Requirements Engineering"},{"key":"37_CR6","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/581360.581362","volume-title":"Proceedings of the 24th International Conference on Software Engineering (ICSE)","author":"R. Eshuis","year":"2002","unstructured":"Eshuis, R., Weiringa, R.: Verification Support for Workflow Design with UML Activity Graphs. In: Proceedings of the 24th International Conference on Software Engineering (ICSE), pp. 166\u2013176. ACM Press, New York (2002)"},{"key":"37_CR7","volume-title":"Reengineering the Corporation \u2013 A manifesto for Business Revolution","author":"M. Hammer","year":"1994","unstructured":"Hammer, M., Champy, J.: Reengineering the Corporation \u2013 A manifesto for Business Revolution. Nicholas Brealey Publishing, London (1994)"},{"issue":"3","key":"37_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0925-5273(00)00070-0","volume":"70","author":"P.K. Humphreys","year":"2001","unstructured":"Humphreys, P.K., Lai, M.K., Sculli, D.: An Inter-organizational Information System for Supply Chain Management. International Journal of Production Economics\u00a070(3), 245\u2013255 (2001)","journal-title":"International Journal of Production Economics"},{"key":"37_CR9","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0306-4379(01)00015-1","volume":"26","author":"P. Johannesson","year":"2001","unstructured":"Johannesson, P., Perjons, E.: Design Principles for Process Modeling in Enterprise Application Integration. Information Systems\u00a026, 165\u2013184 (2001)","journal-title":"Information Systems"},{"key":"37_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BFb0054232","volume-title":"Advanced Information Systems Engineering","author":"V. Kavakli","year":"1998","unstructured":"Kavakli, V., Loucopoulos, P.: Goal-Driven Business Process analysis Application in Electricity Deregulation. In: Pernici, B., Thanos, C. (eds.) CAiSE 1998. LNCS, vol.\u00a01413, pp. 305\u2013324. Springer, Heidelberg (1998)"},{"key":"37_CR11","first-page":"85","volume-title":"OOIS 2000 - 6th international conference on object oriented information systems","author":"M. Khomyakov","year":"2000","unstructured":"Khomyakov, M., Bider, I.: Achieving Workflow Flexibility through Taming the Chaos. In: OOIS 2000 - 6th international conference on object oriented information systems, pp. 85\u201392. Springer, Heidelberg (2000)"},{"issue":"1","key":"37_CR12","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1108\/14637159710161567","volume":"3","author":"P. Kueng","year":"1997","unstructured":"Kueng, P., Kawalek, P.: Goal-based Business Process Models: Creation and Evaluation. BPMJ\u00a03(1), 17\u201338 (1997)","journal-title":"BPMJ"},{"key":"37_CR13","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the Spin Model-checker. Formal Aspects of Computing\u00a011, 637\u2013664 (1999)","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"37_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/32.126767","volume":"18","author":"D. Paulson","year":"1992","unstructured":"Paulson, D., Wand, Y.: An Automated Approach to Information Systems Decomposition. IEEE Transactions on Software Engineering\u00a018(3), 174\u2013189 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"37_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58529-6","volume-title":"ARIS \u2013 Business Process Frameworks","author":"A.W. Scheer","year":"1999","unstructured":"Scheer, A.W.: ARIS \u2013 Business Process Frameworks. Springer, Berlin (1999)"},{"key":"37_CR16","unstructured":"SCOR Reference model, Supply chain council, www.supply-chain.org"},{"key":"37_CR17","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/PL00010359","volume":"6","author":"P. Soffer","year":"2001","unstructured":"Soffer, P., Golany, B., Dori, D., Wand, Y.: Modeling Off-the-Shelf Information Systems Requirements: An Ontological Approach. Requirements Engineering\u00a06, 183\u2013199 (2001)","journal-title":"Requirements Engineering"},{"key":"37_CR18","doi-asserted-by":"crossref","unstructured":"Soffer, P., Wand, Y.: On the Notion of Soft Goals in Business Process Modeling. Business Process Management Journal (to appear)","DOI":"10.1108\/14637150510630837"},{"issue":"4","key":"37_CR19","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1023\/A:1012881006783","volume":"3","author":"S. Stephens","year":"2001","unstructured":"Stephens, S.: Supply Chain Operations Reference Model Version 5.0: a New Tool to Improve Supply Chain Efficiency and Achieve Best Practice. Information Systems Frontiers\u00a03(4), 471\u2013476 (2001)","journal-title":"Information Systems Frontiers"},{"key":"37_CR20","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst Van der","year":"1997","unstructured":"Van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"1","key":"37_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0306-4379(00)00008-9","volume":"25","author":"W.M.P. Aalst Van der","year":"2000","unstructured":"Van der Aalst, W.M.P., And Ter Hofstede, A.H.M.: Verfication of Workflow Task Structure: A Petri-net-based Approach. Information Systems\u00a025(1), 43\u201369 (2000)","journal-title":"Information Systems"},{"issue":"11","key":"37_CR22","doi-asserted-by":"publisher","first-page":"1282","DOI":"10.1109\/32.60316","volume":"16","author":"Y. Wand","year":"1990","unstructured":"Wand, Y., Weber, R.: An Ontological Model of an Information System. IEEE Trans. on Software Engineering\u00a016(11), 1282\u20131292 (1990)","journal-title":"IEEE Trans. on Software Engineering"}],"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\/978-3-540-25975-6_37","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,3]],"date-time":"2021-11-03T22:21:26Z","timestamp":1635978086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25975-6_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783319981765","9783319981772"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25975-6_37","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2004]]}}}