Realizing correspondences in multi-viewpoint specifications

Proceedings - 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009

Volumn , Issue , 2009, Pages 163-172

  Romero, José Raúl ^a   Jaén, Juan Ignacio ^b   Vallecillo, Antonio ^b  

^a UNIVERSITY OF CÓRDOBA   (Spain)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL FRAMEWORKS; COMPLEX SOFTWARE SYSTEMS; GENERIC MODELS; MODEL TRANSFORMATION; PROOF OF CONCEPT;

COMPUTER SCIENCE;

SPECIFICATIONS;

EID: 71249101542     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2009.23     Document Type: Conference Paper

References (42)

1. A. Abouzahra, J. Bézivin, M. D. D. Fabro, and F. Jouault. A Practical Approach to Bridging Domain Specific Languages with UML profiles. In Proc. of the BP-MDSD Workshop at OOPSLA'05, 2005.
2. D. Akehurst, S. Kent, and O. Patrascoiu. A relational approach to defining and implementing transformations between metamodels. Software and Systems Modeling (SoSyM), 2(4):215-239, 2003.
3. D. H. Akehurst. Proposal for a model driven approach to creating a tool to support the RM-ODP. In Proc. of WOD-PEC 2004, pages 65-68, Monterey, California, Sept. 2004.
4. H. Basson. A change propagation model and platform for multi-database applications. In Proc. of ICSM'01, 2001.
5. J. Bézivin. On the unification power of models. Software and Systems Modeling (SoSyM), 4(2):171-188, 2005.
6. E. A. Boiten, H. Bowman, J. Derrick, P. Linington, and M. W. Steen. Viewpoint consistency in ODP. Computer Networks, 34(3):503-537, August 2000.
7. R. Dijkman. Consistency in Multi-Viewpoint Architectural Design. PhD thesis, University of Twente, 2006.
8. S. Easterbrook and B. Nuseibeh. Using viewpoints for inconsistency management. Software Engineering Journal, pages 31-43, Jan. 1996.
9. A. Egyed. Instant consistency checking for the UML. In Proc. of ICSE '06, pages 381-390, 2006.
10. A. Egyed. Fixing inconsistencies in UML design models. In Proc. of ICSE'07, pages 292-301, 2007.
11. R. Eramo, A. Pierantonio, J. R. Romero, and A. Vallecillo. Change management in multi-viewpoint systems using ASP. In Proc. of WODPEC 2008, Munich, Germany, Sept. 2008.
12. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: a framework for integrating multiple perspectives in systems development. SEKE journal, 2(1):31-58, 1992.
13. I. García-Magariño, J. J. Gómez-Sanz, and R. Fuentes-Fernández. INGENIAS development assisted with model transformation by-example: A practical case. In Proc. of PAAMS'09, 2009.
14. M. Große-Rhode. Semantic Integration of Heterogeneous Software Specifications. Springer-Verlag, Berlin, 2004.
15. J. H. Hausmann, R. Heckel, and S. Sauer. Extended model relations with graphical consistency conditions. In Blekinge Institute of Technology, pages 61-74, 2002.
16. IEEE Std. 1471. Recommended Practice for Architectural Description of Software-Intensive Systems, 2000.
17. IKV++ Technologies AG. medini QVT Project. http: //projects.ikv.de/qvt/.
18. ISO/IEC. RM-ODP. Reference Model for Open Distributed Processing. ISO and ITU-T, Geneva, Switzerland, 1997. ISO/IEC 10746, ITU-T Rec. X.901-X.904.
19. ISO/IEC. Information technology - Open distributed processing - Use of UML for ODP system specifications. ISO and ITU-T, 2008. ISO/IEC IS 19793, ITU-T X.906.
20. ISO/IEC 15414, ITU-T Rec. X.911. Information technology - Open distributed processing - Reference model - Enterprise language. ISO/IEC and ITU-T, 2006.
21. ISO/IEC 42010. Systems and software engineering - Architectural description, 2008.
22. M. Kessentini, H. Sahraoui, and M. Boukadoum. Model transformation as an optimization problem. In Proc. of MoDELS 2008, number 5301 in LNCS, pages 159-173. Springer, 2008.
23. P. Kruchten. Architectural blueprints - The "4+1" view model of software architecture. IEEE Software, 12(6):42-50, Nov. 1995.
24. M. Lankhorst et al. Enterprise Architecture at Work. Springer, 2005.
25. P. Linington. Black Cats and Coloured Birds What do Viewpoint Correspondences Do? In Proc. of WODPEC 2007, Maryland, USA, Oct. 2007.
26. OMG. Object Constraint Language (OCL) 2.0. OMG,May 2006. ptc/06-05-01.
27. OMG. Unified Modeling Language 2.1.1 Superstructure Specification. OMG, Feb. 2007. formal/07-02-05.
28. OMG. Meta Object Facility Query / View / Transformation (MOF QVT) Specification 1.0, Apr. 2008. formal/08-04-03.
29. OMG. Unified Profile for the DoDAF and the MoDAF Specification, 2008. http://www.updm.com.
30. J. R. Romero and J. I. Jaen. MagicDraw plugin for RM-ODP and UML4ODP. http://www.jrromero.net/ tools/mdplugin, 2009.
31. J. R. Romero, N. Moreno, and A. Vallecillo. Modeling ODP Correspondences using QVT. In Proc. of MDEIS'06, pages 15-26, 2006.
32. J. R. Romero and A. Vallecillo. Well-formed rules for viewpoint correspondences specification. In Proc. of WODPEC 2008, Munich, Germany, Sept. 2008.
33. D. Ruiz-Gonzalez, N. Koch, C. Kroiss, J.-R. Romero, and A. Vallecillo. Viewpoint synchronization of UWE models. In Proc. of MDWE 2009, June 2009.
34. B. Selic. The Pragmatics of Model-driven Development. IEEE Software, 20(5):19-25, 2003.
35. M. Siikarla, M. Laitkorpi, P. Selonen, and T. Systä. Transformations have to be developed ReST assured. In Proc. of ICMT'08, pages 1-15, 2008.
36. P. Stevens. Bidirectional model transformations in QVT: Semantic issues and open questions. In Proc. of MoDELS 2007, number 4735 in LNCS, pages 1-15. Springer, 2007.
37. R. V. D. Straeten, J. Simmonds, and T. Mens. Detecting inconsistencies between UML models using description logic. In Proc. of Description Logics (DL 2003), 2003.
38. UK MoD. Architecture Framework (MODAF) M3 - MODAF Meta-Model, May 2007.
39. D. Varró. Model transformation by example. In Proc. of MoDELS 2006, number 4199 in LNCS, pages 410-424. Springer, 2006.
40. D. Varró and Z. Balogh. Automating model transformation by example using inductive logic programming. In Proc. of SAC'07, pages 978-984, 2007.
41. M. Wimmer, M. Strommer, H. Kargl, and G. Kramler. Towards model transformation generation by-example. In Proc. of HICSS'07, 2007.
42. J. A. Zachman. The Zachman Framework: A Primer for Enterprise Engineering and Manufacturing. Zachman International, La Cañada (CA), USA, 1997. http://www.zifa.com.