9:00-10:30

STAF keynote

STAF keynote Giorgio Delzanno

Parameterized Verification and Model
Checking for Distributed Broadcast Protocols

10:30-11:00

Coffee

11:00-12:30

Properties of Standardised Behaviour Modelling Approaches

Welcome

(1) BPMN Formalization and Verification using Maude. (Nissreen El-Saber-University of Leicester-University of Zagazig, Egypt, Artur Boronat-University of Leicester)

(2) A Set of Metrics for States and Transitions in UML State Machines. (Gefei Zhang - Celonis GmbH, Matthias Hölz-Ludwig-Maximilians-Universität München)

12:30-14:00

Lunch

14:00-15:30

Desired sematic elements of behaviour modelling and their implementation

(5)The Principle of Comprehensive Modelling Applied to Data and Behaviour (Ashley McNeile - Metamaxim Ltd. London, U.K.)

(7) Integrating Protocol Contracts with Java Code (Marco Konersmann, Noyan Kurt, Michael Goedicke-plauno - The Ruhr Institute for Software Technology-University of Duisburg-Essen)

(6) Implementation of Decision Modules (Serguei Roubtsov - Technical University Eindhoven, the Netherlands, Ella Roubtsova - Open University of the Netherlands)

15:30-16:00

Coffee

16:00-17:00

Behaviour modelling and conceptual modelling

(3) Behavior Modeling with Interaction Diagrams in a UML and OCL Tool (Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier, Quang Dung Nguyen - University of Bremen, Germany)

4) Behaviour Models Clarify Definitions of Affordance and Capability (Vaughan Michell-Henley Business School University of Reading, Ella Roubtsova Open University of the Netherlands)

(8) A Task of Behaviour Modelling in Execution Context (Michael Poulin, Clingstone Limited, UK)

17:00

Discussion





© 2017 Open Universiteit | Disclaimer | Contact

In collaboration with ECMFA 2014 : http://ecmfa2014.lcc.uma.es/