Learn More
We consider the problem of precisely deening UML active classes with an associated state chart. We are convinced that the rst step to make UML precise is to nd an underlying formal model for the systems modelled by UML. We argue that labelled transition systems are a sensible choice; indeed they have worked quite successfully for languages as Ada and Java.(More)
In spite of its informal semantics and of some ambiguities, UML is a widespread modelling language used in both industry and academia. On the other hand, Petri nets are a mathematical modelling language with a formal semantics and are well suited for formal verification. However, altough there is a growing interest in model checking techniques from(More)
Problem frames provide a characterisation and classification of software development problems. Fitting a problem into an appropriate problem frame should not only help to understand it, but also to solve the problem (the idea being that, once the adequate problem frame is identified, then the associated development method should be available). We propose(More)
A cademic culture iS changing. The rest of the world, including university management , increasingly assesses scientists; we must demonstrate worth through indicators, often numeric. While the extent of the syndrome varies with countries and institutions , La Fontaine's words apply: " not everyone will die, but everyone is hit. " Tempting as it may be to(More)
Methods are needed to help using formal speciications in a practical way. We herein present a method for the development of mixed systems, i.e. systems with both a static and a dynamic part. Our method helps the speciier providing means to structure the system in terms of communicating subcomponents and to give the sequential components using a(More)
Methods are needed to help using formal speciications in a practical way. We present a speciication method that takes into account both the speciication of concurrent activity and the speciication of the data types involved. It is applied here to LOTOS speciication, but it may be used for other formalisms. Our method is both constraint oriented (for the(More)
Les " patrons " (ou " patterns ") tels que les " problem frames " (schémas de problèmes) et les styles d'architecture sont utilisés ici comme support pour la spécification formelle et le développement de systèmes d'information. De nouveaux schémas de problèmes spécifiques pour les systèmes d'information sont proposés pour décrire les sous-problèmes(More)