François Taïani, and Mario Paludetto

Modeling vs. Checking with UML

Proceedings of MOdelling and VErification of Parallel processes (MOVEP'2k), Nantes (France), 19-23 June, pp. 228-233, 2000 (6p.)

Abstract
The Unified Modeling Language (UML) gradually penetrates all branches of the software development industry, including those handling mission critical systems. The question arises as to which extend UML fits the need of systems that heavily rely on checking and verification. In this brief paper, we try to introduce the main antinomies between modeling languages and checking capabilities. We attempt to sketch the nature of answers needed to bring UML to an acceptable level of formalism without loosing too much conviviality.

bibtex

Copies / Update: Please contact me by email if you wish to obtain a copy of a paper that is not available on line.



[Maison.png]Back to Home

 
Last generated on 9 Nov 2017       francois.taiani@irisa.fr     Valid HTML 4.0!