4385 search results - page 322 / 877 » Abstraction for Concurrent Objects |
185
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
192
click to vote
OPODIS
2008
15 years 8 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
150
click to vote
PTS
2007
15 years 8 months ago
2007
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
161
click to vote
FMOODS
2006
15 years 8 months ago
2006
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
214
click to vote
OMER
2001
15 years 8 months ago
2001
Abstract: To synchronize concurrent regions of a state machine, the Unified Modeling Language (UML) provides the concept of so-called "synch states". Synch states insure ...