摘要 |
<p>The invention provides a method of detecting service interactions in intelligent networks. According to the invention, the detection method comprises a first stage in which services are formally specified and a second stage in which the thus specified services are checked for possible interactions. In the formal specification, use is made of conditions defining the execution of the services, such as pre-conditions, post-conditions and global conditions. The second stage is suitable for computer-assisted execution.</p> |