id: 05628378
dt: a
an: 05628378
au: Besana, Paolo; Barker, Adam
ti: An executable calculus for service choreography.
so: Meersman, Robert (ed.) et al., On the move to meaningful internet systems:
    OTM 2009. Confederated international conferences, CoopIS, DOA, IS, and
    ODBASE 2009, Vilamoura, Portugal, November 1‒6, 2009. Proceedings,
    Part I. Berlin: Springer (ISBN 978-3-642-05147-0/pbk). Lecture Notes in
    Computer Science 5870, 373-380 (2009).
py: 2009
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-05148-7_26
ab: Summary: The Lightweight Coordination Calculus (LCC) is a compact
    choreography language based on process calculus. LCC is a directly
    executable specification and can therefore be dynamically distributed
    to a group of peers for enactment at run-time; this offers flexibility
    and allows peers to coordinate in open systems without prior knowledge
    of an interaction. This paper contributes to the body of choreography
    research by proposing two extensions to LCC covering parallel
    composition and choreography abstraction. These language extensions are
    evaluated against a subset of the Service Interaction Patterns, a
    benchmark in the process modelling community.
rv: