A calculus of refinements for program derivations
Acta Informatica
Equivalence transformations of PrT-nets
Advances in Petri nets 1989
A survey of behaviour and equivalence preserving refinements of Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
Correct Architecture Refinement
IEEE Transactions on Software Engineering - Special issue on software architecture
Style-based refinement for software architecture
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Transformations on Hierarchical Predicate Transition Nets: Refinements and Abstractions
COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
A pattern system to support refining informal ideas into formal expressions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Hi-index | 0.00 |
This paper proposes a refinement method based on a set of formal refinement patterns for software architecture design using Software Architecture Model (SAM). First, an approach for specification construction through property-preserving refinement patterns is discussed. The refinement patterns are categorized into connector refinement, component refinement and high-level Petri nets refinement. Then, modeling and refining a life insurance system is used to demonstrate how to applying the refinement patterns for software architecture design using SAM. The results demonstrate that a refinement method is an effective way to develop a high assurance system. Our result can be easily generalized to other formal methods as well.