Tag Archives: Contract

Weaving Executeability into UML Class Diagrams

Again about the First European Workshop on Behavior Modelling in Model Driven Architecture [BM-MDA]. The second Presentation was about Weaving Executeability into UML Class Diagrams from Elvinia Riccobene of the Universtià degli Studi di Milano, Italy. The introductory criticue about … Continue reading

Posted in Model Driven Architecture, Model Driven Development | Tagged , , , , , , , | Leave a comment

Relation of BPMN Choreography Modeling and Pi-Calculus

It could be asked this question: Communicating processes have an analogy to communicating programs. In the eighties there have been quite some publications about this, including Milners Pi calculus. So how is the relation of BPMN choreography and this? My … Continue reading

Posted in BPMN in Research, Choreography | Tagged , , , , , | Leave a comment

Quality of Service Contracts

[ad] (1) speaks also about Quality of Service Contracts. In my understanding these questions need to be answered: Is the service synchronous or asynchronous. If it is asynchronous, are there queues (serialization contexts) or not? If there are queues, which … Continue reading

Posted in BPMN in Research, Choreography | Tagged , , , , , | Leave a comment