Inheritance of behavior

Journal of Logic and Algebraic Programming

Volumn 47, Issue 2, 2001, Pages 47-145

  Basten, Twan ^a   Van Der Aalst, Wil M P ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Free choice Petri nets; Inheritance; Object life cycle; Object orientation; Petri nets; Process; Process algebra; Reuse

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; PETRI NETS;

INHERITANCE; PROCESS ALGEBRA;

OBJECT ORIENTED PROGRAMMING;

EID: 0034949703     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1567-8326(00)00004-7     Document Type: Article

References (75)

1. Structural characterizations of sound workflow nets
2. Verification of workflow nets
3. The application of Petri nets to workflow management
4. Inheritance of workflows: An approach to tackling problems related to change
5. Life-cycle inheritance: A petri-net-based approach
6. Component-based software architectures: A framework based on inheritance of behavior
7. Designing an object-oriented language with behavioural subtyping
8. Partial-order process algebra (and its relation to Petri nets)
9. Conditional axioms and α/β-calculus in process algebra
10. Concrete process algebra
11. Branching bisimilarity is an equivalence indeed!
12. Inheritance of dynamic behavior: Development of a groupware editor
13. A process-algebraic approach to life-cycle inheritance: Inheritance = encapsulation + abstraction
14. Inheritance of behavior
15. Process algebra for synchronous communication
16. Transformations and decompositions of nets
17. Nonsequential processes: A Petri net view
18. On behavioural subtyping in LOTOS
19. Lotos specifications, their implementations, and their tests
20. Improving the linearly based characterization of P/T nets
21. Refinement, conformance and inheritance
22. Reduction and design of well-behaved concurrent systems
23. Forcing behavioral subtyping through specification inheritance
24. Structural and behavioural views on OMT-classes
25. Synthesis rules for Petri nets, and how they lead to new results
26. Decidability and complexity of Petri net problems - An introduction
27. Decidability issues for Petri nets - A survey
28. The linear time - Branching time spectrum II: The semantics of sequential systems with silent moves
29. Branching time and abstraction in bisimulation semantics
30. Branching time and abstraction in bisimulation semantics
31. An efficient algorithm for branching and stuttering equivalence
32. Statecharts: A visual formalism for complex systems
33. Coloured Petri nets. Basic concepts, analysis methods and practical use
34. Inheritance of object behavior - Consistent extension of object life cycles
35. Object-oriented behavioral specifications
36. Behavioral specifications of businesses and systems
37. On complete reducibility of some classes of Petri nets
38. An O(|S| × |T|)-algorithm to verify if a net is regular
39. From coloured Petri nets to object Petri nets
40. Pragmatic inheritance issues for object Petri nets
41. A complete algebraic characterization of behavioral subtyping
42. A behavioral notion of subtyping
43. On simulation, subtyping and substitutability in sequential object systems
44. A note on inheritance and state machines
45. A calculus of communicating systems
46. Petri nets: Properties, analysis and applications
47. A calculus of object bindings
48. Regular types for active objects
49. A survey of equivalence notions of net based systems
50. Types for active objects based on trace semantics
51. Non-regular process types
52. Petri nets: An introduction
53. Lectures on Petri Nets I: Basic models
54. Lectures on Petri Nets II: Applications
55. Inheritance in LOTOS
56. Analysis of Petri nets by stepwise refinements
57. Inheritance as an incremental modification mechanism or what like is and isn't like