3212 search results - page 51 / 643 » Definition and modeling of process using object orientation |
115
click to vote
ASM
2008
ASM
14 years 12 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
FSEN
2007
Springer
14 years 11 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
ZUM
2005
Springer
15 years 3 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
APSEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
ADBIS
2008
Springer
14 years 12 months ago
2008
Springer
Integration processes are increasingly used in order to integrate distributed and heterogeneous systems. Although transactional behavior of workflows has been discussed extensively...