Generating operation specifications from UML class diagrams: A model transformation approach

Data and Knowledge Engineering

Volumn 70, Issue 4, 2011, Pages 365-389

  Albert, Manoli ^a   Cabot, Jordi ^b   Gómez, Cristina ^c   Pelechano, Vicente ^a  

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

^b ECOLE DES MINES DE NANTES   (France)

^c UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Action; Behavior schema; Class diagram; Model to model transformation; Operation; UML

Indexed keywords

ACTION; BEHAVIOR SCHEMA; CLASS DIAGRAM; MODEL-TO-MODEL TRANSFORMATION; OPERATION; UML;

ENCODING (SYMBOLS); SPECIFICATIONS; UNIFIED MODELING LANGUAGE;

MATHEMATICAL MODELS;

EID: 79952190506     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2011.01.003     Document Type: Article

References (55)

1. Object Management Group UML 2.2 Superstructure Specification, OMG Adopted Specification 2009
2. Object Management Group Object Constraint Language (OCL) 2.0, OMG Adopted Specification 2006
3. P. Chen The Entity-Relationship model: toward a unified view of data ACM Transactions on Database Systems 1 1 1976 9 36
4. T. Halpin Information Modeling and Relational Databases. From Conceptual Analysis to Logical Design 2001 Morgan Kaufmann Publishers
5. D. Spinellis UML everywhere IEEE Software 27 5 2010 90 91 September
6. B. Dobing, and J. Parsons How UML is used Communications of the ACM 49 5 2006 May
7. M. Albert, C. Gómez, J. Cabot, and V. Pelechano Automatic generation of basic behavior schemas from UML class diagrams Software and Systems Modeling 9 1 2010 47 67
8. M. Albert, V. Pelechano, J. Fons, M. Ruiz, and O. Pastor Implementing UML Association, Aggregation and Composition. A Particular Interpretation based on a Multidimensional Framework Proc. of the Advanced Information Systems Engineering (CAiSE'03) 2003
9. J. Bézivin, F. Jouault, and D. Touzet An Introduction to the ATLAS Model Management Architecture Research Report LINA 2005
10. MOSKitt MOdeling Software Kitt www.moskitt.org Jan. 14 2011
11. K. Schewe, and B. Thalheim Towards a theory of consistency enforcement Acta Informatica 36 1999 97 141
12. S. Link Consistency enforcement in databases Semantics in Databases 2003 201 213
13. J.A. Pastor, and A. Olivé Supporting Transaction Design in Conceptual Modelling of Information Systems Proc. of Advanced Information Systems Engineering 1995 40 53
14. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca Automatic generation of production rules for integrity maintenance ACM Transactions on Database Systems 19 3 1994 367 422
15. S. Ceri, and J. Widom Deriving Production Rules for Constraint Maintenance Proc. VLDB 1990 566 577
16. R. Laleau, and F. Polack Specification of integrity-preserving operations in information systems by using a formal UML-based language Information and Software Technology 43 2001 693 704 (Pubitemid 32935342)
17. G. Engels, M. Gogolla, U. Hohenstein, K. Hülsmann, P. LöhrRichter, G. Saake, and H. Ehrich Conceptual modelling of database applications using an extended ER model Data Knowledge Engineering 9 1992 157 204 (Pubitemid 23634687)
18. D. Costal, M. Sancho, A. Olivé, and A. Roselló The Role of Structural Events in Behaviour Specification Proc. of DEXA'97 1997 673 686 (Pubitemid 127120446)
19. Welch James, Faitelson David, and Davies Jim Automatic maintenance of association invariants Software and Systems Modeling 7 3 2008
20. Y. Ledru Identifying Pre-conditions with the Z/EVES Theorem Prover Proc. of the 13th International Conf. on Automated Software Engineering 1998 IEEE Computer Society Press
21. D. Costal, C. Gómez, A. Queralt, and E. Teniente Drawing Preconditions of Operation Contracts from Conceptual Schemas Proc. of the Advanced Information Systems Engineering (CAiSE'08) 2008
22. Gentleware Poseidon for UML http://www.gentleware.com/ Jan. 14 2011
23. Enterprise Architect Sparx Systems http://www.sparxsystems.com.au/ Jan. 14 2011
24. Fujaba Tool Suit Fujaba Project http://www.fujaba.de/ Jan. 14 2011
25. Objecteering Software Modelio http://www.modeliosoft.com/ Jan. 14 2011
26. IBM Software Rational http://www-01.ibm.com/software/awdtools/developer/ rose/ Jan. 14 2011
27. O. Pastor, E. Insfrán, V. Pelechano, J. Romero, and J. Merseguer OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods Proc. of the 9th International Edition on Advanced Information Systems Engineering (CAiSE'97) 1997 145 158 (Pubitemid 127088884)
28. J. Cabot, R. Clarisó, and D. Riera UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models using Constraint Programming Proc. of 22nd International Conference Automated Software Engineering (ASE'07) 2007
29. M. Albert, Tratamiento de Asociaciones en Entornos de Producción Automática de Código, Ph.D Thesis. Departamento de Sistemas Informáticos y Computación. Universidad Politécnica de Valencia.
30. A.J. McAllister, and D. Sharpe An approach for decomposing N-ary data relationships Software: Practice and Experience 28 2 1998 125 154 (Pubitemid 128614795)
31. J. Rumbaugh, I. Jacobson, and G. Booch The Unified Modeling Language Reference Manual 2005
32. S. Cook, and J. Daniels Designing Object Systems. Object-oriented Modelling with Syntropy 1994 Prentice Hall
33. D.F. D'Souza, and A.C. Wills Catalysis-Objects, Components and Frameworks with UML 1998 Addison-Wesley Reading, MA
34. D. Firesmith, B. Henderson-Sellers, and I. Graham The OML Reference Manual 1997 SIGS Books NY
35. F. Civello Roles for composite objects in object-oriented analysis and design ACM SIGPLAN Notices 28 10 1993 376 393
36. B. Henderson-Sellers, and F. Barbier What is this Thing Called Aggregation? J. Bosch, R. Mitchell, A.C. Wills, B. Meyer, Proc. of TOOLS 29 1999 216 230 IEEE Computer Society, Los Alamitos, CA, USA
37. J.J. Odell Six different kinds of composition Journal of Object Oriented Programming (JOOP) 5 8 1994 10 15
38. A.L. Opdahl, B. Henderson-Sellers, and F. Barbier Ontological analysis of whole-part relationships in OO-models Information and Software Technology 43 2001 387 399 (Pubitemid 32407894)
39. M. Saksena, R.B. France, and M.M. Larrondo-Petrie A Characterization of Aggregation C. Rollandand, G. Grosz, Proc. of OOIS'98 1998 11 19
40. Y. Wand, V.C. Storey, and R. Weber An ontological analysis of the relationship construct in conceptual modeling ACM Transactions on Database Systems 24 4 1999 494 528
41. D. Milicév On the semantics of associations and association ends in UML IEEE Transactions on Software Engineering 33 4 2007
42. J. Cabot, Incremental Integrity Checking in UML/OCL Conceptual Schemas, PhD. Dissertation (2006), < http://jordicabot.com/papers/TesiJCabot.pdf >.
43. ATLANMOD Technologies de modélisation pour la production, le fonctionnement et l'évolution du logiciel http://www.inria.fr/recherche/ equipes/atlanmod.fr.html Jan. 14 2011
44. OO-Method Labs http://www.pros.upv.es/labs/index.php?option=com- content&view=category&id=21&Itemid=35&layout=default Jan. 14 2011
45. B. Hetzel The Complete Guide to Software Testing 2nd ed 1988 QED Information Sciences, Inc Wellesley, MA, USA
46. P. Giner, and V. Pelechano Test-driven Development of Model Transformations Proc. of Model Driven Engineering Languages and Systems (Models'09) 2009 748 752
47. A. Tort OsCommerce Conceptual Schema 2007 UPC
48. R. Raventós A Conceptual Schema for a Conference Management Application UPC, Technical Report. 05-01-R 2005
49. J.R. Abrial The B-Book: Assigning Programs to Meanings 1996 Cambridge University Press
50. S. Sendall, and A. Strohmeier From Use Cases to System Operation Specifications Proc. of «UML» 2000-The Unified Modeling Language 2000 1 15
51. D. Akehurst, G. Howells, and K. McDonald-Maier Implementing associations: UML 2.0 to Java 5 Software and Systems Modeling 6 1 2006
52. CARE Technologies OLIVANOVA Programming Machine (ONME) http://www.care-t.com/ Jan. 14 2011
53. F.S. Parreiras, and S. Staab Using ontologies with UML class-based modeling: the TwoUse approach Data Knowledge Engineering 69 11 2010 1194 1207 November
54. I. Reinhartz-Berger Towards automatization of domain modeling Data Knowledge Engineering 69 5 2010 491 515 May
55. E. Planas, J. Cabot, and C. Gómez Verifying Action Semantics Specifications in UML Behavioral Models Proc. Of the Advanced Information Systems Engineering (CAiSE'09) 2009