Online Version - Last Updated - 20 Jan 2012 |
 |
| Home |
| |
| Procedures and Resources for Authors |
|
| Information and Resources for Volume Editors |
| |
| Orders and Subscriptions |
| |
| Published Articles |
|
| Upcoming Volumes |
| |
| Contact Us |
| |
| Useful External Links |
| |
| CRPIT Site Search |
Life-Cycle Inheritance in Concurrent Object-Oriented Systems
Philippi, S.
OOPr/T Models are a class of object-oriented Petri Nets which were introduced for the formally based modeling of (concurrent) object-oriented systems. The development of such systems is supported on arbitrary abstraction levels with static, dynamic, and functional views. These views describe the structure of a system, the behaviour of objects, and the functionality of methods. This article is focused on the behaviour of objects and introduces an extended formalization of dynamic views for the modeling of object life-cycles. Furthermore, a new approach for the Petri-Net based inheritance of object life-cycles is presented.
Cite as: Philippi, S. (2002). Life-Cycle Inheritance in Concurrent Object-Oriented Systems. In Proc. Workshop on Software Engineering and Formal Methods 2002, Adelaide, Australia. CRPIT, 12. Lakos, C., Esser, R., Kristensen, L. M. and Billington, J., Eds. ACS. 37-45.
(from crpit.com)
(local if available)
