Sign in
Back
P-UML A Pattern Design Language with a Formal Semantics
Conference proceeding

P-UML A Pattern Design Language with a Formal Semantics

Nadia Bouassida, Hanene Ben-Abdallah and Moez Ali
ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2, pp.197-205
01/01/2013
DOI: https://doi.org/10.5220/0004440601970205

Abstract

Computer Science Computer Science, Information Systems Science & Technology Technology
This paper presents and fine-tunes the P-UML design language which is a UML profile that better represents the design patterns and guides their instantiation. Then, it focuses on the definition of the formal semantics of this language in Z. The formal semantics allows a designer to prove the syntactic well-formedness of a P-UML design. In addition, it allows the verification of a design pattern's instantiation thanks to the theorem prover Z/EVES.

Metrics

1 Record Views

Details