Inheritance of behavior

DOI10.1016/S1567-8326(00)00004-7zbMath0974.68137DBLPjournals/jlp/BastenA01OpenAlexW1991558265WikidataQ57006160 ScholiaQ57006160MaRDI QIDQ5943265

Wil M. P. van der Aalst, Twan Basten

Publication date: 12 September 2001

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1567-8326(00)00004-7

zbMATH Keywords

inheritanceobject-oriented modeling

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

Interleaving isotactics -- an equivalence notion on behaviour abstractions ⋮ Refinement of Synchronizable Places with Multi-workflow Nets ⋮ Inheritance of behavior ⋮ Inheritance of workflows: An approach to tackling problems related to change ⋮ Compositional Service Trees ⋮ Connector Rewriting with High-Level Replacement Systems

Cites Work

• Refinement, conformance and inheritance
• Statecharts: a visual formalism for complex systems
• A calculus of communicating systems
• Analysis of Petri nets by stepwise refinements
• Lectures on Petri nets. 1: Basic models. Advances in Petri nets
• Object-oriented methodologies and systems. International symposium, ISOOMS '94, Palermo, Italy, September 21--22, 1994. Proceedings
• Branching bisimilarity is an equivalence indeed!
• On simulation, subtyping and substitutability in sequential object systems
• A complete algebraic characterization of behavioral subtyping
• Process algebra for synchronous communication
• Process Algebra
• Branching time and abstraction in bisimulation semantics
• An O(¦S¦ × ¦T¦)-algorithm to verify if a net is regular
• Free Choice Petri Nets
• From Coloured Petri Nets to Object Petri Nets
• Inheritance of behavior
• Inheritance of workflows: An approach to tackling problems related to change
• Advances in Petri nets 1992
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Inheritance of behavior