Information Technology Reference
In-Depth Information
Consistency Rules
all constraints
Model Checker
violated
constraint
Modification
Verification
Concretization
View
Service Logic
Abstraction
violating
Service Logic segment
Path Constructor
Fig. 5. The Service Design Process in IN- M eta Frame
instances from SIBs. After the services have been developed in the simula-
tion environment, with a rich execution environment, additional tests of the
new services are required in the live environment replacing simulated com-
ponents.
Our environment conjoins the desirable features of both approaches: the con-
straint-based Service Logic design restricts the liberal approach only where
needed, while it provides a handle for formal methods-based early error de-
tection and correction techniques. In combination with the traditional features
and the sophisticated error correction support, this drastically reduces the `time
to market'.
3.2 The Service Design Process
Figure 5, an application-specic renement of Figure 1, summarizes the global
structure of our approach, which supports an arbitrary decomposition of the
design process. This is necessary, since the same Service Design environment is
shared by teams of users with completely dierent proles. We oer the needed
design flexibility by means of the second of the following three phases:
Search WWH ::




Custom Search