Talk on Choreography.

I gave a talk recently to the BCS Software Practice Improvement (SPA) group on using Protocol Modeling to define the choreography of extended stateful colaborations using composition. You can download the presentation from here (500 K).

Paradigms of Composition.

We have written a short paper that discusses different paradigms of composition. The paper explores the differences between synchronous and asynchronous composition and illustrates this by using both forms in the definition of small example.

You can download this paper from here (500 K). This paper was given at the 3rd Workshop on Behavioral Modeling - Foundations and Applications (associated with the European Conference on Modelling Foundations and Applications, ECMFA 2011).

Semantics of Contracts.

We have written a short paper that discusses the semantics of contracts in software. This paper proposes a framework for thinking about software contracts based on the idea that a contract aims to preserve a formal proposition about the software system being built, and the form of the contract must reflect the formal reasoning system used for verification of the proposition. These ideas suggest that very different forms of contract are needed for algorithmic and interactive software, and this is illustrated in the paper.

You can download this paper from here (170 K). This paper was included in the 2nd Workshop on Behavioral Modeling - Foundations and Applications (associated with the European Conference on Modelling Foundations and Applications, ECMFA 2010).

Aspect Modeling Case Study.

We have written a paper that discusses the use of Protocol Modeling for representing behavioral aspects. This paper describes a ModelScope solution to a "Crisis Management System" case study. (This case study was invented by Jörg Kienzle of McGill University et al. as a basis for the comparative study of aspect-oriented modeling techniques).

You can download this paper from here (390 K). This paper has been accepted for publication in a special issue of Transactions on Aspect Oriented Software Development (Springer) edited by Jörg Kienzle and devoted to a comparison of different aspectual modeling approaches.

You can also download the ModelScope solution to the Crisis Managment System case study from here (1170 K).