E-Business Processes; Uml Activity Diagrams; Formal Verification; Use Approach
Abstract :
[en] This paper presents a formal approach for the specification and the verification of UML diagrams against a set of structural properties. This work is part of the E-fficient research project, aiming at building correct e-business processes. An e-business process is described using class and activity diagrams. The verification of structural properties gives a degree of confidence regarding the correctness of the related business process. Our proposal is based on the formal approach promoted by the USE tool. The USE approach aims at validating a particular state of an object model against properties described in OCL. The contributions of this paper are: the introduction of meta-model based on class diagrams for UML diagrams to be verified, rules for the translation of the class, object and activity diagrams into USE specifications, and the specification of structural properties in OCL.
Disciplines :
Computer science
Identifiers :
UNILU:UL-CONFERENCE-2009-306
Author, co-author :
Guelfi, Nicolas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Mammar, Amel ; 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)
Language :
English
Title :
A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain
Publication date :
2004
Event name :
International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04
Event place :
Seattle, United States - Washington
Event date :
2004
Audience :
International
Main work title :
International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04
