P-UML

Nadia Bouassida, Hanêne Ben-Abdallah, Moez Ali

2013

Abstract

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.

Download


Paper Citation


in Harvard Style

Bouassida N., Ben-Abdallah H. and Ali M. (2013). P-UML.In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 197-205. DOI: 10.5220/0004440601970205


in Bibtex Style

@conference{iceis13,
author={Nadia Bouassida and Hanêne Ben-Abdallah and Moez Ali},
title={P-UML},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={197-205},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004440601970205},
isbn={978-989-8565-60-0},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - P-UML
SN - 978-989-8565-60-0
AU - Bouassida N.
AU - Ben-Abdallah H.
AU - Ali M.
PY - 2013
SP - 197
EP - 205
DO - 10.5220/0004440601970205