Abstract is missing.
- BPMN Formalization and Verification using MaudeNissreen El-Saber, Artur Boronat. 1 [doi]
- A Set of Metrics for States and Transitions in UML State MachinesGefei Zhang, Matthias M. Hölzl. 2 [doi]
- Integrating Protocol Contracts with Java CodeMarco Konersmann, Noyan Kurt, Michael Goedicke. 3 [doi]
- Behavior Modeling with Interaction Diagrams in a UML and OCL ToolMartin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen. 4 [doi]
- The Principle of Comprehensive Modelling Applied to Data and BehaviourAshley T. McNeile. 5 [doi]
- Behaviour Models Clarify Definitions of Affordance and CapabilityElla E. Roubtsova, Vaughan Michell. 6 [doi]
- Implementation of Decision ModulesSerguei A. Roubtsov, Ella E. Roubtsova. 7 [doi]
- A Task of Behaviour Modelling in Execution ContextMichael Poulin. 8 [doi]