• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Visualising Program Transformations in a Stepwise Manner

Marta Plaska, Marina Walden, Colin Snook, Visualising Program Transformations in a Stepwise Manner. In: Olaf Owe Gerardo Schneider Einar Broch Johnsen (Ed.), Proceedings of the 19th Nordic Workshop on Programming Theory, 87-89, University of Oslo, 2007.

Abstract:

For designing and developing complex, correct and reliable systems formal methods are the most beneficial approach. However, a formal methodology could be difficult for industry practitioners due to its mathematical notation. Hence it needs to be supported by more approachable platform, which would give guidance both for industry and research world representatives. The Unified Modelling Language
(UML) with its semi-formal notation gives the intuitive image of the system and is commonly used within the industry. In the stepwise development of our system we combine UML with the formal methods approach and refinement patterns.

The system is built up gradually in small steps using superposition refinement. We strongly rely on patterns in the refinement process, since these are the cornerstones for creating reusable and robust software. UML diagrams and corresponding Event B code are developed for each step simultaneously. To get a better overview of the design process, we benefit from the progress diagrams that illustrate only the refinement-affected parts of the system.

Files:

Abstract in PDF-format

BibTeX entry:

@INPROCEEDINGS{inpPlWaSn07b,
  title = {Visualising Program Transformations in a Stepwise Manner},
  booktitle = {Proceedings of the 19th Nordic Workshop on Programming Theory},
  author = {Plaska, Marta and Walden, Marina and Snook, Colin},
  editor = {Einar Broch Johnsen, Olaf Owe Gerardo Schneider},
  publisher = {University of Oslo},
  pages = {87-89},
  year = {2007},
  keywords = {progress diagram, statemachines, stepwise development, refinement, refinement patterns, UML, Event-B, action systems, graphical representation},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication