Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605589619

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10 ◽

10.1145/1811147.1811148 ◽

2010 ◽

Cited By ~ 1

Author(s):

Juergen Dingel ◽

Eyrak Paen ◽

Ernesto Posse ◽

Rezoanoor (Ruben) Rahman ◽

Karolina Zurowska

Keyword(s):

Semantic Mapping ◽

Pi Calculus

Download Full-text

A framework for the semantics of behavioral contracts

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10 ◽

10.1145/1811147.1811150 ◽

2010 ◽

Cited By ~ 1

Author(s):

Ashley McNeile

Keyword(s):

Behavioral Contracts

Download Full-text

Generating transformation rules from examples for behavioral models

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10 ◽

10.1145/1811147.1811149 ◽

2010 ◽

Cited By ~ 6

Author(s):

Marouane Kessentini ◽

Manuel Wimmer ◽

Houari Sahraoui ◽

Mounir Boukadoum

Keyword(s):

Behavioral Models ◽

Transformation Rules

Download Full-text

An ASM-based executable formal model of service-oriented component interactions and orchestration

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10 ◽

10.1145/1811147.1811152 ◽

2010 ◽

Cited By ~ 2

Author(s):

Elvinia Riccobene ◽

Patrizia Scandurra

Keyword(s):

Formal Model ◽

Service Oriented

Download Full-text

Model-based software engineering

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10 ◽

10.1145/1811147.1811151 ◽

2010 ◽

Cited By ~ 4

Author(s):

Ekkart Kindler

Keyword(s):

Software Engineering ◽

Model Based

Download Full-text

Behavioural model for a business rules based approach to model services

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10 ◽

10.1145/1811147.1811153 ◽

2010 ◽

Cited By ~ 1

Author(s):

Ella Roubtsova ◽

Stef Joosten ◽

Lex Wedemeijer

Keyword(s):

Business Rules ◽

Behavioural Model

Download Full-text

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus

A framework for the semantics of behavioral contracts

Generating transformation rules from examples for behavioral models

An ASM-based executable formal model of service-oriented component interactions and orchestration

Model-based software engineering

Behavioural model for a business rules based approach to model services

Proceedings of the Second International Workshop on Behaviour Modelling Foundation and Applications - BM-FA '10
Latest Publications