{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T08:10:16Z","timestamp":1739088616985,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642013461"},{"type":"electronic","value":"9783642013478"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01347-8_40","type":"book-chapter","created":{"date-parts":[[2009,5,4]],"date-time":"2009-05-04T17:06:48Z","timestamp":1241456808000},"page":"479-490","source":"Crossref","is-referenced-by-count":0,"title":["Automatic Compositional Verification of Business Processes"],"prefix":"10.1007","author":[{"given":"Luis E.","family":"Mendoza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel I.","family":"Capel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"OMG: Business Process Modeling Notation \u2013 version 1.1. Object Management Group, Mass., USA (2008)"},{"key":"40_CR2","unstructured":"Eshuis, H.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling. Phd thesis, University of Twente, Enschede, The Netherlands (2002)"},{"key":"40_CR3","unstructured":"Duursma, C., Olle, U.: Task model definition and task analysis process. Technical report, Vrije University, Brussels KADSII \/M5\/VUB\/RR\/004\/2.0 (1994)"},{"key":"40_CR4","volume-title":"Handbook of Software Engineering And Knowledge Engineering: Recent Advances","author":"F. Patern\u00f2","year":"2001","unstructured":"Patern\u00f2, F.: Task Models in Interactive Software Systems. In: Handbook of Software Engineering And Knowledge Engineering: Recent Advances, World Scientific Publishing Co., Inc., River Edge (2001)"},{"key":"40_CR5","unstructured":"OASIS: Web Services Business Process Execution Language Version 2.0. OASIS Open, Billerica, USA (2007)"},{"issue":"1","key":"40_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.scico.2006.08.005","volume":"65","author":"K. Benghazi","year":"2007","unstructured":"Benghazi, K., Capel, M.I., Holgado, J.A., Mendoza, L.E.: A methodological approach to the formal specification of real\u2013time systems by transformation of UML\u2013RT design models. Science of Computer Programming\u00a065(1), 41\u201356 (2007)","journal-title":"Science of Computer Programming"},{"key":"40_CR7","volume-title":"The Rational Unified Process: An Introduction","author":"P.. Kruchten","year":"2003","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction, 3rd edn. Addison-Wesley Longman Publishing Co., Inc, Boston (2003)","edition":"3"},{"key":"40_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W. Aalst","year":"2003","unstructured":"Aalst, W., Hofstede, A., Weske, M.: Business Process Management: A Survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"40_CR9","volume-title":"Concurrent and Real-time Systems - The CSP Approach","author":"S. Schneider","year":"2000","unstructured":"Schneider, S.: Concurrent and Real-time Systems - The CSP Approach. John Wiley & Sons, Ltd., Chichester (2000)"},{"issue":"6","key":"40_CR10","doi-asserted-by":"publisher","first-page":"1661","DOI":"10.1145\/197320.197322","volume":"16","author":"J. \u017dic","year":"1994","unstructured":"\u017dic, J.: Time\u2013constrained buffer specifications in CSP+T and Timed CSP. ACM Transaction on Programming Languages and Systems\u00a016(6), 1661\u20131674 (1994)","journal-title":"ACM Transaction on Programming Languages and Systems"},{"key":"40_CR11","unstructured":"Formal Systems (Europe) Ltd: Failures\u2013Divergence Refinement \u2013 FDR2 User Manual. Formal Systems (Europe) Ltd., Oxford (2005)"},{"key":"40_CR12","volume-title":"Business Modeling With UML: Business Patterns at Work","author":"H.E. Eriksson","year":"1998","unstructured":"Eriksson, H.E., Penker, M.: Business Modeling With UML: Business Patterns at Work. John Wiley & Sons, Inc., New York (1998)"},{"key":"40_CR13","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"40_CR14","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"40_CR15","doi-asserted-by":"crossref","unstructured":"Mendoza, L.E., Capel, M.I., Benghazi, K.: Checking behavioural consistency of UML\u2013RT models through trace\u2013based semantics. In: Proc. 9th International Conference on Enterprise Information Systems (ICEIS 2007), vol.\u00a03, pp. 205\u2013211 (2007)","DOI":"10.5220\/0002395102050211"},{"key":"40_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Balancing Agility and Formalism in Software Engineering","author":"L.E. Mendoza","year":"2008","unstructured":"Mendoza, L.E., Capel, M.I.: Consistency checking of UML composite structure diagrams based on trace semantics. In: Meyer, B., Nawrocki, J.R., Walter, B. (eds.) CEE-SET 2007. LNCS, vol.\u00a05082. Springer, Heidelberg (2008)"},{"key":"40_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/3-540-45449-7_26","volume-title":"Embedded Software","author":"J. Sifakis","year":"2001","unstructured":"Sifakis, J.: Modeling real-time systems \u2013 challenges and work directions. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 373\u2013389. Springer, Heidelberg (2001)"},{"key":"40_CR18","doi-asserted-by":"crossref","unstructured":"Mendoza, L., Marius, A., P\u00e9rez, M., Grim\u00e1n, A.: Critical success factors for a customer relationship management strategy. In: Inf. Softw. Technol.\u00a049(8) (2007)","DOI":"10.1016\/j.infsof.2006.10.003"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01347-8_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T07:48:50Z","timestamp":1739087330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01347-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642013461","9783642013478"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01347-8_40","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}