A refinement driven component-based design

Zhenbang Chen, Zhiming Liu, Anders Peter Ravn, Volker Stolz, Lu Yang

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

7 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems : ICECCS07
PublisherIEEE Computer Society Press
Publication date2007
Pages277-289
ISBN (Print)0-7695-2895-3
Publication statusPublished - 2007
EventIEEE International Conference on Engineering Complex Computer Systems - Auckland, New Zealand
Duration: 11 Jul 200714 Jul 2007
Conference number: 12

Conference

ConferenceIEEE International Conference on Engineering Complex Computer Systems
Number12
Country/TerritoryNew Zealand
CityAuckland
Period11/07/200714/07/2007

Keywords

  • Formal methods
  • multi-view modelling
  • rCOS
  • software design
  • UML

Fingerprint

Dive into the research topics of 'A refinement driven component-based design'. Together they form a unique fingerprint.

Cite this