Search Sciweavers | Sciweavers

15

CONCUR
2007
Springer

145views Distributed And Parallel Com...» more CONCUR 2007»

13 years 11 months ago

Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last decade [21,20,3,15,12,19,14]. The high expressive power of MSCs renders many basic ...

Thomas Gazagnaire, Blaise Genest, Loïc H&eacu...

claim paper

Read More »

15

click to vote

TOPNOC
2008

121views Artificial Intelligence» more TOPNOC 2008»

Translating Message Sequence Charts to other Process Languages Using Process Mining

13 years 4 months ago

Download is.tm.tue.nl

Message Sequence Charts (MSCs) are a well known language for specifying scenarios that describe how different actors (e.g., system components, people, or organizations) interact. M...

Kristian Bisgaard Lassen, Boudewijn F. van Dongen

claim paper

Read More »

20

click to vote

ENTCS
2008

123views more ENTCS 2008»

A Chart Semantics for the Pi-Calculus

13 years 4 months ago

Download research.microsoft.com

We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...

Johannes Borgström, Andrew D. Gordon, Andrew ...

claim paper

Read More »

13

click to vote

ICTAC
2004
Springer

120views Applied Computing» more ICTAC 2004»

Inherent Causal Orderings of Partial Order Scenarios

13 years 10 months ago

Download www.computing.surrey.ac.uk

Scenario based requirements speciﬁcations are the industry norm for deﬁning communication protocols. Basic scenarios captured as UML sequence diagrams, Message Sequence Charts ...

Bill Mitchell

claim paper

Read More »

12

click to vote

ECEASST
2008

70views more ECEASST 2008»

MSCar: Enhancing Message Sequence Charts with Interactivity for Analysing (Automotive) Communication Sequences

13 years 4 months ago