Foundations of session types and behavioural contracts
Behavioural type systems, usually associated to concurrent or distributed computations,
encompass concepts such as interfaces, communication protocols, and contracts, in addition …
encompass concepts such as interfaces, communication protocols, and contracts, in addition …
[图书][B] Always more than one: Individuation's dance
E Manning - 2013 - books.google.com
In Always More Than One, the philosopher, visual artist, and dancer Erin Manning explores
the concept of the" more than human" in the context of movement, perception, and …
the concept of the" more than human" in the context of movement, perception, and …
[图书][B] Business process management architectures
M Weske - 2007 - Springer
7 Business Process Management Architectures Page 1 7 Business Process Management
Architectures Following our discussion of the evolution of enterprise systems architectures in …
Architectures Following our discussion of the evolution of enterprise systems architectures in …
Engineering of software-intensive systems: state of the art and research challenges
M Hölzl, A Rauschmayer, M Wirsing - Software-Intensive Systems and …, 2008 - Springer
Software-intensive systems become more and more important in our everyday lives. But
their increasing complexity makes it difficult to develop and maintain them. This chapter …
their increasing complexity makes it difficult to develop and maintain them. This chapter …
A calculus for orchestration of web services
A Lapadula, R Pugliese, F Tiezzi - European Symposium on Programming, 2007 - Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …
language for SOC whose design has been influenced by WS-BPEL, the de facto standard …
SOCK: A Calculus for Service Oriented Computing
Abstract Service oriented computing is an emerging paradigm for designing distributed
applications where service and composition are the main concepts it is based upon. In this …
applications where service and composition are the main concepts it is based upon. In this …
Compiling affine loop nests for distributed-memory parallel architectures
U Bondhugula - Proceedings of the International Conference on High …, 2013 - dl.acm.org
We present new techniques for compilation of arbitrarily nested loops with affine
dependences for distributed-memory parallel architectures. Our framework is implemented …
dependences for distributed-memory parallel architectures. Our framework is implemented …
Towards a unifying theory for choreography conformance and contract compliance
M Bravetti, G Zavattaro - International Conference on Software …, 2007 - Springer
In the context of Service Oriented Computing, contracts are descriptions of the externally
observable behaviour of services. Given a group of collaborating services, their contracts …
observable behaviour of services. Given a group of collaborating services, their contracts …
Multiparty contracts: Agreeing and implementing interorganizational processes
WMP Van Der Aalst, N Lohmann… - The Computer …, 2010 - ieeexplore.ieee.org
To implement an interorganizational process between different enterprizes, one needs to
agree on the 'rules of engagement'. These can be specified in terms of a contract that …
agree on the 'rules of engagement'. These can be specified in terms of a contract that …
Choreography and orchestration conformance for system design
In a previous work we have presented a formal framework devoted to show the relevance of
choreography and orchestration in the design of service oriented applications. Even if useful …
choreography and orchestration in the design of service oriented applications. Even if useful …