عنوان

Web services and formal methods :

شابک

3642298338

شابک

9783642298332

شماره

b567412

عنوان اصلي

Web services and formal methods :

نام عام مواد

[Book]

ساير اطلاعات عنواني

8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011 : revised selected papers

نام نخستين پديدآور

Marco Carbone, Jean-Marc Petit (Eds.).

محل نشرو پخش و غیره

Heidelberg

نام ناشر، پخش کننده و غيره

Springer, [

تاریخ نشرو بخش و غیره

2012]

نام خاص و کميت اثر

vi, 142 pages ; 24 cm.

عنوان فروست

Lecture notes in computer science, 7176.; LNCS sublibrary., SL 2,, Programming and software engineering.

متن يادداشت

Understanding Distributed Services through the [pi]-Calculus / Kohei Honda --; Reliable Contracts for Unreliable Half-Duplex Communications / Étienne Lozes and Jules Villard --; Behavior Based Service Composition / Fangzhe Chang, Pavithra Prabhakar and Ramesh Viswanathan --; Compatibility of Data-Centric Web Services / Benoît Masson, Loïc Hélouët and Albert Benveniste --; Time and Exceptional Behavior in Multiparty Structured Interactions / Hugo A. López and Jorge A. Pérez --; Toward Design, Modelling and Analysis of Dynamic Workflow Reconfigurations / A Process Algebra Perspective / Manuel Mazzara, Faisal Abouzaid, Nicola Dragoni and Anirban Bhattacharyya --; An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework / José Antonio Mateo, Valentín Valero and Gregorio Díaz --; Design of a BPEL Verification Tool / Elie Fares, Jean-Paul Bodeveix and Mamoun Filali --; Applying Process Analysis to the Italian eGovernment Enterprise Architecture / Roberto Bruni, Andrea Corradini, Gianluigi Ferrari, Tito Flagella and Roberto Guanciale, et al. --; Domain-Specific Multi-modeling of Security Concerns in Service-Oriented Architectures / Juan Pedro Silva Gallino, Miguel de Miguel, Javier F. Briones and Alejandro Alonso.

متن يادداشت

AnnotationThis book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermont-Ferrand, France, in September 2011. The workshop was co-located with the 9th International Conference on Business Process Management, BPM 2011. The 9 full papers presented were carefully reviewed and selected from 14 submissions. They deal with service oriented computing (SOC), cloud computing and formal methods.

موضوع مستند نشده

Formal methods (Computer science)

موضوع مستند نشده

Formal methods (Computer science) -- Congresses.

موضوع مستند نشده

Web services -- Congresses.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Marco Carbone, Jean-Marc Petit (Eds.).

مستند نام اشخاص تاييد نشده

Jean-Marc Petit

مستند نام اشخاص تاييد نشده

Marco Carbone

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y