Runtime Enforcement of Web Service Message Contracts With Data

IEEE Transactions on Services Computing - United States
doi 10.1109/tsc.2011.10
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Runtime Monitoring of Message-Based Workflows With Data

2008English

Achieving Autonomic Web Service Compositions With Models at Runtime

English

SuperContra: Cross-Language, Cross-Runtime Contracts as a Service

2015English

A Theory of Runtime Enforcement, With Results

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Semi-Automated Management of Web Service Contracts

International Journal of Services Sciences
2008English

An Algebraic Theory for Web Service Contracts

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2015English

Testing Real-Time Systems With Runtime Enforcement

IEEE Design and Test
HardwareElectronic EngineeringElectricalArchitectureSoftware
2018English

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Runtime Enforcement of Reactive Systems Using Synchronous Enforcers

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy