Towards instant automatic model refinement based on OCL

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2007, Pages 167-174

  Song, Hui ^a   Sun, Yanchun ^a   Zhou, Li ^a   Huang, Gang ^a  

^a Peking University   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL DESIGN; DESIGN; INFORMATION THEORY; REFINING; SOFTWARE ENGINEERING; TECHNOLOGY;

ASIA PACIFIC; AUTOMATIC MODELING; AUTOMATIC REFINEMENT; COMPLEX TASKS; GENERAL APPROACH; GUARDED COMMANDS; META MODELLING; MODEL REFINEMENT; MODELING TOOLS; REFINEMENT PROCESS;

TOOLS;

EID: 44949180796     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2007.96     Document Type: Conference Paper

References (18)

1. D. H. Akehurst and B. Bordbar, "On querying UML data models with OCL," Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pp. 91-103, 2001.
2. L. Baresi, R. Heckel, S. Thöne, and D. Varró, "Style-based modeling and refinement of service-oriented architectures," Software and Systems Modeling, vol. 5, pp. 187-207, 2006.
3. E. W. Dijkstra, A Discipline of Programming, Prentice: Prentice-Hall, 1976.
4. A. Egyed, "Fixing Inconsistencies in UML design models," International Conference on Software Engineering, 2007.
5. A. Egyed, "Instant consistency checking for the UML," International Conference on Software Engineering, pp. 381-390, 2006.
6. Eclipse Foundation, "Eclipse Modeling Framework," http://www.eclipse.org/modeling/emf/.
7. R. France and B. Rumpe, "Model-driven development of complex software: a research roadmap," International Conference on Software Engineering 2007 Future of Software Engineering, pp. 37-54, 2007.
8. ATLAS Group, "ATLAS Transformation Language (ATL)," http://www.eclipse.org/m.2m/atl/.
9. A. Hunter and B. Nuseibeh, "Managing inconsistent specifications: reasoning, analysis, and action," ACM Transactions on Software Engineering and Methodology (TOSEM), vol. 7, pp. 335-367, 1998.
10. H. Mei, G. Huang, H. Zhao, and W. Jiao, "A software architecture centric engineering approach for Internetware," Science in China Series F: Information Sciences, vol. 49, pp. 702-730, 2006.
11. M. Moriconi, X. Qian, and R. A. Riemenschneider, "Correct architecture refinement," Software Engineering, IEEE Transactions on, vol. 21, pp. 356-372, 1995.
12. C. Nentwich, W. Emmerich, and A. Finkelstein, "Consistency management with repair actions," Proceedings of the 25th International Conference on Software Engineering, 2003.
13. OMG, "Meta-Object Facility," in http://www.omg.org.
14. OMG, "The OCL Specification," in http://www.omg.org
15. OMG, "UML Specification 2.0 Supertructure," http://www.omg.org.
16. B. Selic, "The pragmatics of model-driven development," Software, IEEE, vol. 20, pp. 19-25, 2003.
17. S. Sendall and W. Kozaczynski, "Model transformation: the heart and soul of model-driven software development," Software, IEEE, vol. 20, pp. 42-45, 2003.
18. C. Xu, S. C. Cheung, and W. K. Chan, "Incremental consistency checking for pervasive context," International Conference on Software Engineering, pp. 292-301, 2006.