P-UML - A Pattern Design Language with a Formal Semantics

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

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.

References

  1. Arnaud N., Front A. and Rieu D., “Expression et usage de la variabilité dans les patrons de conception”, Revue des sciences et technologies de l'information, Vol. 12/4, pp. 21-24, 2007.
  2. Ali. M., “Formal verification and validation of UML models: Approaches and tools”. Editions Universitaires Europeennes, 2010.
  3. Blazy S., Gervais F., Laleau R., “Reuse of Specification Patterns with the B Method” , 2006. http://www.arxiv.org/abs/cs/0610097v1
  4. Blazy, S., Gervais, F., Laleau, R.., “Un exemple de réutilisation de patterns de spécification avec la méthode B”. Technical report. 395, CEDRIC Laboratory, Evry, France, 2002.
  5. Bouassida N., Ben-Abdallah, Ben-Hamadou A. “Extending UML to guide design pattern reuse”, fourth ACS/IEEE International Conference on Computer Systems and Applications, Dubai, 2006.
  6. Dey S, Bhattcharya S., “Formal specification of structural and behavioral aspects of design patterns”, Journal of Object Technology, Volume 9, N°6 (November 2010), pp. 99-126.
  7. Dong J., “UML extensions for design pattern compositions”, Journal of object technology, Vol. 1, N° 5, pp 149-161, 2002.
  8. Dong J., Yang S. and Zhang K., “Visualizing design patterns in their applications and compositions”, Proceedings of IEEE transactions on software engineering, pp. 433-453, 2007.
  9. Eden, A., Hirshfeld, Y., Yehudai, A., “LePUS - a declarative pattern specification language”. Technical. report. 326/98, Department of Computer Science, Tel Aviv University, 1998.
  10. Fontoura. M. F., W. Pree and B. Rumpe, “Extending UML to improve the representation of design patterns”, JOOP, Vol. 13, N°11, pp. 12-19, March , 2001.
  11. Gamma E., R. Helm, R. Johnson and J. Vlissides (1995), Design patterns: Elements of reusable Object Oriented Software, Addisson-Wesley, Reading, MA.
  12. Kim S. K. and Carrington D., “A tool for a formal pattern modeling language”. 8th International Conference on Formal Engineering Methods (ICFEM 2006), LNCS 4260, pp. 568-587, China, 2006.
  13. Kim S. K. and Carrington D., “Using Integrated Metamodeling to Define OO Design Patterns with Object-Z and UML”. Proceedings of the 11th Asia Pacific Software engineering Conference, 2004.
  14. Marcano, R., Meyer, E., Levy, N., Souquieres, J., “Utilisation de patterns dans la construction de spécifications en UML et B”. Proceeding AFADL'2000, Technical report., LSR Laboratory, Grenoble, France, January 26-28, 2000.
  15. Pree W., “Meta-patterns: a means for capturing the essentials of object-oriented designs”, Proceedings of the 8th European Conference on Object Oriented Programming, Bologna-Italy, 1994.
  16. Sanada Y., Adams R. (2002) CO, “Representing Design Patterns and Frameworks in UML-Towards a Comprehensive Approach”, Journal of Object Technology, Vol. 1, N°2, July-August.
  17. Taibi T., Taibi F., “Formal specification of design patterns and their instances”, Fourth ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-06), March 8-11, Dubai, 2006.
  18. Meisels I., Software Manual for Windows Z/EVES Version 2.3. TR-97-5505-04h, ORA Canada, June 2004.
Download


Paper Citation


in Harvard Style

Bouassida N., Ali M., Ben-Abdallah H., Ali M. and Bouassida N. (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


in Bibtex Style

@conference{iceis13,
author={Nadia Bouassida and Moez Ali and Hanêne Ben-Abdallah and Moez Ali and Nadia Bouassida},
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},
}


in EndNote Style

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