Abstract
Modern software development has to deal with many different aspects and different views of applications. Thus it needs different modelling notations and tools to support more and more phases of the entire development process. To ensure the correctness of the models produced, the tools need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensuring high quality of such add-ins is to base them on sound formal foundations. This paper summarizes our research on the Refinement of Component and Object Systems (rCOS) and
illustrates it with experiences from the work on the Common Component Modelling Example (CoCoME). This gives evidence that the formal techniques developed in rCOS can be integrated into a model-driven development process and shows where it may be integrated in computer-aided software engineering (CASE) tools for adding formally supported checking, transformation and generation facilities.
illustrates it with experiences from the work on the Common Component Modelling Example (CoCoME). This gives evidence that the formal techniques developed in rCOS can be integrated into a model-driven development process and shows where it may be integrated in computer-aided software engineering (CASE) tools for adding formally supported checking, transformation and generation facilities.
Original language | English |
---|---|
Title of host publication | Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems : ICECCS07 |
Publisher | IEEE Computer Society Press |
Publication date | 2007 |
Pages | 277-289 |
ISBN (Print) | 0-7695-2895-3 |
Publication status | Published - 2007 |
Event | IEEE International Conference on Engineering Complex Computer Systems - Auckland, New Zealand Duration: 11 Jul 2007 → 14 Jul 2007 Conference number: 12 |
Conference
Conference | IEEE International Conference on Engineering Complex Computer Systems |
---|---|
Number | 12 |
Country/Territory | New Zealand |
City | Auckland |
Period | 11/07/2007 → 14/07/2007 |
Keywords
- Formal methods
- multi-view modelling
- rCOS
- software design
- UML