Engineering of dependable complex business processes using UML and Coordinated Atomic Actions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3292, Issue , 2004, Pages 468-482

  Guelfi, Nicolas ^a   Le Cousin, Guillaume ^a   Ries, Benoît ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Advanced transaction model; Cross enterprise business processes modeling; Fault tolerance; Methodology; Tools; UML; Validation; Verification

Indexed keywords

COORDINATION REACTIONS; FAULT TOLERANCE; REUSABILITY; TOOLS; VERIFICATION;

ADVANCED TRANSACTION; AUTOMATIC VERIFICATION; BUSINESS PROCESS MODEL; ENTERPRISE BUSINESS PROCESS; IMPROVING EFFICIENCY; METHODOLOGY; VALIDATION; VALIDATION AND VERIFICATION;

MODELING LANGUAGES;

EID: 35048838161     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30470-8_61     Document Type: Article

References (26)

1. OMG, Unified Modeling Language Specification Version 1.5, 2003
2. H.-E. Eriksson, M. Penker, Business Modeling with UML: Business Patterns at Work, John Wiley & Sons, 2000
3. R. Eshuis, Semantics and Verification of UML Activity Diagrams for Workflow Modelling, Ph.D. Thesis, University of Twente, 2002
4. M. Dumas, A.H. Hofstede, UML Activity Diagrams as a Workflow Specification Language, 4th International Conference on the Unified Modeling Manguage, Modeling Languages, Concepts, and Tools, vol.2185, Toronto, Canada, Springer-Verlag, pp.76-90, 2001
5. J. Xu, B. Randell, A. Romanovsky, C.M. Rubira et al. , Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery, Proceedings of the 25th International Symposium on Fault-Tolerant Computing, Pasadena, IEEE Computer Society, pp.499-508, 1995
6. B. Randell, A. Romanovsky, R. Stroud, A. Zorzo, Coordinated Atomic Actions: from Concept to Implementation, Technical Report noTR 595, Department of Computing, University of Newcastle upon Tyne, 1997
7. P. Bernstein, V. Hadzilakos, N. Goodman, Concurrency Control and Recovery in Database Systems, Addison Wesley, 1987
8. K. Ramamritham, P.K. Chrysanthis, Advances in Concurrency Control and Transaction Processing, Executive Briefing Serie, IEEE Computer Society Press, 1997
9. J. Vachon, COALA: A Design Language for Reliable Distributed Systems, Ph.D. Thesis, Swiss Federal Institute of Technology, Lausanne, Switzerland, #2302, 2000
10. A. Zorzo, R. Stroud, An Object-Oriented Framework for Dependable Multiparty Interactions, OOPSLA-99, pp.435-446, 1999
11. B. Randell, System Structure for Software Fault Tolerance, IEEE Transactions on Software Engineering, vol.SE-1, pp.220-232, 1975
12. B. Randell, J. Xu, The Evolution of the Recovery Block Concept, Software Fault Tolerance, pp. 1-21, 1995
13. J. Moss, Nested transactions: an approach to reliable distributed computing, Massachusetts Institute of Technology, 1981
14. R.H. Campbell, B. Randell, Error recovery in asynchronous systems, IEEE Transactions on Software Engineering, vol.12, IEEE Press, pp.811-826, 1986
15. O. Biberstein, D. Buchs, N. Guelfi, Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism, Advances in Petri Nets on Object-Orientation, Lecture Notes in Computer Science, Springer-Verlag, 2001
16. WfMC, XML Processing Description Language, http://www.wfmc.org/standards/ docs/TC-1025_10_xpdl_102502.pdf, 2002
17. W3C, XML Schema Type Formats, http://www.w3.org/TR/xmlschema-2/
18. N. Guelfi, A. Mammar, B. Ries, A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain, Submitted to the 6th International Conference on Formal Engineering Methods (ICEFM), Seattle, WA, USA, 2004
19. S. Chachkov, D. Buchs, From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach, International Conference on Application of Concurrency to System Design, Newcastle, IEEE Press, pp.99-110, 2001
20. R. Annonier, N. Guelfi, A. Mammar, Verification of Real-Time e-Business Transactions using RT-UML and KRONOS, Submitted to, 2004
21. OMG, UML Profile for Schedulability, Performance and Time, Specification OMG, 2003
22. R.A, C.C, D.L. Dill, Model-Checking in Dense Real-Time, Information and Computation 104(1), pp.2-34, 1993
23. C. Péraire, S. Barbey, D. Buchs, Test Selection for Object-Oriented Software Based on Formal Specifications, IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98), Shelter Island, New York, USA, pp.385-403, 1998
24. BPMI, Business Process Modeling Notation (BPMN) 1.0, BPMI.org, 2004
25. Microsoft, IBM, Siebel, BEA, SAP, Business Process Execution Language for Web Services, 2003
26. R. Eshuis, R. Wieringa, Tool Support for Verifying UML Activity Diagrams, vol.30, IEEE Press, pp.437-447, 2004