Consistency by construction: The case of MERODE

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2814, Issue , 2003, Pages 105-117

  Snoeck, Monique ^a   Michiels, Cindy ^a   Dedene, Guido ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

DATA MINING; INFORMATION MANAGEMENT; SEMANTICS; UNIFIED MODELING LANGUAGE;

CONCEPTUAL MODEL; CONSISTENCY CHECKING; CONSTRUCTION APPROACHES; FORMAL DEFINITION; LEVELS OF ABSTRACTION; SEMI-AUTOMATIC GENERATION; SINGLE MODELS; SOFTWARE SYSTEMS;

MODELING LANGUAGES;

EID: 0142218893     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39597-3_11     Document Type: Article

References (22)

1. Lindland, O.I., Sindre, Guttom, Sølvberg, Arne, Understanding Quality in Conceptual Modeling, IEEE Software, March 1994, pp. 42-49
2. UML, OMG, http://www.omg.org/UML
3. Richard Paige, Jonathan Ostroff: "The Single Model Principle", in Journal of Object Technology, vol. 1, no. 5, November-December 2002, pp. 63-81. online available at http://www.jot.fm/issues/issue_2002_11/column6
4. Snoeck M., Dedene G., Existence Dependency: The key to semantic integrity between structural and behavioral aspects of object types. IEEE Transactions on Software Engineering, 24(24), 233-251.
5. Snoeck M., Dedene G., Verhelst M., Depuydt A.M., Object-oriented Enterprise Modelling with MERODE. Leuven: Leuven University Press. 1999
6. Jackson M. Cameron J., System Development, Prentice Hall (1983).
7. Chen, P.P., The Entity Relationship Approach to logical Database Design, QED information sciences, Wellesley (Mass.), 1977
8. Cook, S., Daniels, J.: Designing object systems: object-oriented modelling with Syntropy. Prentice Hall (1994)
9. Schuette, R., Rotthowe, T., The Guidelines of Modeling - An Approach to Enhance the Quality in Information Models, In Tok Wang Ling, Sudha Ram,Mong Li Lee (eds), Conceptual Modeling - ER'98, 17th Interntional Conference on Conceptual Modeling, Singapore, LNCS 1507, Springer.
10. Moody D.L., Shanks, G.G., Darke, P., Improving the Quality of Entity Relationship Models - Experience in Research and Practice, In Tok Wang Ling, Sudha Ram,Mong Li Lee (eds), Conceptual Modeling - ER'98, 17th Interntional Conference on Conceptual Modeling, Singapore, LNCS 1507, Springer.
11. pUML, The precise UML group, http://www.cs.york.ac.uk/puml/
12. Kuzniarz L., Reggio G., Sourrouille J. L., Huzar Z., Workshop on Consistency Problems in UML-based software development, Workshop Materials, Research Report 2002:06, Blekinge Institute of Technology, Ronneby 2002, Workshop at the UML 2002 Conference, online at http://www.ipd.bth.se/consistencyUML/
13. Evans, R. France, K. Lano, B. Rumpe, Developping the UML as a Formal Modelling Notation, in UML'98 Beyond the notation; International Workshop Mulhouse France, P-A. Muller, J; Bézivin (eds.), 1998
14. Rumpe, A note on Semantics (with an emphasis on UML), in Second ECOOP Workshop on Precise Behavioural Semantics, H. Kilov, B; Rumpe (eds.), Technische Universität München, TUM-19813, 1998
15. M. Saksena, R. B. France, M. M. Larrondo-Petrie, A characterization of Aggregation, in Proceedings of the International Conference on Object Oriented Information Systems, 9-11 September, Paris, 1998
16. J. Brunet, An enhanced definition of Composition and its use for Abstration, in Proceedings of the International Conference on Object Oriented Information Systems, 9-11 September, Paris, 1998
17. R.H. Bourdeau, B.H.C. Cheng, A formal semantics for object model diagrams, IEEE Transactions on Software Engineering, 21 (10), October 1995, pp. 799-821
18. Bruel J.M., Lilius, J., Moreira A., France R.B, Defining Precise Semantics for UML, ECOOP 2000 Workshop Reaer, LNCS 1964, Springer 2000, pp.113-122.
19. M. Snoeck, C. Dedene, Generalisation/Specilisation and Role in object-oriented conceptual modelling, Data and Knowledge Engineering, 19(2), 1996
20. Le Grand, Specialisation of Object Lifecycles, in Proceedings of the International Conference on Object Oriented Information Systems, 9-11 September, Paris, 1998
21. K.S. Cheung, K.O. Chow, T.Y. Cheung, Consistency analysis on lifecycle model and interaction model, in Proceedings of the International Conference on Object Oriented Information Systems, 9-11 September, Paris, 1998
22. OMG, XML Metadata Interchange, http://www.omg.org/technology/documents/formal/xmi.htm