Amanote Research

Amanote Research

  • Register
  • Sign In

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

Categories

Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture

Date

April 1, 2012

Authors

Sylvain HalleRoger Villemaire

Publisher

Institute of Electrical and Electronics Engineers (IEEE)


Related search

Runtime Monitoring of Message-Based Workflows With Data

2008English

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

2015English

Achieving Autonomic Web Service Compositions With Models at Runtime

English

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