963 search results - page 75 / 193 » Formal Analysis of BPMN Models Using Event-B |
107
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
126
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
137
click to vote
IFM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
122
click to vote
SOFSEM
2009
Springer
15 years 10 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
103
click to vote
ISER
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we present a macroscopic model for the analysis of homogeneous task-directed multi-robot systems (MRS). The model is used to compute the probability that a given MRS ...