Login / Signup
BM-FA
Publications
2014
Serguei A. Roubtsov
,
Ella E. Roubtsova
Implementation of Decision Modules.
BM-FA
(2014)
Proceedings of the 2014 Workshop on Behaviour Modelling - Foundations and Applications, BM-FA 2014, York, United Kingdom, July 22-22, 2014
BM-FA
(2014)
Gefei Zhang
,
Matthias M. Hölzl
A Set of Metrics for States and Transitions in UML State Machines.
BM-FA
(2014)
Michael Poulin
A Task of Behaviour Modelling in Execution Context.
BM-FA
(2014)
Marco Konersmann
,
Noyan Kurt
,
Michael Goedicke
Integrating Protocol Contracts with Java Code.
BM-FA
(2014)
Nissreen A. S. El-Saber
,
Artur Boronat
BPMN Formalization and Verification using Maude.
BM-FA
(2014)
Martin Gogolla
,
Lars Hamann
,
Frank Hilken
,
Matthias Sedlmeier
,
Quang Dung Nguyen
Behavior Modeling with Interaction Diagrams in a UML and OCL Tool.
BM-FA
(2014)
Ella E. Roubtsova
,
Vaughan Michell
Behaviour Models Clarify Definitions of Affordance and Capability.
BM-FA
(2014)
Ashley T. McNeile
The Principle of Comprehensive Modelling Applied to Data and Behaviour.
BM-FA
(2014)
2012
Joel Greenyer
,
Jens Frieben
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis.
BM-FA
(2012)
Ekkart Kindler
The event coordination notation: execution engine and programming framework.
BM-FA
(2012)
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03 - 03, 2012
BM-FA
(2012)
Ella E. Roubtsova
Motivation modelling for human-service interaction.
BM-FA
(2012)
Qinan Lai
,
Andy Carpenter
Defining and verifying behaviour of domain specific language with fUML.
BM-FA
(2012)
Adrian Rutle
,
Wendy MacCaull
,
Hao Wang
,
Yngve Lamo
A metamodelling approach to behavioural modelling.
BM-FA
(2012)
2011
Proceedings of the Third Workshop on Behavioural Modelling, Birmingham, United Kingdom, June 6, 2011
BM-FA
(2011)
Michael Poulin
Collaboration patterns in the SOA ecosystem.
BM-FA
(2011)
Marco Müller
,
Moritz Balz
,
Michael Goedicke
Enriching Java Enterprise interfaces with formal sequential contracts.
BM-FA
(2011)
Lukman Ab. Rahim
,
Jon Whittle
Identifying state space reduction techniques from behavioural design patterns.
BM-FA
(2011)
Gijs Stuurman
,
Ivan Kurtev
Action semantics for defining dynamic semantics of modeling languages.
BM-FA
(2011)
Ekkart Kindler
Integrating behaviour in software models: an event coordination notation - concepts and prototype.
BM-FA
(2011)
Papa Issa Diallo
,
Joël Champeau
,
Vincent Leilde
An approach for describing concurrency and communication of heterogeneous systems.
BM-FA
(2011)
Alejandro Sanchez
,
Luís Soares Barbosa
,
Daniel Riesco
A language for behavioural modelling of architectural patterns.
BM-FA
(2011)
Jaco Verheul
,
Ella E. Roubtsova
An executable and changeable reference model for the health insurance industry.
BM-FA
(2011)
Ashley T. McNeile
Two paradigms of composition.
BM-FA
(2011)
2010
Marouane Kessentini
,
Manuel Wimmer
,
Houari A. Sahraoui
,
Mounir Boukadoum
Generating transformation rules from examples for behavioral models.
BM-FA
(2010)
Ekkart Kindler
Model-based software engineering: the challenges of modelling behaviour.
BM-FA
(2010)
Ella E. Roubtsova
,
Stef Joosten
,
Lex Wedemeijer
Behavioural model for a business rules based approach to model services.
BM-FA
(2010)
Ashley T. McNeile
A framework for the semantics of behavioral contracts.
BM-FA
(2010)
Jürgen Dingel
,
Eyrak Paen
,
Ernesto Posse
,
Rezoanoor (Ruben) Rahman
,
Karolina Zurowska
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus.
BM-FA
(2010)
Elvinia Riccobene
,
Patrizia Scandurra
An ASM-based executable formal model of service-oriented component interactions and orchestration.
BM-FA
(2010)
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, Paris, France, June 14, 2010
BM-FA
(2010)