{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:58:44Z","timestamp":1725566324314},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540236641"},{"type":"electronic","value":"9783540304708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30470-8_61","type":"book-chapter","created":{"date-parts":[[2010,9,23]],"date-time":"2010-09-23T17:42:15Z","timestamp":1285263735000},"page":"468-482","source":"Crossref","is-referenced-by-count":3,"title":["Engineering of Dependable Complex Business Processes Using UML and Coordinated Atomic Actions"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Guelfi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Le Cousin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Ries","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"61_CR1","unstructured":"OMG, Unified Modeling Language Specification Version 1.5 (2003)"},{"key":"61_CR2","volume-title":"Business Modeling with UML: Business Patterns at Work","author":"H.-E. Eriksson","year":"2000","unstructured":"Eriksson, H.-E., Penker, M.: Business Modeling with UML: Business Patterns at Work. John Wiley & Sons, Chichester (2000)"},{"key":"61_CR3","unstructured":"Eshuis, R.: Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. Thesis, University of Twente (2002)"},{"key":"61_CR4","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"4th International Conference on the Unified Modeling Manguage, Modeling Languages, Concepts, and Tools","author":"M. Dumas","year":"2001","unstructured":"Dumas, M., Hofstede, A.H.: UML Activity Diagrams as a Workflow Specification Language. In: 4th International Conference on the Unified Modeling Manguage, Modeling Languages, Concepts, and Tools, Toronto, Canada, vol.\u00a02185, pp. 76\u201390. Springer, Heidelberg (2001)"},{"key":"61_CR5","first-page":"499","volume-title":"Proceedings of the 25th International Symposium on Fault-Tolerant Computing, Pasadena","author":"J. Xu","year":"1995","unstructured":"Xu, J., Randell, B., Romanovsky, A., Rubira, C.M., et al.: Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In: Proceedings of the 25th International Symposium on Fault-Tolerant Computing, Pasadena, pp. 499\u2013508. IEEE Computer Society, Los Alamitos (1995)"},{"key":"61_CR6","unstructured":"Randell, B., Romanovsky, A., Stroud, R., Zorzo, A.: Coordinated Atomic Actions: from Concept to Implementation, Technical Report TR 595, Department of Computing, University of Newcastle upon Tyne (1997)"},{"key":"61_CR7","volume-title":"Concurrency Control and Recovery in Database Systems","author":"P. Bernstein","year":"1987","unstructured":"Bernstein, P., Hadzilakos, V., Goodman, N.: Concurrency Control and Recovery in Database Systems. Addison Wesley, Reading (1987)"},{"key":"61_CR8","series-title":"Executive Briefing Serie","volume-title":"Advances in Concurrency Control and Transaction Processing","author":"K. Ramamritham","year":"1997","unstructured":"Ramamritham, K., Chrysanthis, P.K.: Advances in Concurrency Control and Transaction Processing. Executive Briefing Serie. IEEE Computer Society Press, Los Alamitos (1997)"},{"key":"61_CR9","unstructured":"Vachon, J.: COALA: A Design Language for Reliable Distributed Systems, Ph.D. Thesis, Swiss Federal Institute of Technology, Lausanne, Switzerland, #2302 (2000)"},{"key":"61_CR10","doi-asserted-by":"crossref","unstructured":"Zorzo, A., Stroud, R.: An Object-Oriented Framework for Dependable Multiparty Interactions. In: OOPSLA 1999, pp. 435\u2013446 (1999)","DOI":"10.1145\/320384.320431"},{"key":"61_CR11","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"SE-1","author":"B. Randell","year":"1975","unstructured":"Randell, B.: System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering\u00a0SE-1, 220\u2013232 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"61_CR12","unstructured":"Randell, B., Xu, J.: The Evolution of the Recovery Block Concept. Software Fault Tolerance, pp. 1\u201321 (1995)"},{"key":"61_CR13","unstructured":"Moss, J.: Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology (1981)"},{"key":"61_CR14","doi-asserted-by":"crossref","first-page":"811","DOI":"10.1109\/TSE.1986.6312984","volume":"12","author":"R.H. Campbell","year":"1986","unstructured":"Campbell, R.H., Randell, B.: Error recovery in asynchronous systems. IEEE Transactions on Software Engineering\u00a012, 811\u2013826 (1986)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"61_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"Object-Oriented Nets with Algebraic Specifications: The CO-OPN\/2 Formalism, Advances in Petri Nets on Object-Orientation","author":"O. Biberstein","year":"2001","unstructured":"Biberstein, O., Buchs, D., Guelfi, N.: Object-Oriented Nets with Algebraic Specifications: The CO-OPN\/2 Formalism, Advances in Petri Nets on Object-Orientation. LNCS. Springer, Heidelberg (2001)"},{"key":"61_CR16","unstructured":"WfMC, XML Processing Description Language (2002), http:\/\/www.wfmc.org\/standards\/docs\/TC-1025_10_xpdl_102502.pdf"},{"key":"61_CR17","unstructured":"W3C, XML Schema Type Formats, http:\/\/www.w3.org\/TR\/xmlschema-2\/"},{"key":"61_CR18","unstructured":"Guelfi, N., Mammar, A., Ries, B.: A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain. In: The 6th International Conference on Formal Engineering Methods (ICEFM), Seattle, WA, USA (2004) (submitted to)"},{"key":"61_CR19","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/CSD.2001.981768","volume-title":"International Conference on Application of Concurrency to System Design","author":"S. Chachkov","year":"2001","unstructured":"Chachkov, S., Buchs, D.: From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. In: International Conference on Application of Concurrency to System Design, Newcastle, pp. 99\u2013110. IEEE Press, Los Alamitos (2001)"},{"key":"61_CR20","unstructured":"Annonier, R., Guelfi, N., Mammar, A.: Verification of Real-Time e-Business Transactions using RT-UML and KRONOS (2004) (submitted to)"},{"key":"61_CR21","unstructured":"OMG, UML Profile for Schedulability, Performance and Time, Specification OMG (2003)"},{"key":"61_CR22","doi-asserted-by":"crossref","unstructured":"R.A, C.C, Dill, D.L.: Model-Checking in Dense Real-Time. Information and Computation 104(1), 2\u201334 (1993)","DOI":"10.1006\/inco.1993.1024"},{"key":"61_CR23","doi-asserted-by":"crossref","unstructured":"P\u00e9raire, C., Barbey, S., Buchs, D.: Test Selection for Object-Oriented Software Based on Formal Specifications. In: IFIP Working Conference on Programming Concepts and Methods (PROCOMET 1998), Shelter Island, New York, USA, pp. 385\u2013403 (1998)","DOI":"10.1007\/978-0-387-35358-6_25"},{"key":"61_CR24","unstructured":"BPMI, Business Process Modeling Notation (BPMN) 1.0 (2004), BPMI.org"},{"key":"61_CR25","unstructured":"Microsoft, IBM, Siebel, BEA, SAP, Business Process Execution Language for Web Services (2003)"},{"key":"61_CR26","first-page":"437","volume-title":"Tool Support for Verifying UML Activity Diagrams","author":"R. Eshuis","year":"2004","unstructured":"Eshuis, R., Wieringa, R.: Tool Support for Verifying UML Activity Diagrams, vol.\u00a030, pp. 437\u2013447. IEEE Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30470-8_61","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,4]],"date-time":"2019-06-04T21:46:06Z","timestamp":1559684766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30470-8_61"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540236641","9783540304708"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30470-8_61","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}