Model-driven architecture in practice: A software production environment based on conceptual modeling

Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling

Volumn , Issue , 2007, Pages 1-302

  Pastor, Oscar ^a   Molina, Juan Carlos ^b  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b CARE Technologies SA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84892201251     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-540-71868-0     Document Type: Book

References (76)

1. ADT (2006)Application Development Trends (http://www.adtmag.com/poll.asp? pollId=134)
2. Astesiano E,Reggio G (2004) Tight structuring for precise UML-based requirement specifications, radical innovations of software and systems engineering in the future. Proc 9th IntWorksh RISSEF 2002. Springer, BerlinHeidelberg NewYork, Lecture Notes in Computer Science vol 2941, pp. 16-34
3. Bjorner D, Hoare CAR, Langmaack H (eds) (1990) Vdm '90: Vdm and Z-formal methods in software development. Springer, Berlin Heidelberg New York, Lecture Notes in Computer Science vol 428
4. Booch G (1994) OO Analysis and design with applications.Addison-Wesley, Reading, MS
5. BoochG,RumbaughJ, Jacobson I (1997)UML,version 1.Rational Software,Rational Software Corporation, Santa Clara, CA,USA
6. Brown A (2004) Model driven architecture: Principles and practice. In: Journal on Software and Systems Modelling. Springer, Berlin Heidelberg. Volume 3, Number 4,December, 2004, pp 314-327
7. CARE (2006) OlivaNova. The Programming Machine. CARE Technologies (www.care-t.com)
8. Ceri S, Fraternali P (1996) Designing database applications with objects and rules (the IDEA methodology).Addison-Wesley, Reading,MS
9. Ceri S, Fraternali P, Matera M (2001) Conceptual modeling of data-intensive web applications. IEEE Internet Computing 6(4):20-30
10. Chen PP (1976) Entity-relationship model: towards a unified view of data. ACM Trans Database Systems 1(1):9-36
11. Clyde SW, Embley DW,Woodfield SN (1992) Tunable formalismin object-oriented system analysis: meeting the needs of both theoreticians and practitioners. In: Paepke A. SIGPLAN Notices 27(10),Vancouver, BritishColumbia, Canada Proc OOPSLA'92,Vancouver, pp 452-465
12. Coad P, Yourdon E (1990) Object-oriented analysis. Yourdon Press, Upper Saddle River,NJ
13. Coleman D, Arnold P, Bodoff S, Dollin S, Gilchrist H, Hayes F, Jeremes P (1994) Object-oriented development. The fusion method. Prentice-Hall, Englewood Cliffs,NJ
14. CREWS (1996) CREWS (Cooperative Requirements Engineering with Scenarios) Tech rep,ESPRIT Project Programme 21.903,CRI,University Paris 1 - Sorbonne
15. DeMarco T (1979) Structured analysis and systemspecification,Prentice- Hall PTR, Upper Saddle River,NJ
16. Douglas P,Alliger G,Goldberg R (1996) Client-server and object-oriented training. Computer 9(6):80-84
17. Dubois E (1995) The Albert II language: on the design and the use of a formal specification language for requirements analysis.PhDThesis,Computer Science Department,University of Namur,Namur
18. Esdi 1993 ESDI S.A.OBLOG CASE V1.0.User's Guide. ESDI, Lisbon
19. Estrada H, Martínez A, Pastor O (2003) Goal-based business modeling oriented towards late requirements generation. In: Il-Yeol Song, Liddle S,TokWang Ling, Scheuermann P (eds) Conceptual modeling - ER 2003. Proc 22nd Int Conf Conceptual Modeling, October 2003, Chicago, IL. Springer, Berlin Heidelberg New York, LNCS 2813, pp 277-291
20. Falkenberg ED, HesseW, Lindgreen P, Nilsson BE, Han Oei JL, Rolland C, Stamper RK,VanAssche FJM,Verrijn-StuartAA,VossK (1998)A framework of information system concepts: the FRISCO Report. IFIP
21. France RB, Ghosh S, Dinh-Trong T, Solberg A (2006) Model-driven development using UML 2.0: promises and pitfalls. IEEE Computer 39(2), Los Alamitos,CA February 2006, pp 59-66
22. Gane C,SarsonT(1979) Structuredsystems analysis: tools andtechniques.Prentice-Hall, Englewood Cliffs,NJ, Professional Technical Reference
23. Gery E, Harel D, Palachi E (2002) Rhapsody: a complete life-cycle model-based development system. IFM2002,Turku,Finland,May 15-18,2002.Springer, Berlin Heidelberg, Lecture Notes in Computer Science 2335, pp 1-10
24. Griethuysen J (ed) (1982) Concepts and terminology for the conceptual schema and the information base.ANSI,New York, publ no ISO/TC97/SC5-N695
25. Harel D (1984) Dynamic logic. In: Gabbay DM, Guenthner F (eds) Handbook of Philosophical Logic II. Reidel,Dordrecht, pp 497-694
26. Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Computer Programming 8(3):231-274
27. Harel D, Gery E (1997) Executable object modeling with statecharts. Computer 30(7):31-42
28. Harel D, Naamad A (1996) The STATEMATE semantics of statecharts. ACM Trans Software Eng Methodol (TOSEM) 5(4):293-333
29. Harel D, Pnueli A, Schmidt J, Sherman R (1987) On the formal semantics of statecharts. In: Proc Symp Logic in Computer Science.Computer Science Press,New York, pp 54-64
30. Hartmann T, Saake G, Jungclaus R, Hartel P, Kusch J (1994) Revised version of the modeling language Troll (Troll version 2.0). Technische Universität Braunschweig Informatik-Berichte 94-03
31. Hatley DJ, Pirbhai IA (1987) Strategies for real-time system specification. Dorset House,New York
32. Hoare CAR (1985) Communicating sequential processes. Prentice-Hall, Englewood Cliffs,NJ, International Series in Computer Science
33. Insfran E (2003)A requirements engineering approach for object-oriented conceptualmodeling. PhD Thesis, DSIC, Universidad Politécnica de Valencia,Valencia
34. Jackson RB, Embley DW,Woodfield SN (1994)Automated support for the development of formal object-oriented requirements specification. In: Proc CAISE'94, Utrecht, 1994. Springer, BerlinHeidelberg New York, LNCS 811, pp 135-148
35. Jacobson I,ChristersonM, Jonsson P,OvergaardG (1992)OOSoftware engineering. A use case driven approach.Addison-Wesley, Reading,MS
36. Jungclaus R, Hartmann T, Saake G, Sernadas C (1991) Introduction to Troll. A language for object oriented specification of information system. Proc 2nd Int IS-COREWorksh, 1991, Imperial College, London
37. Kabira (2006) http://www.kabira.com
38. Kennedy Carter (2006) http://www.kc.com
39. Lauesen S (1998) Real-life object-oriented systems. IEEE Software, Los Alamitos, CA,USA
40. Letelier P, Sánchez P, Ramos I, Pastor O (1998) OASIS 3.0.Un enfoque formal para el modelado conceptual orientado a objetos. Servicio de Publicaciones Universidad Politécnica de Valencia,Valencia, SPUPV 98.4011
41. Liddle SW, Embley DW, Woodfield SN (1995) Unifying modeling and programming through an active, object-oriented model-equivalent programming language. In: Proc 14th IntConfObject-Oriented andEntity-RelationshipModeling OOER'95, 13-15 December 1995, Gold Coast,Australia. Springer,Berlin Heidelberg New York, LNCS 1021, pp 55-64
42. Liu S, Offutt AJ, Ho-Stuart C, Sun Y, Ohba M (1998) SOFL: a formal engineering methodology for industrial applications. IEEE Trans Software Eng 24(1):24-45
43. Martínez A, Pastor O, Estrada H (2004) A pattern language to join early and late requirements. In:AnaisWER04WorkshEngenharia de Requisitos, 9-10Dezembro 2004, Tandil, Argentina, pp 51-64 (accessible fromWER Papers)
44. MDA (2006)Model Driven Arquitecture (http://www.omg.org/mda)
45. Mentor (2006) http://www.acceleratedtechnology.com/embedded/nuc modeling.html
46. Messeguer J (1990)A logical theory of concurrent objects. In: Proc OOPSLA/ECOOP'90,ACM Press,New York,NY,USA, pp 101-115
47. Miller J,Mujerki J (eds) (2003)MDA Guide version 1.0.1. 12th June 2003, http://www.omg.org/docs/omg/03-06-01.pdf
48. Milner R (1980) A calculus of communicating systems. Springer, Berlin Heidelberg New York
49. Morgan T (2002) Business rules and information systems - aligning IT with business goals.Addison-Wesley, Reading,MS
50. OlivaNova (2006) Care Technologies,Denia, Spain (http://www.care-t.com)
51. OlivéA (2004) On the role of conceptual schemas in information systems development. Ada-Europe 2004:16-34
52. Olivé A (2005) Conceptual schema-centric development: a grand challenge for information systems research. In: Proc Advanced Information Systems Engineering 17th Int Conf, CAISE 2005, 13-17 June 2005, Porto. Springer, Berlin Heidelberg New York, Lecture Notes in Computer Science vol 3520, pp 1-15
53. OMG (ObjectManagement Group) http://www.omg.org
54. Parnas DL (1972) A technique for software module specification with examples. CACM 15(5):330-336
55. Pastor O (1992) Diseño y desarrollo de un entorno de producción automática de software basado en el modelo orientado a objetos.PhD Thesis, DSIC,Universidad Politécnica de Valencia,Valencia
56. Pastor O, Molina JC (2006)Well-formed formulas for the OO-Method. Care Technologies Tech Rep December 2005 (www.care-t.com)
57. Pastor O, Ramos, I (1995) OASIS 2.1.1: a class-definition language to model information systems using an object-oriented approach. Servicio de Publicaciones Universidad Politécnica de Valencia, Valencia, SPUPV 95-788, Depósito legal V-1285-1995
58. Pastor O, Hayes F, Bear S (1992) OASIS: an OO specification language. In: Proc CAISE-92 Conf, Springer, Berlin Heidelberg New York, LNCS 593, pp 348-363
59. Pastor O, Fons J, Pelechano V, Abrahão SM (2006) Conceptual modelling of web applications: the OOWS approach. In: Mendes E,Mosley N (eds)Web engineering: theory and practice of metrics and measurement for web development. Springer, Berlin Heidelberg New York, pp 277-302
60. pUML1 2004 The precise UML Group http://www.cs.york.ac.uk/puml/
61. Raistrick C, Francis P,Wright J, Carter C,Wilkie I (2004)Model driven architecture with executable UML. Cambridge University Press, Cambridge
62. Rational (2006) http://www.rational.com/modelingcd/
63. Rossi G, Schwabe D (2001) Object-oriented web applications modeling. In: Informationmodeling in the newmillennium. IGI Publishing, Hershley, PA, USA, pp 463-484
64. Rumbaugh J, Blaha M, Permerlani W, Eddy F, Lorensen W (1991) Object oriented modeling and design. Prentice-Hall, Englewood Cliffs,NJ
65. Selic B, Gullekson G,Ward PT (1994) Real-time object-oriented modeling.Wiley, New York
66. Sernadas A, Sernadas C, Ehrich HD (1987) OO Specification of databases: an algebraic approach. In: StockerPM,KentW(eds) ProcVLDB87.Morgan Kauffmann, San Francisco, CA, USA, pp 107-116
67. Spivey M (1992) The Z-notation: a Reference Manual. Prentice-Hall, Englewood Cliffs,NJ
68. UML (2004) The Object Management Group, Unified Modeling Language: Superstructure, version 2.0.OMG doc formal/05-07-04
69. Ward PT,Mellor SJ (1991) Structured development for real-time systems. Prentice-Hall, Englewood Cliffs,NJ, Professional Technical Reference
70. Wegner P,Zdonik SB (1988) Inheritance as an incrementalmodificationmechanism orwhat like is and isn't like. In: Proc ECOOP'88 European Conf Object-Oriented Programming,Oslo, 15-17 August, 1988. Springer, Berlin Heidelberg New York, Lecture Notes in Computer Science vol 322, pp 55-77
71. Wieringa RJ (1990) Algebraic foundations for dynamic conceptual models. PhD Thesis, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam
72. Wieringa RJ (1991) Steps towards a method for the formal modeling of dynamic objects.Data Knowledge Eng 6:509-540
73. Wieringa RJ, Feenstra RB 1994 Information systems: correctness and reusability Selected Papers IS-COREWorksh Esprit IS-COREWork Group, Vrije Universiteit, Amsterdam
74. Wieringa RJ, Jungclaus R, Hartel P, Hartmann T, Saake G (1993) OMTROLL object modeling in TROLL. In: Lipeck UW, Koschorrek G (eds) Abstr Vol Int Worksh Information Systems - Correctness and Reusability, IS-CORE'93. September 1993,Hanover
75. Wirfs-Brock R,Wilkerson B,Wiener L (1990) Designing object oriented software. Prentice-Hall, Englewood Cliffs,NJ
76. Yourdon E, Constantine LL (1979) Structured design: fundamentals of a discipline of computer programand systems design.Prentice-Hall,Upper Saddle River,NJ