On the public citation graph

Pattern-Based Specification and Validation of Web Services Interaction Properties

https://doi.org/10.1007/11596141_7
0 signed · 55 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/11538394_20openalex-snapshot
Service Interaction Patterns
inferredcites →https://doi.org/10.1007/3-540-45017-3_31openalex-snapshot
Conceptual Modeling of Web Service Conversations
inferredcites →https://doi.org/10.1007/978-3-540-24593-3_4openalex-snapshot
Automatic Composition of E-services That Export Their Behavior
inferredcites →https://doi.org/10.1007/978-3-540-24612-1_22openalex-snapshot
Representing Interaction Protocols in DAML
inferredcites →https://doi.org/10.1007/978-3-540-24679-4_17openalex-snapshot
Interaction Compatibility: An Essential Ingredient for Service Composition
inferredcites →https://doi.org/10.1007/978-3-540-30475-3_22openalex-snapshot
Semantic Web Service Interaction Protocols: An Ontological Approach
inferredcites →https://doi.org/10.1007/978-3-540-30587-3_16openalex-snapshot
Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability
inferredcites →https://doi.org/10.1007/978-3-540-40010-3_22openalex-snapshot
Discovering Web Services Using Behavioural Constraints and Ontology
inferredcites →https://doi.org/10.1023/a:1022883727209openalex-snapshot
Workflow Patterns
inferredcites →https://doi.org/10.1108/ir.1999.04926fae.001openalex-snapshot
Lecture Notes in Computer Science 1205
inferredcites →https://doi.org/10.1109/apsec.2005.55openalex-snapshot
Consistency and interoperability checking for component interaction rules
inferredcites →https://doi.org/10.1109/qsic.2005.54openalex-snapshot
Runtime Validation of Behavioural Contracts for Component Software
inferredcites →https://doi.org/10.1142/s021884300400105xopenalex-snapshot
ABSTRACTING AND ENFORCING WEB SERVICE PROTOCOLS
inferredcites →https://doi.org/10.1145/1035167.1035195openalex-snapshot
Smart monitors for composed services
inferredcites →https://doi.org/10.1145/302405.302672openalex-snapshot
Patterns in property specifications for finite-state verification

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11912873_18openalex-snapshot
Pattern Based Property Specification and Verification for Service Composition
inferred← citeshttps://doi.org/10.1007/978-3-540-74974-5_45openalex-snapshot
A Model and Rule Driven Approach to Service Integration with Eclipse Modeling Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-16599-3_17openalex-snapshot
Monitoring and Recovery of Web Service Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-29860-8_24openalex-snapshot
Runtime Verification of Data-Centric Properties in Service Based Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40787-1_8openalex-snapshot
Practical Interruptible Conversations
inferred← citeshttps://doi.org/10.1007/978-981-10-2546-4_9openalex-snapshot
Specification and Monitoring of Data-Centric Temporal Properties for Service-Based Internetware Systems
inferred← citeshttps://doi.org/10.1007/s00607-012-0215-yopenalex-snapshot
Monitoring and recovery for web service applications
inferred← citeshttps://doi.org/10.1007/s10703-014-0218-8openalex-snapshot
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
inferred← citeshttps://doi.org/10.1016/j.datak.2010.07.009openalex-snapshot
Using ontologies with UML class-based modeling: The TwoUse approach
inferred← citeshttps://doi.org/10.1016/j.jss.2012.05.075openalex-snapshot
Specification and monitoring of data-centric temporal properties for service-based systems
inferred← citeshttps://doi.org/10.1109/aswec.2006.6openalex-snapshot
A runtime monitoring and validation framework for Web service interactions
inferred← citeshttps://doi.org/10.1109/aswec.2007.18openalex-snapshot
Dynamic Protocol Aggregation and Adaptation for Service-Oriented Computing
inferred← citeshttps://doi.org/10.1109/cmce.2010.5610486openalex-snapshot
A method and framework for fetching software runtime state
inferred← citeshttps://doi.org/10.1109/dsc.2016.21openalex-snapshot
Web Service Run-Time Monitoring and Visualization Analysis Based on Probe
inferred← citeshttps://doi.org/10.1109/icdim.2012.6360108openalex-snapshot
A semantic web service composition dynamic detecting method
inferred← citeshttps://doi.org/10.1109/icime.2010.5477558openalex-snapshot
A Petri Net based runtime monitoring method for Web services specified with BPEL
inferred← citeshttps://doi.org/10.1109/iciw.2007.12openalex-snapshot
A Test Bed for Web Services Protocols
inferred← citeshttps://doi.org/10.1109/icse.2012.6227125openalex-snapshot
Specification patterns from research to industry: A case study in service-based applications
inferred← citeshttps://doi.org/10.1109/icse.2015.86openalex-snapshot
Specifying Event-Based Systems with a Counting Fluent Temporal Logic
inferred← citeshttps://doi.org/10.1109/icws.2010.19openalex-snapshot
Automated Runtime Verification for Web Services
inferred← citeshttps://doi.org/10.1109/icws.2011.124openalex-snapshot
Runtime Monitoring of Data-centric Temporal Properties for Web Services
inferred← citeshttps://doi.org/10.1109/ispdc.2006.5openalex-snapshot
A Sniffer Based Approach to WS Protocols Conformance Checking
inferred← citeshttps://doi.org/10.1109/scc.2006.80openalex-snapshot
Personalized Active Service Spaces for End-User Service Composition
inferred← citeshttps://doi.org/10.1109/sefm.2006.8openalex-snapshot
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols
inferred← citeshttps://doi.org/10.1109/sitis.2013.47openalex-snapshot
Pattern-Based Model Checking for Dynamic Analysis of Workflow Processes with Temporal Constraints
inferred← citeshttps://doi.org/10.1109/tase.2013.2253552openalex-snapshot
Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets
inferred← citeshttps://doi.org/10.1109/tnet.2012.2210443openalex-snapshot
A Formal Data-Centric Approach for Passive Testing of Communication Protocols
inferred← citeshttps://doi.org/10.1109/tsc.2009.16openalex-snapshot
Runtime Monitoring of Web Service Conversations
inferred← citeshttps://doi.org/10.1145/1321211.1321217openalex-snapshot
Runtime monitoring of web service conversations
inferred← citeshttps://doi.org/10.1145/1415472.1415498openalex-snapshot
Patterns for service-oriented information exchange requirements
inferred← citeshttps://doi.org/10.1145/3306608openalex-snapshot
How Understandable Are Pattern-based Behavioral Constraints for Novice Software Designers?
inferred← citeshttps://doi.org/10.1504/ijwgs.2013.055699openalex-snapshot
Runtime verification of service-oriented systems: a well-rounded survey
inferred← citeshttps://doi.org/10.25916/sut.26257619openalex-snapshot
Role oriented adaptive design
inferred← citeshttps://doi.org/10.25916/sut.26285305openalex-snapshot
Behavioural protocol representation and adaptation in a service composition framework
inferred← citeshttps://doi.org/10.4304/jsw.7.6.1338-1350openalex-snapshot
An Approach to Automated Runtime Verification for Timed Systems: Applications to Web Services
inferred← citeshttps://doi.org/10.5445/ir/1000009242openalex-snapshot
Model-Driven Management of Internal Controls for Business Process Compliance
inferred← citeshttps://doi.org/10.5555/2337223.2337341openalex-snapshot
Specification patterns from research to industry: a case study in service-based applications
inferred← citeshttps://doi.org/10.5555/2818754.2818843openalex-snapshot
Specifying event-based systems with a counting fluent temporal logic
inferred← citeshttps://doi.org/10.70675/1dfdddcez292ez4207zb20dze3122bfbaa7copenalex-snapshot
Test and Validation of Web Services
inferred← citeshttps://doi.org/10.70675/e0b92a87z651fz4e22z8c52zae7c4a687fa2openalex-snapshot
Cross-fertilizing formal approaches for protocol conformance and performance testing
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.