Reference health

Let’s Dance: A Language for Service Behavior Modeling

https://doi.org/10.1007/11914853_10
CiteStamped reference-health badge
6/6 checkable references clean · checked 2026-08-10

Every reference with a DOI in the deposited reference list resolved to a known work in Crossref or DataCite at the dated check, and none carried a retraction, withdrawal, or removal notice.

14 without a DOI — not checked. A reference deposited without a DOI is never matched by title or guessed at; it stays outside the checked set, and this line discloses that.

The 6 checked references that resolve
resolves10.1007/11538394_20
Service Interaction Patterns
resolves10.1007/3-540-45017-3_31
Conceptual Modeling of Web Service Conversations
resolves10.1023/A:1011227529550
LSCs: Breathing Life into Message Sequence Charts
resolves10.1006/jvlc.1996.0009
Usability Analysis of Visual Programming Environments: A ‘Cognitive Dimensions’ Framework
resolves10.1007/978-3-642-60794-3
Coloured Petri Nets
resolves10.1007/978-3-540-30581-1_4
Bringing Semantics to Web Services: The OWL-S Approach
The 14 references without a DOI — listed, not checked
no DOI — not checkedAndrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, version 1.1, May (2003), Available at: http://www-106.ibm.com/developerworks/webservices/library/ws-bpel
no DOI — not checkedKavantzas, N., Burdett, D., Ritzinger, G., Lafon, Y.: Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation (November 2005), http://www.w3.org/TR/ws-cdl-10
no DOI — not checkedClark, J., Casanave, C., Kanaskie, K., Harvey, B., Clark, J., Smith, N., Yunker, J., Riemer, K. (eds.): ebXML Business Process Specification Schema Version 1.01, UN/CEFACT and OASIS Specification (May 2001), http://www.ebxml.org/specs/ebBPSS.pdf
no DOI — not checkedDecker, G., Kirov, M., Zaha, J.M., Dumas, M.: Maestro for Let’s Dance: An Environment for Modeling Service Interactions. In: Demonstration Session of the 4th International Conference on Business Process Management (BPM), Vienna, Austria (September 2006)
no DOI — not checkedDecker, G., Zaha, J.M., Dumas, M.: Execution Semantics for Service Choreographies. In: Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM), Vienna, Austria, September 2006. Springer, Heidelberg (2006)
no DOI — not checkedFoster, H., Uchitel, S., Magee, J., Kramer, J.: Tool Support for Model-Based Engineering of Web Service Compositions. In: Proceedings of the IEEE International Conference on Web Servies (ICWS), Orlando FL, USA, July 2005. IEEE Computer Society, Los Alamitos (2005)
no DOI — not checkedHalpin, T.: Information Modeling and Relational Databases - From onceptual Analysis to Logical Design. Morgan Kaufmann, San Francisco (2001)
no DOI — not checkedObject Mangement Group (OMG): UML Profile for EDOC (February 2004), http://www.omg.org/technology/documents/formal/edoc.htm
no DOI — not checkedObject Management Group (OMG): UML 2.0 Superstructure Specification. OMG Document ptc/04-10-02 (October 2004), http://www.omg.org/cgi-bin/doc?ptc/2004-10-02
no DOI — not checkedRoman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web Service Modeling Ontology. Applied Ontology 1(1), 77–106 (2005)
no DOI — not checkedRosettaNet: Partner Interface Protocols, http://www.rosettanet.org
no DOI — not checkedWhite, S.: Business Process Modeling Notation (BPMN) – Version 1.0 (May 2004), http://www.bpmi.org
no DOI — not checkedZaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let’s Dance: A Unified Language for Service Behavior Modeling. Technical Report FIT-2006, Faculty of IT, Queensland University of Technology(2006), http://eprints.qut.edu.au/archive/00004468
no DOI — not checkedZaha, J.M., Dumas, M., ter Hofstede, A., Barros, A., Decker, G.: Service Interaction Modeling: Bridging Global and Local Views. In: Proceedings of the Tenth IEEE International Conference on Enterprise Distributed Object Computing (EDOC), Hong Kong, China, October 2006. IEEE Computer Society Press, Los Alamitos (2006)
What this badge says. CiteStamped means the CHECKABLE references of this work were clean at the dated check: each resolved to a known work in a public registry, and none carried a retraction notice at that time. It says nothing about the quality, findings, or importance of the work itself, and nothing about references deposited without a DOI.

checked 2026-08-10 — re-checked daily as this page is visited; titles and statuses come from Crossref and DataCite and are not part of the signed record

Embed this badge

Both snippets point at the live badge image and link back to this page. The badge re-renders from the daily check, so an embed never goes stale by more than a day of visits.

<a href="https://citestamp.com/citestamped/10.1007/11914853_10"><img src="https://citestamp.com/citestamped/10.1007/11914853_10/badge.svg" alt="CiteStamped reference-health badge" width="460" height="64"></a>
[![CiteStamped reference-health badge](https://citestamp.com/citestamped/10.1007/11914853_10/badge.svg)](https://citestamp.com/citestamped/10.1007/11914853_10)