Enhancing UML Activity Diagrams using OCL

被引:0
作者
Sunitha, E., V [1 ]
Samuel, Philip [2 ]
机构
[1] Cochin Univ Sci & Technol, Dept Comp Sci, Cochin 682022, Kerala, India
[2] Cochin Univ Sci & Technol, Dept Informat Technol, Cochin 682022, Kerala, India
来源
2013 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (ICCIC) | 2013年
关键词
Code generation; UML; XML; MDA; OCL; activity diagram;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Business process automation is very much important for the customer satisfaction and for good productivity. UML Activity diagram is a behavioral diagram which is suitable to model business process. The activity diagram can be enhanced using Object Constraint Language (OCL). This elaboration will help us to include more implementation specific details in the activity diagram. In this paper we present different possibilities to include OCL in the activity diagram and their metamodels. The paper proposes an algorithm to convert the OCL statements to a target code. The OCL enhanced activity diagram can be converted to any target language like Java, C++ etc. In this paper we are converting the system design, represented in activity diagram, to Java code. We also present a prototype of the code generator named ActivityOCLKode and we evaluate the prototype with parameters like complexity, percentage of code generated.
引用
收藏
页码:1 / 6
页数:6
相关论文
共 50 条
[21]   OCL as the query language for UML model execution [J].
Habela, Piotr ;
Kaczmarski, Krzysztof ;
Stencel, Krzysztof ;
Subieta, Kazimierz .
COMPUTATIONAL SCIENCE - ICCS 2008, PT 3, 2008, 5103 :311-320
[22]   Temporal Interval Modeling for UML Activity Diagrams [J].
Olszewska, Joanna Isabelle .
KEOD: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 2, 2016, :199-203
[23]   Scrutinizing UML Activity Diagrams [J].
Al-Fedaghi, Sabah .
INFORMATION SYSTEMS DEVELOPMENT: TOWARDS A SERVICE PROVISION SOCIETY, 2009, :59-67
[24]   HOL-OCL: A formal proof environment for UML/OCL [J].
Brucker, Achim D. ;
Wolff, Burkhart .
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 4961 :97-+
[25]   A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants [J].
Wu, Hao .
JOURNAL OF OBJECT TECHNOLOGY, 2022, 21 (03)
[26]   Incremental Verification of UML/OCL Models [J].
Clariso, Robert ;
Gonzalez, Carlos A. ;
Cabot, Jordi .
JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (03) :1-16
[27]   UML/OCL and refinement [J].
Bhiri, Mohamed Tahar ;
Mourad, Kmimech ;
Graiet, Mohamed ;
Aniorte, Phillipe .
18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, :149-158
[28]   Automatic translation UML activity diagrams to Petri net [J].
Vladimiriovich, Markov Alexandr ;
Alexandrovich, Voevoda Alexandr ;
Olegovich, Romannikov Dmitry .
2015 INTERNATIONAL SIBERIAN CONFERENCE ON CONTROL AND COMMUNICATIONS (SIBCON), 2015,
[29]   Validation of UML static diagrams using B [J].
Truong, NT ;
Souquières, J .
SERP '05: PROCEEDINGS OF THE 2005 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2005, :915-920
[30]   USE:: A UML-based specification environment for validating UML and OCL [J].
Gogolla, Martin ;
Buettner, Fabian ;
Richters, Mark .
SCIENCE OF COMPUTER PROGRAMMING, 2007, 69 (1-3) :27-34