An efficient algorithm for branching bisimulation and stuttering equivalence
Proceedings of the seventeenth international colloquium on Automata, languages and programming
APN 90 Proceedings on Advances in Petri nets 1990
Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
The object advantage: business process reengineering with object technology
The object advantage: business process reengineering with object technology
Free choice Petri nets
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Business Modeling With UML: Business Patterns at Work
Business Modeling With UML: Business Patterns at Work
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Hi-index | 0.00 |
One of the key issues of object-oriented modeling is inheritance. It allows for the definition of a subclass that inherits features from some superclass. When considering the dynamic behavior of objects, as captured by their life cycles, there is no general agreement on the meaning of inheritance. Basten and Van der Aalst introduced the notion of life-cycle inheritance for this purpose. Unfortunately, the search tree needed for deciding life-cycle inheritance is in general prohibitively large. This paper presents a backtracking algorithm to decide life-cycle inheritance on Petri nets. The algorithm uses structural properties of both the base life cycle and the potential sub life cycle to prune the search tree. Test cases show that the results are promising.