Protocol-Safe Workflow Support for Santa Claus

H. van Rein

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

32 Downloads (Pure)

Abstract

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
PublisherSpringer
Pages4-5
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
Volume1743
ISSN (Print)0302-9743

Workshop

Workshop13th European Conference on Object-Oriented Programming, ECOOP 1999
Abbreviated titleECOOP
CountryPortugal
CityLisbon
Period14/06/9916/06/99

Keywords

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

Cite this

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.