loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Moez Ali and Hanêne Ben-Abdallah

Affiliation: University of Sfax, Tunisia

ISBN: 978-989-8565-60-0

Keyword(s): Design Patterns Language, Formal Specification, Z Formal Language, UML.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Requirements Analysis And Management ; Software Engineering ; Tools, Techniques and Methodologies for System Development

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.231.247.139

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Bouassida, N.; Ben-Abdallah, H. and Ali, M. (2013). P-UML - A Pattern Design Language with a Formal Semantics.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

@conference{iceis13,
author={Nadia Bouassida. and Hanêne Ben{-}Abdallah. and Moez Ali.},
title={P-UML - A Pattern Design Language with a Formal Semantics},
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},
}

TY - CONF

JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - P-UML - A Pattern Design Language with a Formal Semantics
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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.