Towards an incremental development of UML specifications

Boulbaba Ben Ammar (1, 2) , Mohamed Tahar Bhiri (2) , Jeanine Souquières (1)

1 DEDALE - Development of specifications
2 MIRACL - Multimedia, InfoRmation systems and Advanced Computing Laboratory

Specifying complex systems is a difficult task which cannot be done in one step. Step-by-step development processes have been studied using formal methods, based on refinement mechanisms. The refinement is a key feature for incrementally developing more and more detailed models, preserving correctness in each step. Our purpose is to instantiate this process when using UML/OCL notations. We illustrate it by some development steps of an access control system. At each step, decisions are formalized in terms of different UML notations, making evolve an initial model which expresses the fundamental properties of the system. We show that these properties are preserved by each development step.

Mots clés: Step-by-step development process; UML; OCL; refinement; verification

Domaines: Autre [cs.OH]; Génie logiciel [cs.SE]

Boulbaba Ben Ammar, Mohamed Tahar Bhiri, Jeanine Souquières. Towards an incremental development of UML specifications. 2007. ⟨hal-00182180⟩