Fondue to COOPN Transformation

1
Fondue to COOPN Transformation
2
Outline

• Motivation and approach
• Some background
• Steps towards transformation
• The transformation process
• Meta-Modeling tool
• COOPN XMI based data format
• Conclusions

3
Motivation and Approach

• Motivation
• Transform from Fondue Models to COOPN
  specifications
• To integrate the transformation process into a
  test case generation framework
• Approach
• High level description of COOPN using concepts
  within MDA framework
• COOPN Meta-Model
• Interfaces for data access

4
Some Background

• Fondue
• What it provides
• Concept Model Defines the static structure of
  the information in the system
• Behavior Model Defines the Input and Output
  communication of the system
• Uses UML for notation (parts of different UML
  diagrams
• Concept Model ? Class Diagram
• Environment Model ? Collaboration Diagram
• Protocol Model ? State Diagram
• Operation Model ?(OCL)
• Describes operations by operation schemas which
  specify operations by pre- and post-conditions
  using OCL
• The Fondue process can be outlined by a UML class
  diagram showing usage dependencies between the
  models

5
Some Background

• COOPN
• Formal specification language
• Unambiguous representation of the system
• Executable specification
• State space exploration
• Suitable for modeling, prototyping and test case
  generation

6
Some steps towards transformation

• Environment model ? 1 COOPN Context
• Operations ? methods of the context
• Output messages ? Gates

input

• Directly from
• the
• Meta-Models

output
7
Example
8
Some steps towards transformation

• Concept Model
• 1 Class ? 1 COOPN Class
• Name ? Name
• Attributes ? Places
• Access methods put, get, read
• Method put_a(x) a y -gt a x
• Gate get_a(x) a x -gt a x
• Gate read_a(x)a x -gt a x
• Associations as classes
• With source and target values

• Directly from
• the
• Meta-Models

put
put
get
9
Example
10
Some steps towards transformation

• Operation Model
• Transform Fondue pre- and post-conditions using
  OCL
• Operation Schemas ? (synchronization rules,
  algebraic equations)

• No standard
• approach available!
• Parse OCL and define clear
• transformation rules

11
Transformation Rules

• Summary

12
Transformation Process
LGL Team
13
metaModeling Tool

• Transformation from UML to MOF XMI
• Generation of specific JMI interfaces to model
  access
• General model browsing capabilities
• Plus plug-in mechanism for better graphic
  description of elements of specific models
• Transformation
• For Source and Target models in the metaModel
  tool Projects repository
• Plug-in to add the transformation logic (Java
  program with transformation rules)

14
metaModeling Tool

• Projects handling

15
COOPN XMI based data

• Source extractor API for COOPN specifications
• coopnSourceExtractor package
• Out of COOPNBuilder environment
• Uses CoKer APIs
• Beta version available
• Integration with metaModel tool in process

16
COOPN XMI based data

• coopnSourceExtractor and metaModel tool used
  together to transform COOPN standard source files
  to COOPN XMI format
• Using CoKer to get the structure of a COOPN
  package
• and COOPN JMI to generate COOPN XMI
• Transformation from COPN XMI back to COOPN
  standard format also required

17
COOPN XMI based data

• Integration in COOPNBuilder IDE

18
COOPN XMI based data

• Process

19
Conclusions - what is done

• Fondue
• is already described as a MOF Model
• Meta-Model exists!
• Interfaces for data access exist
• Export data to XMI format in place
• COOPN
• Also described as a MOF Model
• Meta-Model exists!
• The interfaces for data access are also available
• Export data from COOPN standard archives to XMI
  format
• Transformation
• Some of the rules are already defined

20
Conclusions - work in progress

• Fondue
• Operation Schemas parser and checker
• Protocol model in the Meta-Model
• COOPN
• Validate Meta-Model
• Fully integrate XMI export into COOPNBuilder
• Transformation
• Operation Schemas mapping
• How to cope the information from the Protocol and
  Operation Model

21
The end
Questions... Comments