Change management in multi-viewpoint systems using ASP

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2008, Pages 433-440

  Eramo, Romina ^a   Pierantonio, Alfonso ^a   Romero, José Raúl ^b   Vallecillo, Antonio ^c  

^a UNIVERSITY OF L'AQUILA   (Italy)

^b UNIVERSITY OF CÓRDOBA   (Spain)

^c UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS CHANGES; CHANGE MANAGEMENT; COMPLEX SOFTWARE SYSTEMS; CONSISTENCY PROBLEMS; DECLARATIVE LOGIC; SOFTWARE SYSTEMS; SYSTEM SPECIFICATION;

COMPUTER SCIENCE; SPECIFICATIONS; TECHNICAL PRESENTATIONS;

COMPUTER SOFTWARE;

EID: 70349334608     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOCW.2008.22     Document Type: Conference Paper

References (27)

1. S. Abiteboul and V. Vianu. Computing with first-order logic. Jour. of Computer and System Sciences, 50(2):309-335, 1995.
2. J. B́ezivin. On the unification power of models. Software and Systems Modeling (SoSyM), 4(2):171-188, 2005.
3. A. Bohannon, B. C. Pierce, and J. A. Vaughan. Relational lenses: a language for updatable views. In Proc. of PODS'2006, pages 338-347. ACM, 2006.
4. P. Bottoni, F. Parisi-Presicce, S. Pulcini, and G. Taentzer. Maintaining coherence between models with distributedrules: from theory to Eclipse. In Proc. of GT-VMT'06, ENTCS, 2006.
5. A. Cicchetti, D. Di Ruscio, and A. Pierantonio. A Metamodel Independent Approach to Difference Representation. Journal of Object Technology, 6(9):165-185, Oct. 2007.
6. A. Cicchetti, D. D. Ruscio, and R. Eramo. Towards propagation of changes by model approximations. 10th IEEE Int. Enterprise Distributed Object Computing Conf. Workshops (EDOCW'06), 0:24, 2006.
7. A. Finkelstein, D. M. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. In Proc. of ESEC'93, pages 84-99, London, UK, 1993. Springer-Verlag.
8. J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, and A. Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Trans. Program. Lang. Syst., 29(3), 2007.
9. M. Garcia. Bidirectional synchronization of multiple views of software models. In Proc. of DSML'08, volume 324 of CEUR Workshop Proceedings, pages 7-19. CEUR-WS.org, 2008.
10. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K. Bowen, editors, Proceedings of the Fifth Int. Conf. on Logic Programming, pages 1070-1080, Cambridge, Massachusetts, 1988. The MIT Press.
11. J. Grundy, J. Hosking, and W. B. Mugridge. Inconsistency management for multiple-view software development environments. IEEE Trans. Softw. Eng., 24(11):960-981, 1998.
12. IEEE. Recommended Practice for Architectural Description of Software-Intensive Systems. New York, USA, 2000. IEEE Std. 1471.
13. 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.
14. ISO/IEC. Information technology - Open distributed processing - Use of UML for ODP system specifications. ISO and ITU-T, Geneva, Switzerland, 2008. ISO/IEC FDIS 19793, ITU-T X.906.
15. I. Ivkovic and K. Kontogiannis. Tracing evolution changes of software artifacts through model synchronization. In Proc. of ICSM'04, pages 252-261, 2004.
16. S. Johann and A. Egyed. Instant and incremental transformation of models. In Proc. of ASE'04, pages 362-365. IEEE Computer Society, 2004.
17. R. A. Kowalski. Predicate Logic as Programming Language. In IFIP Congress, pages 569-574, 1974.
18. P. Linington. Black Cats and Coloured Birds What do Viewpoint Correspondences Do? In Proc. of the 4th International Workshop on ODP and Enterprise Computing (WODPEC 2007), Maryland, US, Oct. 2007. IEEE Digital Library.
19. V. W. Marek and M. Truszczynski. Stable models and an alternative logic programming paradigm, September 1998.
20. Mens, V. D. Straeten, and D'Hondt. Detecting and resolving model inconsistencies using transformation dependency analysis. In Proc. of MoDELS 2006, volume 4199 of Lecture Notes in Computer Science, pages 200-214. Springer, 2006.
21. J. Rivera and A. Vallecillo. Representing and operating with model differences. In Proc. of TOOLS Europe 2008, volume 11 of Lecture Notes in Business Information Processing, pages 141-160, Zurich, Switzerland, 2008. Springerverlag.
22. J. R. Romero, N. Moreno, and A. Vallecillo. Modeling ODP Correspondences using QVT. In Proc. of MDEIS'06, pages 15-26, 2006.
23. B. Selic. The Pragmatics of Model-driven Development. IEEE Software, 20(5):19-25, 2003.
24. P. Stevens. Bidirectional model transformations in QVT: Semantic issues and open questions. In Proc. of MoDELS'07, volume 4735 of Lecture Notes in Computer Science, pages 1-15. Springer, 2007.
25. University of Helsinki. SMODELS solver Website. http://www.tcs.hut.fi/ Software/smodels/.
26. Y. Xiong, D. Liu, Z. Hu, H. Zhao, M. Takeichi, and H. Mei. Towards automatic model synchronization from model transformations. In Proc. of ASE'07, pages 164-173, New York, NY, USA, 2007. ACM.
27. N. Yahiaoui, B. Traverson, and N. Levy. Adaptation management in multi-view systems. In Proc. of WCAT'05, pages 99-105, Glasgow, Scotland, UK, July 2005.