FORTE 2007 | Sciweavers

11

FORTE
2007

69views Formal Methods» more FORTE 2007»

New Bisimulation Semantics for Distributed Systems

13 years 5 months ago

Bisimulation semantics are a very pleasant way to deﬁne the semantics of systems, mainly because the simplicity of their deﬁnitions and their nice coalgebraic properties. Howev...

David de Frutos-Escrig, Fernando Rosa Velardo, Car...

claim paper

Read More »

5

click to vote

FORTE
2007

109views Formal Methods» more FORTE 2007»

A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets

13 years 5 months ago

Download www.daimi.au.dk

Positive ﬂows provide very useful informations that can be used to perform eﬃcient analysis of a model. Although algorithms computing (a generative family of) positive ﬂows i...

Sami Evangelista, Christophe Pajault, Jean-Fran&cc...

claim paper

Read More »

10

click to vote

FORTE
2007

116views Formal Methods» more FORTE 2007»

Specifying and Composing Interaction Protocols for Service-Oriented System Modelling

13 years 5 months ago

Download homepages.di.fc.ul.pt

Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...

João Abreu, Laura Bocchi, José Luiz ...

claim paper

Read More »

14

click to vote

FORTE
2007

127views Formal Methods» more FORTE 2007»

Exploring the Connection of Choreography and Orchestration with Exception Handling and Finalization/Compensation

13 years 5 months ago

Download www.is.pku.edu.cn

Web service choreography describes protocols for multiparty collaboration, whereas orchestration focuses on single peers. One key requirement of choreography is to support transact...

Hongli Yang, Xiangpeng Zhao, Chao Cai, Zongyan Qiu

claim paper

Read More »

8

click to vote

FORTE
2007

117views Formal Methods» more FORTE 2007»

Formalization of Network Quality-of-Service Requirements

13 years 5 months ago