[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- William N Robinson & Sandeep Purao
- Specifications and Monitoring Interactions and commitments in Open Business Processes
- IEEE Software Magazine V26n2(Mar/Apr 2009)pp72-79
- =IDEA SERVICE BUSINESS PROCESS MODEL UML SEQUENCE DIAGRAMS OCL TEMPORAL LOGIC REQUIREMENTS MONITORING
- When many different components and/or actors provide services to each other ... with the network being
dynamically configured, one must define the interactions precisely and monitor to see if they
are being followed. For example, after a bill is sent to a customer, one expects to be paid...
- UML Sequence charts can show the protocols: patterns of messages.
- Add to this
conditional commitments (CC)
with four parts
- The actor who is committed to bring something about: customer.
- The actor who expects the the commitment: biller.
- The statement that becomes true: customer send payment.
- The conditions under which it becomes true: the biller billed the customer.
- Proposes a temporal logic extension to the OCL with clause like "after time until time...", "always....", "never ...", "eventually ...",
- By using existing logging service we can monitor the interactions and collect information on how well
commitments are being kept.
- Then see
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]