348 search results - page 52 / 70 » Formalizing WSBPEL Business Processes Using Process Algebra |
DSOM
2007
Springer
15 years 5 months ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
DSVIS
1995
Springer
15 years 3 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
127
click to vote
SCP
2000
14 years 11 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
101
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. This paper introduces the subject of secrecy models development by transformation, with formal validation. In an enterprise, constructing a secrecy model is a participato...