Protocol-Safe Workflow Support for Santa Claus

H. van Rein

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

26 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.
van Rein, H. / Protocol-Safe Workflow Support for Santa Claus. Proceedings of the ECOOP'99 Workshops, Panels, and Posters. Berlin : Springer, 1999. pp. 4-5 (Lecture Notes in Computer Science).
@inproceedings{44564ce84a884ba1a8749b428e3590a9,
title = "Protocol-Safe Workflow Support for Santa Claus",
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.",
keywords = "EWI-9645, METIS-119573, IR-67056",
author = "{van Rein}, H.",
note = "Workshop on Object Interoperability (WOI 1999).",
year = "1999",
month = "6",
day = "14",
language = "Undefined",
isbn = "3-540-66954-X",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "4--5",
booktitle = "Proceedings of the ECOOP'99 Workshops, Panels, and Posters",

}

van Rein, H 1999, Protocol-Safe Workflow Support for Santa Claus. in Proceedings of the ECOOP'99 Workshops, Panels, and Posters. Lecture Notes in Computer Science, vol. 1743, Springer, Berlin, pp. 4-5, 13th European Conference on Object-Oriented Programming, ECOOP 1999, Lisbon, Portugal, 14/06/99.

Protocol-Safe Workflow Support for Santa Claus. / van Rein, H.

Proceedings of the ECOOP'99 Workshops, Panels, and Posters. Berlin : Springer, 1999. p. 4-5 (Lecture Notes in Computer Science; Vol. 1743).

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

TY - GEN

T1 - Protocol-Safe Workflow Support for Santa Claus

AU - van Rein, H.

N1 - Workshop on Object Interoperability (WOI 1999).

PY - 1999/6/14

Y1 - 1999/6/14

N2 - 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.

AB - 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.

KW - EWI-9645

KW - METIS-119573

KW - IR-67056

M3 - Conference contribution

SN - 3-540-66954-X

T3 - Lecture Notes in Computer Science

SP - 4

EP - 5

BT - Proceedings of the ECOOP'99 Workshops, Panels, and Posters

PB - Springer

CY - Berlin

ER -

van Rein H. Protocol-Safe Workflow Support for Santa Claus. In Proceedings of the ECOOP'99 Workshops, Panels, and Posters. Berlin: Springer. 1999. p. 4-5. (Lecture Notes in Computer Science).