Reference : Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic...

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/2861

Title :	Engineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions
Language :	English
Author, co-author :	Guelfi, Nicolas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Le Cousin, Guillaume [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Ries, Benoît [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2004
Main document title :	International Workshop on Modeling Inter-Organizational Systems (MIOS'04)
Publisher :	Springer
Collection and collection volume :	LNCS 3292
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	International Workshop on Modeling Inter-Organizational Systems (MIOS'04)
Event date :	2004
Event place (city) :	Larnaca
Event country :	Cyprus
Keywords :	[en] Cross-Enterprise Business Processes Modeling ; Uml ; Advanced Transaction Model ; Fault-Tolerance ; Vali
Abstract :	[en] For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important. For improving efficiency, the modeling language should provide reusability, easy understanding by business analysts, and should ease the validation and verification tasks. In this paper, we present an approach for developing dependable complex business processes using UML that satisfies these requirements. The proposed UML notation is designed to be directly integrated with COALA, a syntactically and semantically well-defined fault-tolerant advanced transaction model based on Coordinated Atomic Actions. Structuring concepts like nested business processes and fault-tolerance through exception handling are first class concepts brought by our approach that are crucial for modeling cross-enterprise business processes. The modeling phase is followed by a validation phase by business analysts through animation of the business process model in a workflow environment. Due to the precise notation used, automatic verification of crucial properties is accessible through integration with an automatic verifier.
Permalink :	http://hdl.handle.net/10993/2861

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Open access 2004_MIOS_Guelfi_Engineering_Business_Process_UML_CAA.pdf Author postprint 209.45 kB View/Open

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map