DocumentCode :
2505729
Title :
An algebraic semantics for object-oriented behaviour modeling
Author :
Hubbers, J.W.G.M. ; Hofstede, A. H M ter
Author_Institution :
Comput. Sci. Inst., Nijmegen Univ., Netherlands
fYear :
1996
fDate :
14-18 Jul 1996
Firstpage :
4
Lastpage :
15
Abstract :
It is often claimed that strengths of object oriented approaches include the integration of data and process perspectives, opportunities for reuse, and high comprehensibility. 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 (I. Jacobson et al., 1992) is used as a starting point because of its underlying philosophy and its successful 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
Keywords :
computational linguistics; grammars; object-oriented methods; object-oriented programming; Objectory method; algebraic semantics; asynchronous service requests; behaviour mode; communication model; concurrent execution paths; object oriented analysis method; object oriented approaches; object oriented behaviour modeling; object oriented data model; process perspectives; Algebra; Computer aided software engineering; Computer science; Data models; Equations; Jacobian matrices; Object oriented modeling; Parallel processing; Programming;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Australian Software Engineering Conference, 1996., Proceedings of 1996
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-7635-3
Type :
conf
DOI :
10.1109/ASWEC.1996.534118
Filename :
534118
Link To Document :
بازگشت