2661 search results - page 374 / 533 » A Semantics for Abstraction |
168
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Process-aware information systems should enable the flexible alignment of business processes to new requirements by supporting deviations from the predefined process mode...
132
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...
160
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
210
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents a systematic consideration of the major issues involved in translation of executable design level software specification languages to directly model-c...
162
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...