semantic approach to verifying activity diagrams with a domain specific language
DESCRIPTION
The Unified Modeling Language is widely used as a design tool for modeling a software system via a set of diagrams providing both static and dynamic views of the system. However, the applications of UML have many problems, namely model inconsistent behaviors, model misconception, and mistake interpretation. The notations are used in different definitions that may not conform to the UML specification. This paper thus present a semantic approach to verifying UML activity diagrams with a domain specific language called Action Description Language (ADL). The method would facilitate the in-spection of activity diagrams for the conformance to UML specification, result-ing in better quality of design blueprints that would lead to quality software systems.TRANSCRIPT
Semantic Approach to Verifying
Activity Diagrams with a
Domain Specific Language
Chinnapat Kaewchinporn and Yachai Limpiyakorn
[email protected] [email protected]
Department of Computer Engineering, Chulalongkorn University
Bangkok 10330, Thailand
Research Problem
2
image-source : https://www.google.co.th/search?q=uml
• Unified Modeling Language (UML) is widely used as a design tool.
• However, the applications of UML have many problems:
o Model inconsistent behaviors
o Model misconception
o Mistake interpretation
Research Contribution
• Semantic approach to verifying activity diagrams with a domain specific language called Action Description Language (ADL)
• The inspection will be carried out to examine the conformance to UML Specification version 2.4.1
• This results in better quality of design blueprints that would lead to quality software systems
3
Research Methodology
4
Activity Diagram in XMI Format
Mapping rules
Standardize XMI-formatted Activity Diagram with
Mapping rules
Standardized XMI-formatted Activity Diagram
Generate ADL Script
Transform ADL Script to Activity Diagram Semantic model
Compare Model for Difference and Generate
Result
Process of activity diagram verification
Standardize XMI-formatted Activity
Diagram with mapping rules
5
Activity Diagram in XMI Format
Mapping rules
Standardize XMI-formatted Activity Diagram with
Mapping rules
Standardized XMI-formatted Activity Diagram
Generate ADL Script
Transform ADL Script to Activity Diagram Semantic model
Compare Model for Difference and Generate
Result
Standardize XMI-formatted Activity
Diagram with mapping rules
6
• Initially, the XMI standard converter will be invoked to transform the source activity diagram in XMI format into the defined standard XMI format using mapping rules.
• The mapping rules contained in the individual XMI standard converter is particularly defined for a certain UML CASE Tool.
• Currently, the mapping rules only support ArgoUML, Modelio and Jbuilder.
Standardize XMI-formatted Activity
Diagram with mapping rules
7
Example activity diagram as a source for verification
Standardize XMI-formatted Activity
Diagram with mapping rules
8
Example activity diagram in XMI format
Standardize XMI-formatted Activity
Diagram with mapping rules
9
Mapping rules of Action Rule and ControlFlow Join Rule
Standardize XMI-formatted Activity
Diagram with mapping rules
10
XMI standard document of example activity diagram
Generate ADL Script
11
Activity Diagram in XMI Format
Mapping rules
Standardize XMI-formatted Activity Diagram with
Mapping rules
Standardized XMI-formatted Activity Diagram
Generate ADL Script
Transform ADL Script to Activity Diagram Semantic model
Compare Model for Difference and Generate
Result
Generate ADL Script
12
• The second step is to transform the XMI standard document obtained from the previous step into the ADL script.
• The method is to reverse the approach presented in [1].
• If the resulting ADL script fails during the verification in the next step, it can be accessed and revised.
[1] Narkngam C., Limpiyakorn Y.: Rendering UML Activity Diagrams as a Domain Specific Language
- ADL. In: th International Conference on Software Engineering and Knowledge Engineering,
pp. 724--729, San Francisco Bay (2012)
Action Description Language (ADL)
13
• Action Description Language is a domain specific language used for creating activity diagrams that conforms to UML specification.
• The ADL metamodel consists of Element, Object, Relation, Guard and Action.
• The syntax of ADL is defined for an action, a sequence of actions, and a decision.
• The grammar of iteration is not defined as a loop can be directly derived from object relations.
• The controls can be automatically detected from its individual pattern
Action Description Language (ADL)
14
ADL metamodel
Action Description Language (ADL)
15
Example - application of ADL
Action Description Language (ADL)
16
Example - application of ADL
Generate ADL Script
17
ADL script of example activity diagram
Transform ADL Script to Activity
Diagram Semantic Model
18
Activity Diagram in XMI Format
Mapping rules
Standardize XMI-formatted Activity Diagram with
Mapping rules
Standardized XMI-formatted Activity Diagram
Generate ADL Script
Transform ADL Script to Activity Diagram Semantic model
Compare Model for Difference and Generate
Result
Transform ADL Script to Activity
Diagram Semantic Model
19
• The third step is to generate activity diagram semantic model.
• The step use transformation technique by adapting the approach of generating activity diagrams semantic model from ADL scripts presented in [1].
• The resulting activity diagram semantic model consists of nodes, object evidence, guard condition objects, and relationship.
[1] Narkngam C., Limpiyakorn Y.: Rendering UML Activity Diagrams as a Domain Specific Language
- ADL. In: th International Conference on Software Engineering and Knowledge Engineering,
pp. 724--729, San Francisco Bay (2012)
Compare Model for Difference and
Generate result
20
Activity Diagram in XMI Format
Mapping rules
Standardize XMI-formatted Activity Diagram with
Mapping rules
Standardized XMI-formatted Activity Diagram
Generate ADL Script
Transform ADL Script to Activity Diagram Semantic model
Compare Model for Difference and Generate
Result
Compare Model for Difference and
Generate result
21
• The final step is to verify the standardized XMI-formatted activity diagram against the activity diagram semantic model.
• The output of inspection result and error report will be generated.
Compare Model for Difference and
Generate result
22
Inspection result and error report of example activity diagram
Future Plan
23
UML Diagram in XMI Format
Standardized XMI-formatted UML Diagram
ADL ScriptInspection result and
error report
“Expand from Activity diagram to UML diagram”
Future Plan
24
UML Diagram in XMI Format
Standardized XMI-formatted UML Diagram
ADL ScriptInspection result and
error report
“Test case for reduce useless processes”
Test case for reduce useless
processes
Future Plan
25
UML Diagram in XMI Format
Standardized XMI-formatted UML Diagram
ADL ScriptInspection result and
error report
“Automatic Document Generation”
Test case for reduce useless
processes
Automatic Document Generation
Future Plan
26
UML Diagram in XMI Format
Standardized XMI-formatted UML Diagram
ADL ScriptInspection result and
error report
“Integrate to Eclipse Modeling Framework (EMF)”
Test case for reduce useless
processes
Automatic Document Generation
UML Diagram in EMF XML Format
EMF Model
Standardized UML
UML Diagram in Java Format
Q&A
27