P-UML

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

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

P-UML

Topics: Modeling Formalisms, Languages, and Notations (e.g. UML, ER variants); Requirements Analysis And Management; Software Engineering; Tools, Techniques and Methodologies for System Development

In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, 197-205, 2013 , Angers, France

Authors: Nadia Bouassida ; Hanêne Ben-Abdallah and Moez Ali

Affiliation: University of Sfax, Tunisia

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

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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. In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS; ISBN 978-989-8565-60-0; ISSN 2184-4992, SciTePress, pages 197-205. DOI: 10.5220/0004440601970205

@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},
issn={2184-4992},
}

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
IS - 2184-4992
AU - Bouassida, N.
AU - Ben-Abdallah, H.
AU - Ali, M.
PY - 2013
SP - 197
EP - 205
DO - 10.5220/0004440601970205
PB - SciTePress