Reference : A Formal Approach for the Specification and the Verification of UML Structural Proper...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/1101
A Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain
English
Guelfi, Nicolas mailto [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 mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2004
International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04
Yes
No
International
International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04
2004
Seattle
WA
[en] E-Business Processes ; Uml Activity Diagrams ; Formal Verification ; Use Approach
[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.
http://hdl.handle.net/10993/1101

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
2004_SVV_Verification_UML_Structural_Properties.pdfAuthor postprint283.73 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.