Practical software analysis techniques exploit a form a process description, mostly in some avour of state diagram. Unlike typing information, these process structures are usually not passed down to the implementation level, and neither are they exploited in any form of consistency check. It is our belief that the information in most designs suffices to perform all sorts of consistency checks. This workshop paper studies a simple case where work ow processes interact with `actual' objects at the implementation level, and demonstrates how useful protocol checking can be in making and keeping these processes consistent with each other.
|Title of host publication||Proceedings of the ECOOP'99 Workshops, Panels, and Posters|
|Place of Publication||Berlin|
|Number of pages||2|
|Publication status||Published - 14 Jun 1999|
|Event||13th European Conference on Object-Oriented Programming, ECOOP 1999 - Lisbon, Portugal|
Duration: 14 Jun 1999 → 16 Jun 1999
Conference number: 13
|Name||Lecture Notes in Computer Science|
|Workshop||13th European Conference on Object-Oriented Programming, ECOOP 1999|
|Period||14/06/99 → 16/06/99|
van Rein, H. (1999). Protocol-Safe Workflow Support for Santa Claus. In Proceedings of the ECOOP'99 Workshops, Panels, and Posters (pp. 4-5). (Lecture Notes in Computer Science; Vol. 1743). Berlin: Springer.