Automatic generation of basic behavior schemas from UML class diagrams

Software and Systems Modeling

Volumn 9, Issue 1, 2010, Pages 47-67

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

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

^b UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

^c UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Behavior schema; Class diagram; OCL; Operation; Structural event; UML

Indexed keywords

AUTOMATIC GENERATION; BEHAVIORAL SPECIFICATION; CLASS DIAGRAMS; CODE GENERATION; DYNAMIC ASPECTS; ERROR PRONES; MODEL DRIVEN DEVELOPMENT; SCHEMAS; SOFTWARE SYSTEMS; STATIC AND DYNAMIC; SYSTEM OPERATION; SYSTEM STATE; UML CLASS DIAGRAMS;

SPECIFICATIONS;

ENCODING (SYMBOLS);

EID: 72549083408     PISSN: 16191366     EISSN: 16191374     Source Type: Journal    
DOI: 10.1007/s10270-008-0108-x     Document Type: Article

References (42)

1. Abrial J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. M. Albert V. Pelechano J. Fons, et al. 2003 Implementing UML association, aggregation, and composition. A particular interpretation based on a multidimensional framework Adv. Inform. Syst. Eng. CAiSE' 03 2681 143 158 10.1007/3-540-45017-3-12
3. AndroMDA: AndroMDA. http://www.andromda.org/
4. Borland: Together. http://www.borland.com/us/products/together/index.html
5. J. Cabot 2007 From declarative to imperative UML/OCL operation specifications Conceptual Model. ER'07 4801 198 213 10.1007/978-3-540-75563-0-15
6. Cabot, J., Clarisó, R., Riera, D.: Verification of UML/OCL class diagrams using constraint programming. In: MoDeVVA'08 (2008)
7. J. Cabot A. Olivé E. Teniente 2003 Representing temporal information in UML Unified Model. Lang. UML'03 2863 44 59
8. J. Cabot E. Teniente 2004 Determining the structural events that may violate an integrity constraint Unified Model. Lang. UML'04 3273 320 334
9. J. Cabot C. Gómez 2007 Deriving operation contracts from UML class diagrams Model Driven Eng. Lang. Syst. MODELS'07 4735 196 210 10.1007/978-3-540-75209-7-14
10. CincomSmalltalk: VisualWorks. http://www.cincomsmalltalk.com/
11. Compuware: Optimal J. http://frontline.compuware.com/javacentral/tools/ 25988.asp
12. D. Costal M. Sancho A. Olivé, et al. 1997 The role of structural events in behaviour specification Database Expert Syst. Appl. DEXA'07 1308 673 686 10.1007/BFb0022075
13. D. Costal M. Sancho E. Teniente 2002 Understanding redundancy in UML models for object-oriented analysis Adv. Inform. Syst. Eng. CAiSE'02 2348 659 674 10.1007/3-540-47961-9-45
14. D. Costal E. Teniente T. Urpí, et al. 1996 Handling conceptual model validation by planning Adv. Inform. Syst. Eng. 1080 255 271
15. G. Engels M. Gogolla U. Hohenstein, et al. 1992 Conceptual modelling of database applications using an extended ER model Data Knowl. Eng. 9 157 204 10.1016/0169-023X(92)90008-Y (Pubitemid 23634687)
16. Fons, J.: EmpTraining: An Employee Training Management System. UPV, (2008). http://oomethod.dsic.upv.es/labs/index.php?option=com-content&task= view&id=49&Itemid=35
17. Gentleware: Poseidon for UML. http://www.gentleware.com/
18. IBM Software: Rational Rose. http://www.ibm.com/software
19. Interactive Objects: ArcStyler. OpenArchitectureWare Generator, (2007). http://www.interactive-objects.com/products/arcstyler
20. Kennedy Carter: IUML. http://www.kc.com/products/iuml.php
21. R. Laleau F. Polack 2001 Specification of integrity-preserving operations in information systems by using a formal UML-based language Inform. Softw. Technol. 43 693 704 10.1016/S0950-5849(01)00178-1 (Pubitemid 32935342)
22. Larman C.: Applying UML and Patterns: An Introduction to Object-oriented Analysis and Design and the Unified Process, 2nd edn. Prentice Hall, Englewood Cliffs (2001)
23. S. Link 2003 Consistency enforcement in databases Semant. Databases 2582 201 213
24. A.J. McAllister D. Sharpe 1998 An approach for decomposing N-Ary data relationships Softw. Practice Exp. 28 125 154 10.1002/(SICI)1097-024X(199802)28: 2<125::AID-SPE146>3.0.CO;2-6
25. Mellor, S.J., Balcer, M.J.: Executable UML. A foundation for model-driven architecture. Object Technology edn. Addison-Wesley, Boston (2002)
26. Microsoft: Visual Studio 2008. http://msdn2.microsoft.com/en-us/vstudio/ default.aspx
27. Moskitt-Conselleria d'Infraestructures i Transport: Moskitt. http://www.moskitt.org/
28. Object Management Group: Object Constraint Language (OCL), Version 2.0, OMG Available Specification (formal/2006-05-01) (2006). http://www.omg.org/docs/ ptc/03-10-14.pdf
29. Object Management Group: Unified Modeling Language: Superstructure. Version 2.1. ptc/06-04-02
30. Objecteering Software: Objecteering UML. http://www.objecteering.com/
31. Olivé A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)
32. J.A. Pastor A. Olivé 1995 Supporting transaction design in conceptual modelling of information systems Adv. Inform. Syst. Eng. CAiSE'95 932 40 53
33. O. Pastor E. Insfrán V. Pelechano, et al. 1997 OO-method :an OO software production environment combining conventional and formal methods Adv. Inform. Syst. Eng. CAiSE'97 1250 145 158
34. Raventós, R.: A Conceptual Schema for a Conference Management Application, vol. 05-01-R, UPC (2005)
35. Rumbaugh J., Jacobson I., Booch G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Boston (2005)
36. K. Schewe B. Thalheim 1999 Towards a theory of consistency enforcement Acta Inform. 36 97 141 0927.68056 10.1007/s002360050155 1675582
37. Sendall, S.,Strohmeier, A.: Using OCL and UML to specify system behavior. In: Object Modeling with OCL, vol. 2263, pp. 250-280. Springer, London (2002)
38. S. Sendall A. Strohmeier 2000 From use cases to system operation specifications Unified Model. Lang. UML'00 1939 1 15 10.1007/3-540-40011-7-1
39. SourceForge: Octopus: OCL Tool for Precise UML Specifications. http://octopus.sourceforge.net/
40. Stahl T., Voelter M.: Model-driven Software Development: Technology, Engineering, Management. Wiley, New York (2006)
41. Tort, A. OsCommerce Conceptual Schema. UPC (2007). http://guifre.lsi.upc. edu/OSCommerce.pdf
42. R. Wieringa 1998 A survey of structured and object-oriented software specification methods and techniques ACM Comput. Surv. 30 459 527 10.1145/299917.299919