963 search results - page 91 / 193 » Formal Analysis of BPMN Models Using Event-B |
DGO
2008
15 years 2 months ago
2008
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
102
click to vote
JUCS
2006
15 years 1 months ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
108
click to vote
FM
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
126
click to vote
TSE
2002
15 years 1 months ago
2002
Fluid (or Hybrid) Petri Nets with flush-out arcs are Petri net based models with two classes of places: discrete places that carry a natural number of distinct objects (tokens), a...
123
click to vote
AC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...