Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6. 1 International Conference, Paris, France, September 26-29, 2006, Proceedings > Semantic-Based Development of Service-Oriented Systems
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6. 1 International Conference, Paris, France, September 26-29, 2006, Proceedings |
Elie Najm; Jean-Francois Pradat-Peyre; Véronique Viguié Donzeau-Gouge
Springer Berlin Heidelberg
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6. 1 International Conference, Paris, France, September 26-29, 2006, Proceedings
Semantic-Based Development of Service-Oriented Systems
Authors

Martin Wirsing; Allan Clark; Stephen Gilmore; Matthias Hölzl; Alexander Knapp; Nora Koch et al.

ARI Id

1665040246614_4578656

Access

Not Available Free

Pages

24-45

DOI

10.1007/11888116_3

Chapter URL

https://rd.springer.com/chapter/10.1007/11888116_3

Table of Contents of Book
Showing 1 to 20 of 35 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Modelling of Complex Software Systems: A Reasoned Overview
Daniel Krob
1-22
The  +  CAL Algorithm Language
Leslie Lamport
23-23
Semantic-Based Development of Service-Oriented Systems
Martin Wirsing; Allan Clark; Stephen Gilmore; Matthias Hölzl; Alexander Knapp; Nora Koch et al.
24-45
JSCL: A Middleware for Service Coordination
Gianluigi Ferrari; Roberto Guanciale; Daniele Strollo
46-60
Analysis of Realizability Conditions for Web Service Choreographies
Raman Kazhamiakin; Marco Pistore
61-76
Web Cube
I. S. W. B. Prasetya; T. E. J. Vos; S. D. Swierstra
77-92
Presence Interaction Management in SIP SOHO Architecture
Zohair Chentouf; Ahmed Khoumsi
93-98
Formal Analysis of Dynamic, Distributed File-System Access Controls
Avik Chaudhuri; Martín Abadi
99-114
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus
Tom Chothia
115-130
Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures
Luciano Baresi; Carlo Ghezzi; Luca Mottola
131-135
A LOTOS Framework for Middleware Specification
Nelson Souto Rosa; Paulo Roberto Freire Cunha
136-142
Automatic Synthesis of Assumptions for Compositional Model Checking
Bernd Finkbeiner; Sven Schewe; Matthias Brill
143-158
Refined Interfaces for Compositional Verification
Frédéric Lang
159-174
On Distributed Program Specification and Synthesis in Architectures with Cycles
Julien Bernet; David Janin
175-190
Generalizing the Submodule Construction Techniques for Extended State Machine Models
Bassel Daou; Gregor v. Bochmann
191-195
Decidable Extensions of Hennessy-Milner Logic
Radu Mardare; Corrado Priami
196-211
Symbolic Verification of Communicating Systems with Probabilistic Message Losses: Liveness and Fairness
C. Baier; N. Bertrand; Ph. Schnoebelen
212-227
A New Approach for Concurrent Program Slicing
Pierre Rousseau
228-242
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach
Daniela Colangelo; Daniele Compare; Paola Inverardi; Patrizio Pelliccione
243-258
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 35 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings