From UML to alloy and back again

ACM International Conference Proceeding Series

Volumn 413, Issue , 2009, Pages

  Shah, Seyyed M A ^a   Anastasakis, Kyriakos ^a   Bordbar, Behzad ^a  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TOOLS; AUTOMATED ANALYSIS; CURRENT TECHNIQUES; DESIGN AND ANALYSIS; DESIGN DOMAINS; MODEL TRANSFORMATION; OBJECT DIAGRAMS; PROTOTYPE IMPLEMENTATIONS; UML CLASS DIAGRAMS; UML MODEL;

ALLOYS; DESIGN; FORMAL METHODS; LINGUISTICS; QUERY LANGUAGES; SOFTWARE PROTOTYPING;

BRIDGES;

EID: 74949140405     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1656485.1656489     Document Type: Conference Paper

References (26)

1. J.-R. Abrial. The B-book: assigning programs to meanings. Cambridge University Press, New York, NY, USA, 1996. ISBN 0-521-49619-5.
2. Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray. UML2Alloy: A Challenging Model Transformation. In G. Engels, B. Opdyke, D.C. Schmidt, and F. Weil, editors, ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, volume 4735 of LNCS, pages 436-450, Nashville, USA, 2007. Springer.
3. Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, and Indrakshi Ray. On Challenges of Model Transformation from UML to Alloy. Software and Systems Modeling, Special Issue on MoDELS 2007, 2009. Accepted for publication subject to minor revisions.
4. Behzad Bordbar and Kyriakos Anastasakis. UML2Alloy: A tool for lightweight modelling of Discrete Event Systems. In Nuno Guimarãses and Pedro Isaías, editors, IADIS International Conference in Applied Computing 2005, volume 1, pages 209-216, Algarve, Portugal, February 2005. IADIS Press. ISBN 972-99353-6-X.
5. Greg Dennis, Robert Seater, Derek Rayside, and Daniel Jackson. Automating commutativity analysis at the design level. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pages 165-174. ACM Press, 2004. ISBN 1-58113-820-2.
6. Andy Evans, Robert France, and Emanuel Grant. Towards Formal Reasoning with UML Models. In Proceedings of the OOPSLA'99 Workshop on Behavioral Semantics, 1999.
7. Geri Georg, Indrakshi Ray, Kyriakos Anastasakis, Behzad Bordbar, Manachai Toahchoodee, and Siv Hilde Houmb. An Aspect-Oriented Methodology for Developing Secure Applications. Information and Software Technology. Special Issue on Model Based Development for Secure Information Systems. Accepted for publication.
8. Daniel Jackson. Software Abstractions: Logic, Language, and Analysis. The MIT Press, London, England, 2006.
9. Daniel Jackson and Kevin Sullivan. COM revisited:tool-assisted modeling of an architectural framework. In 8th ACM SIGSOFT Symposium on the Foundations of Software Engineering ?FSE), San Diego, CA, 2000.
10. Sarfraz Khurshid and Daniel Jackson. Exploring the design of an intentional naming scheme with an automatic constraint analyzer. In ASE '00: Proceedings of the 15th IEEE international conference on Automated software engineering, page 13, Washington, DC, USA, 2000. IEEE Computer Society. ISBN 0-7695-0710-7.
11. Soon-Kyeong Kim. A Metamodel-based Approach to Integrate Object-Oriented Graphical and Formal Specification Techniques. PhD thesis, University of Queensland, Brisbane, Australia, 2002.
12. I. Kurtev, J. Bézivin, and M. Aksit. Technological Spaces: an Initial Appraisal. CoopIS, DOA, 2002, 2002.
13. OMG. enterprise distributed object computing (edoc), . URL http://www.omg.org/technology/documents/formal/edoc.htm.
14. OMG. Metaobject facility (mof), . URL http://www.omg.org/mof/.
15. OMG. Meta Object Facility (MOF) 2.0 Core Specification. OMG, 2004. URL www.omg.org.
16. OMG. MOF QVT Final Adopted Specification. Object Modeling Group, 2007.
17. Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, and Mana Taghdiri. Debugging overconstrained declarative models using unsatisfiable cores. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering, Montreal, Canada, pages 94-105. IEEE Computer Society, 2003.
18. Colin Snook and Michael Butler. Uml-b: Formal modelling and design aided by uml. ACM Transactions on Software Engineering and Methodology, 15 (1):92-122, January 2006.
19. Perdita Stevens. Bidirectional model transformations in qvt: Semantic issues and open questions. In MoDELS, pages 1-15, 2007.
20. France Telecom. Smartqvt: An open source model transformation tool implementing the mof 2.0 qvt-operational language. URL http://smartqvt.elibel. tm.fr/.
21. OMG UML. 2.0 superstructure final adopted specification. OMG Document reference ptc/03-08, 2, 2003.
22. D. Varro. Model transformation by example. Lecture Notes in Computer Science, 4199, 2006.
23. D. Varro and A. Pataricza. Generic and meta-transformations for model transformation engineering. Lecture Notes in Computer Science, pages 290-304, 2004.
24. D. Varró and A. Pataricza. VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Software and Systems Modeling, 2 (3):187-210, 2003.
25. Manuel Wimmer, Michael Strommer, Horst Kargl, and Gerhard Kramler. Towards model transformation generation by-example. In HICSS '07: Proceedings of the 40th Annual Hawaii International Conference on System Sciences, Washington, DC, USA, 2007. IEEE Computer Society.
26. Jim Woodcock and Jim Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, Upper Saddle River, NJ, USA, 1996.