Impossible Choreographies
نویسندگان
چکیده
منابع مشابه
Compositional Choreographies
We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typabil...
متن کاملAmending Choreographies
Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection. To guarantee that its projection is correct, i.e. it has the same behaviors of the original choreography, a choreography usually has to respect some coherency conditions. This restricts the set of choreographies that can be projected...
متن کاملBSopt Choreographies - Transforming Global Choreographies into Workflow Deployment Artifacts
This thesis covers the transformation of interorganizational business processes in the area of business-to-business (B2B) electronic commerce. It builds upon the approach devised as part of the Business Semantics on top of Process Technology (BSOPT) project [2]. BSopt aims to integrate management-, administrationand IT perspectives in B2B collaborations as inspired by the Open-edi reference mod...
متن کاملScripting Choreographies
We present a system for the simple and fast creation of character animation which is used within an augmented reality environment. Instead of using fixed sequences of animation, the motion of the characters are created by subtasks which are able to change the motion dynamically according to the environment. Dynamic motion models are used to produce the animation data. These dynamic motion model...
متن کاملApplied Choreographies
Choreographic Programming is a methodology for the development of concurrent software based on a correctness-by-construction approach which, given a global description of a system (a choreography), automatically generates deadlock-free communicating programs via an EndPoint Projection (EPP). Previous works use target-languages for EPP that, like their source choreography languages, model commun...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Creative Technologies
سال: 2018
ISSN: 2230-2115
DOI: 10.24135/jct.v0i7.42