loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1996 Australian Software Engineering Conference (ASWEC '96)
An Algebraic Semantics for Object-Oriented Behaviour Modeling
Melbourne, AUSTRALIA
July 14-July 18
ISBN: 0-8186-7635-3
J.W.G.M. Hubbers, University of Nijmegen Toernooiveld, The Netherlands
A.H.M. ter Hofstede, University of Queensland, Australia
It is often claimed that strengths of object-oriented approaches include the integration of data and process perspectives, opportunities for reuse, and high comprehensibility. In this paper focus is on object-oriented analysis, and the core models of an object oriented analysis method are examined, formalized, and enhanced to define a general framework. Jacobson's Objectory method is used as a starting point because of its underlying philosophy and its succesful application in practice. Core models are the object-oriented data model and the communication model, which is an integration of the interaction and the behaviour model. As Objectory emphasizes interaction between objects, the paper focuses solely on the latter model. The communication model is extended with constructs to specify parallelism within an object, synchronization of concurrent execution paths, and a basic mechanism to receive results from asynchronous service requests.
Index Terms:
Object-Orientation, Objectory, OOSE, Process Algebra, Formalization, Communication, Behaviour
Citation:
J.W.G.M. Hubbers, A.H.M. ter Hofstede, "An Algebraic Semantics for Object-Oriented Behaviour Modeling," aswec, pp.4, 1996 Australian Software Engineering Conference (ASWEC '96), 1996
Usage of this product signifies your acceptance of the Terms of Use.