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)
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)
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)
Designing and analyzing business processes is the starting point of the development of enterprise applications, especially when following the SOA (Service Oriented Architecture) paradigm. UML activity diagrams are often used to model business processes. Unfortunately, their rich syntax favors mistakes by designers; furthermore, their informal semantics(More)
Our Korrigan formalism is devoted to the structured formal specification of mixed systems through a model based on a hierarchy of views [4, 20]. In our unifying approach, views are used to describe the different aspects of a component (both internal and external structur-ing). We propose a semi-formal method with guidelines for the development of mixed(More)