Abstract
An association between two classes implies some interaction between objects of the two classes. An association is often adorned with multiplicities and other constraints. In this paper, such adornments are considered as constraints upon the behaviour of objects of the associated classes, and checking that they satisfy these constraints is a consistency problem that can be addressed by formal means. Two formal approaches to this consistency problem, namely the state-based and behavioural approaches, are reviewed and discussed.
Original language | English |
---|---|
Title of host publication | 13th International Conference on Intelligent and Adaptive Systems and Software Engineering 2004, IASSE 2004 |
Editors | Walter DOSCH, Narayan DEBNATH |
Publisher | The International Society for Computers and Their Applications (ISCA) |
Pages | 233-238 |
Number of pages | 6 |
ISBN (Electronic) | 9781618398383 |
Publication status | Published - Jul 2004 |
Event | 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2004 - Nice, France Duration: 1 Jul 2004 → 3 Jul 2004 |
Conference
Conference | 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2004 |
---|---|
Country/Territory | France |
City | Nice |
Period | 1/07/04 → 3/07/04 |
Bibliographical note
Publisher Copyright:© 2004. 13th International Conference on Intelligent and Adaptive Systems and Software Engineering 2004, IASSE 2004. All rights reserved.