Protocol-Safe Workflow Support for Santa Claus

H. van Rein

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

63 Downloads (Pure)


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.
Original languageUndefined
Title of host publicationProceedings of the ECOOP'99 Workshops, Panels, and Posters
Place of PublicationBerlin
Number of pages2
ISBN (Print)3-540-66954-X
Publication statusPublished - 14 Jun 1999
Event13th European Conference on Object-Oriented Programming, ECOOP 1999 - Lisbon, Portugal
Duration: 14 Jun 199916 Jun 1999
Conference number: 13

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743


Workshop13th European Conference on Object-Oriented Programming, ECOOP 1999
Abbreviated titleECOOP


  • EWI-9645
  • METIS-119573
  • IR-67056

Cite this