A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Reasoning about Action Systems using the B-Method
Formal Methods in System Design
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Automatic Model Refinement for Fast Architecture Exploration
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
Enterprise Patterns and MDA: Building Better Software with Archetype Patterns and UML
Enterprise Patterns and MDA: Building Better Software with Archetype Patterns and UML
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Refinement patterns for rapid development of dependable systems
Proceedings of the 2007 workshop on Engineering fault tolerant systems
Documenting the Progress of the System Development
Methods, Models and Tools for Fault Tolerance
UML-B and Event-B: an integration of languages and tools
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Heuristics on the definition of UML refinement patterns
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Patterns for b: bridging formal and informal development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Refinement of statemachines using event b semantics
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Documenting the Progress of the System Development
Methods, Models and Tools for Fault Tolerance
Language and Tool Support for Class and State Machine Refinement in UML-B
FM '09 Proceedings of the 2nd World Congress on Formal Methods
| Hi-index | 0.00 |
While UML gives an intuitive image of the system, formal methods provide the proof of its correctness. We can benefit from both aspects by combining UML and formal methods. Even for the combined method we need consistent and compact description of the changes made during the system development. In the development process certain design patterns can be applied. In this paper we introduce progress diagrams to document the design decisions and detailing of the system in successive refinement steps. A case study illustrates the use of the progress diagrams.