Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10321397 | Data & Knowledge Engineering | 2005 | 35 Pages |
Abstract
This paper presents formal correctness criteria for composite services with respect to the definition of the involved services and introduces a method for defining correct composite services.
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Günter Preuner, Michael Schrefl,