Tag Archives: Service

Commenting “A scenario is a behavioral view”

In A scenario is a behavioral view – Orchestrating services by scenario integration it is proposed to capture service behavior in the form of a certain petri net class, especially oclets (which is an acyclic Petri net with a local … Continue reading

Posted in BPMN in Research, Choreography, Model Driven Development | Tagged , , | Leave a comment

Thoughts about “A Theory of Service Behavior”

A Theory of Service Behavior tries to formalize – as the name sais – the behavior of a service. This is in contrast to the syntax of a service, that merely describes the datatypes, that need to be used – … Continue reading

Posted in BPMN in Research | 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