scientific article
From MaRDI portal
Publication:2847798
zbMath1271.68083MaRDI QIDQ2847798
Antonio Brogi, Antonio Vallecillo, Carlos Canal, Ernesto Pimentel
Publication date: 11 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104051606
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)
Related Items (11)
On the diversity of asynchronous communication ⋮ A perspective on service orchestration ⋮ A Petri net approach for the design and analysis of web services choreographies ⋮ Validation and verification of web services choreographies by using timed automata ⋮ Communicating by compatibility ⋮ Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets ⋮ A modular framework for verifying versatile distributed systems ⋮ Analysis of Realizability Conditions for Web Service Choreographies ⋮ Does My Service Have Partners? ⋮ A barred operational semantics for a subset of WS-CDL with time restrictions ⋮ A Rigorous Model of Service Component Architecture
This page was built for publication:
