MDA-Based re-engineering with object-z

Authors:
Jörn Guy Süß;Tim McComb;Soon-Kyeong Kim;Luke Wildman;Geoffrey Watson
Affiliations:
Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia;Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia;Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia;Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia;Information Technology and Electrical Engineering, The University of Queensland, St. Lucia, Australia
Venue:
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Year:
2006

Citing 12
Cited 1

Anti-Yacc: MOF-to-Text

EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Eclipse Modeling Framework

Eclipse Modeling Framework
Improving CBS Tool Development with Technological Spaces

ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
A Tool-Supported Approach to Testing UML Design Models

ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
Architecture-Driven Modernization (ADM)

WCRE '05 Proceedings of the 12th Working Conference on Reverse Engineering
Fault Evaluation for Security-Critical Communications Devices

Computer
SIFA: a tool for evaluation of high-grade security devices

ACISP'05 Proceedings of the 10th Australasian conference on Information Security and Privacy
An MDA approach towards integrating formal and informal modeling languages

FM'05 Proceedings of the 2005 international conference on Formal Methods
Practical declarative model transformation with tefkat

MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Proceedings of the 4th international conference on Formal Specification and Development in Z and B

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
CZT: a framework for Z tools

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Model checking z specifications using SAL

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Guideline for the definition of EMF metamodels using an Entity-Relationship approach

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA's correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.