Life-cycle inheritance in concurrent object-oriented systems

Authors:
Stephan Philippi
Affiliations:
Faculty of Technology, Bielefeld University, PO Box 100131, 33501 Bielefeld, Germany
Venue:
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Year:
2002

Citing 15
Cited 1

Linear algebraic techniques for place/transition nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Inheritance as an incremental modification mechanism or what like is and isn'tlike

on ECOOP '88 (European Conference on Object-Oriented Programming)
Object lifecycles: modeling the world in states

Object lifecycles: modeling the world in states
Object-oriented modeling and design

Object-oriented modeling and design
A note on inheritance and state machines

ACM SIGSOFT Software Engineering Notes
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Forcing behavioral subtyping through specification inheritance

Proceedings of the 18th international conference on Software engineering
Regular types for active objects

Object-oriented software composition
Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Behavior Consistent Extension of Object Life Cycles

OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Behavior Consistent Refinement of Object Life Cycles

ER '97 Proceedings of the 16th International Conference on Conceptual Modeling
A new Concept of Refinement used for Behaviour Modelling with Automata

FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods

Formally based modeling and inheritance of behaviour in object-oriented systems

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.