1239 search results - page 12 / 248 » Applying Model Checking to Concurrent UML Models |
UML
2001
Springer
15 years 6 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
134
Voted
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
154
Voted
SOSYM
2010
15 years 5 days ago
2010
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
123
Voted
SPIN
2010
Springer
15 years 5 days ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
UC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...