E-Book, Englisch, Band 4038, 299 Seiten, eBook
Ciancarini / Wiklicky Coordination Models and Languages
2006
ISBN: 978-3-540-34695-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings
E-Book, Englisch, Band 4038, 299 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-34695-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
Stochastic Reasoning About Channel-Based Component Connectors.- Atomic Commit and Negotiation in Service Oriented Computing.- Synthesizing Concurrency Control Components from Process Algebraic Specifications.- Automated Evaluation of Coordination Approaches.- Choreography and Orchestration Conformance for System Design.- Workflow Patterns in Orc.- Evolution On-the-Fly with Paradigm.- Formalising Business Process Execution with Bigraphs and Reactive XML.- Enabling Ubiquitous Coordination Using Application Sessions.- A WSDL-Based Type System for WS-BPEL.- Managing Ad-Hoc Networks Through the Formal Specification of Service Requirements.- A Logical View of Choreography.- Using Lime to Support Replication for Availability in Mobile Ad Hoc Networks.- Coordinating Computation with Communication.- Distributed Workflow upon Linkable Coordination Artifacts.- Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems.- Tuple Space Coordination Across Space and Time.- Compositional Semantics of an Actor-Based Language Using Constraint Automata.
