Patterns for Refinement Automation

Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalability. In this paper, we aim at assisting developers in rigorous modelling and design by increasing automation of development steps. We introduce a notion of refinement patterns

• Type: Journal
• Year: 2009
• Where: FMCO
• Authors: Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky
• Keywords: FMCO 2009, Formal Methods, Model Transformations, Refinement Patterns, Syntactic Model Transformations