348 search results - page 14 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
86
Voted
UML
2001
Springer
15 years 1 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
BPM
2004
Springer
15 years 2 months ago
2004
Springer
For the integration of electronic negotiation systems within information systems, it is essential to model both using the same modelling paradigm to avoid frictions. We develop a g...
FMICS
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
IFIP8
2007
14 years 11 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
80
Voted
SFM
2004
Springer
15 years 2 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...