Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML

W. L. YEUNG*

*Corresponding author for this work

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Referred Conference Paperpeer-review

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 languageEnglish
Title of host publication13th International Conference on Intelligent and Adaptive Systems and Software Engineering 2004, IASSE 2004
EditorsWalter DOSCH, Narayan DEBNATH
PublisherThe International Society for Computers and Their Applications (ISCA)
Pages233-238
Number of pages6
ISBN (Electronic)9781618398383
Publication statusPublished - Jul 2004
Event13th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2004 - Nice, France
Duration: 1 Jul 20043 Jul 2004

Conference

Conference13th International Conference on Intelligent and Adaptive Systems and Software Engineering, IASSE 2004
Country/TerritoryFrance
CityNice
Period1/07/043/07/04

Bibliographical note

Publisher Copyright:
© 2004. 13th International Conference on Intelligent and Adaptive Systems and Software Engineering 2004, IASSE 2004. All rights reserved.

Fingerprint

Dive into the research topics of 'Comparing the State-Based and Behavioural Approaches to Checking Consistency between Associations and State Machines in UML'. Together they form a unique fingerprint.

Cite this