17.1. SemanticsA lot of work (subsumed by the term semantic Web Figure 17-3, port type A is annotated by process model P. Based on the process model, operation o1 is the only operation available at the beginning of an interaction with an implementation of port type A. After o1 has been used, you can expect that operation o2 will send a message. After that, operations o3 and o4 will be available for use. Operation o3 is available only under certain conditions, such as if a variable named x has a value greater than 42. |