On the public citation graph
Contract-based web service composition
0 signed · 115 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/0-387-29248-9_8openalex-snapshot
Using UDDI for Publishing Metadata of the Semantic Web
inferredcites →https://doi.org/10.1007/11560333_5openalex-snapshot
Contract-Based Web Service Composition Framework with Correctness Guarantees
inferredcites →https://doi.org/10.1007/3-540-36189-8_15openalex-snapshot
Formal Verification of e-Services and Workflows
inferredcites →https://doi.org/10.1007/3-540-36189-8_18openalex-snapshot
Importing the Semantic Web in UDDI
inferredcites →https://doi.org/10.1007/3-540-44751-2_30openalex-snapshot
On Demand Business-to-Business Integration
inferredcites →https://doi.org/10.1007/3-540-44880-2_22openalex-snapshot
Towards Practical Proofs of Class Correctness
inferredcites →https://doi.org/10.1007/3-540-45089-0_18openalex-snapshot
Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services
inferredcites →https://doi.org/10.1007/3-540-45177-3_4openalex-snapshot
Dependability in the Web Services Architecture
inferredcites →https://doi.org/10.1007/3-540-45706-2_6openalex-snapshot
Concepts and Technologies for a Worldwide Grid Infrastructure
inferredcites →https://doi.org/10.1007/3-540-47961-9_5openalex-snapshot
Web Component: A Substrate for Web Service Reuse and Composition
inferredcites →https://doi.org/10.1007/3-540-48005-6_26openalex-snapshot
Semantic Matching of Web Services Capabilities
inferredcites →https://doi.org/10.1007/3-540-48005-6_27openalex-snapshot
DAML-S: Web Service Description for the Semantic Web
inferredcites →https://doi.org/10.1007/978-1-4302-0166-3_3openalex-snapshot
Web Services Architecture
inferredcites →https://doi.org/10.1007/978-1-4471-0097-3_10openalex-snapshot
Towards Patterns of Web Services Composition
inferredcites →https://doi.org/10.1007/978-1-4612-6272-5openalex-snapshot
The Design of Well-Structured and Correct Programs
inferredcites →https://doi.org/10.1007/978-1-4615-5265-9openalex-snapshot
The Object-Z Specification Language
inferredcites →https://doi.org/10.1007/978-1-84882-736-3_3openalex-snapshot
The Abstract State Machines Method for High-Level System Design and Analysis
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-45236-2_46openalex-snapshot
ProB: A Model Checker for B
inferredcites →https://doi.org/10.1007/978-3-642-19193-0_7openalex-snapshot
Web Service Modeling Ontology
inferredcites →https://doi.org/10.1007/978-3-642-58041-3_6openalex-snapshot
The Polyadic π-Calculus: a Tutorial
inferredcites →https://doi.org/10.1007/978-3-642-81952-0_4openalex-snapshot
Empirical Explorations with the Logic Theory Machine: A Case Study in Heuristics
inferredcites →https://doi.org/10.1007/978-3-662-09438-9openalex-snapshot
Principles of Artificial Intelligence
inferredcites →https://doi.org/10.1007/bf01784241openalex-snapshot
Causal memory: definitions, implementation, and programming
inferredcites →https://doi.org/10.1007/s10799-004-7773-4openalex-snapshot
METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services
inferredcites →https://doi.org/10.1007/s11518-006-0118-6openalex-snapshot
A case for service systems engineering
inferredcites →https://doi.org/10.1016/0004-3702(75)90019-3openalex-snapshot
An analysis of alpha-beta pruning
inferredcites →https://doi.org/10.1016/0004-3702(85)90084-0openalex-snapshot
Depth-first iterative-deepening
inferredcites →https://doi.org/10.1016/0004-3702(94)90049-3openalex-snapshot
Time-efficient state space search
inferredcites →https://doi.org/10.1016/j.entcs.2004.11.011openalex-snapshot
Modeling and Model Checking Web Services
inferredcites →https://doi.org/10.1016/j.is.2004.02.002openalex-snapshot
YAWL: yet another workflow language
inferredcites →https://doi.org/10.1023/a:1014897210525openalex-snapshot
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
inferredcites →https://doi.org/10.1023/a:1025542915514openalex-snapshot
Semantic E-Workflow Composition
inferredcites →https://doi.org/10.1109/2.562936openalex-snapshot
Design by contract: the lessons of Ariane
inferredcites →https://doi.org/10.1109/32.825767openalex-snapshot
A classification and comparison framework for software architecture description languages
inferredcites →https://doi.org/10.1109/52.714817openalex-snapshot
Testing component-based software: a cautionary tale
inferredcites →https://doi.org/10.1109/88.494605openalex-snapshot
Distributed shared memory: concepts and systems
inferredcites →https://doi.org/10.1109/hicss.2005.501openalex-snapshot
Prediction of Partitioning in Location-Aware Mobile Ad Hoc Networks
inferredcites →https://doi.org/10.1109/icde.2001.914836openalex-snapshot
Inter-enterprise collaborative business process management
inferredcites →https://doi.org/10.1109/icde.2002.994738openalex-snapshot
Declarative composition and peer-to-peer provisioning of dynamic Web services
inferredcites →https://doi.org/10.1109/icws.2004.132openalex-snapshot
WS-Net: a Petri-net based specification model for Web services
inferredcites →https://doi.org/10.1109/ipdps.2004.1302998openalex-snapshot
An optimal protocol for causally consistent distributed shared memory systems
inferredcites →https://doi.org/10.1109/isorc.1999.776375openalex-snapshot
Towards predictable CORBA-based Web-services
inferredcites →https://doi.org/10.1109/isorc.2000.839535openalex-snapshot
Deadline-constrained causal order
inferredcites →https://doi.org/10.1109/mc.2003.1244535openalex-snapshot
Cover feature - Uncovering hidden contracts: the .net example
inferredcites →https://doi.org/10.1109/mc.2004.1266297openalex-snapshot
Routing and security in mobile ad hoc networks
inferredcites →https://doi.org/10.1109/mic.2004.58openalex-snapshot
Current solutions for Web service composition
inferredcites →https://doi.org/10.1109/mitp.2005.21openalex-snapshot
Trustworthy Web services: actions for now
inferredcites →https://doi.org/10.1109/nca.2005.17openalex-snapshot
Dynamic Quorums for DHT-based P2P Networks
inferredcites →https://doi.org/10.1109/reldis.2003.1238066openalex-snapshot
Coordinated forward error recovery for composite Web services
inferredcites →https://doi.org/10.1109/saintw.2003.1210129openalex-snapshot
Data storage requirements for the service oriented computing
inferredcites →https://doi.org/10.1109/scc.2004.1357986openalex-snapshot
Constraint driven web service composition in METEOR-S
inferredcites →https://doi.org/10.1109/scc.2005.30openalex-snapshot
Architectural support for automatic service composition
inferredcites →https://doi.org/10.1109/tse.2004.11openalex-snapshot
QoS-aware middleware for Web services composition
inferredcites →https://doi.org/10.1109/tssc.1968.300136openalex-snapshot
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
inferredcites →https://doi.org/10.1109/words.2003.1267486openalex-snapshot
On the Limits of the Precise Specification of Component Interfaces
inferredcites →https://doi.org/10.1109/wstfes.2004.1300412openalex-snapshot
Lightweight services for embedded systems
inferredcites →https://doi.org/10.1112/plms/s2-42.1.230openalex-snapshot
On Computable Numbers, with an Application to the Entscheidungsproblem
inferredcites →https://doi.org/10.1142/9789812794499_0021openalex-snapshot
EVOLVING ALGEBRAS: AN ATTEMPT TO DISCOVER SEMANTICS
inferredcites →https://doi.org/10.1145/1013367.1013398openalex-snapshot
B2B integration over the Internet with XML
inferredcites →https://doi.org/10.1145/1056777.1056779openalex-snapshot
Correction to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"
inferredcites →https://doi.org/10.1145/1060745.1060776openalex-snapshot
Learning domain ontologies for Web service descriptions
inferredcites →https://doi.org/10.1145/152610.152612openalex-snapshot
The consensus problem in fault-tolerant computing
inferredcites →https://doi.org/10.1145/205447.205450openalex-snapshot
Nomadic computing—an opportunity
inferredcites →https://doi.org/10.1145/210332.210335openalex-snapshot
Logical foundations of object-oriented and frame-based languages
inferredcites →https://doi.org/10.1145/235321.235322openalex-snapshot
The STATEMATE semantics of statecharts
inferredcites →https://doi.org/10.1145/336460.336473openalex-snapshot
Interoperation support for electronic business
inferredcites →https://doi.org/10.1145/511446.511457openalex-snapshot
Simulation, verification and automated composition of web services
inferredcites →https://doi.org/10.1145/775152.775199openalex-snapshot
A software framework for matchmaking based on semantic web technology
inferredcites →https://doi.org/10.1145/775152.775211openalex-snapshot
Quality driven web services composition
inferredcites →https://doi.org/10.1145/800228.806926openalex-snapshot
Automatic synthesis of optimal invariant assertions
inferredcites →https://doi.org/10.1287/isre.14.1.23.14768openalex-snapshot
XML–Based Schema Definition for Support of Interorganizational Workflow
inferredcites →https://doi.org/10.2307/2586546openalex-snapshot
Arithmetical representations of Brownian motion I
inferredcites →https://doi.org/10.25405/ncl.34123371openalex-snapshot
Fault Tolerance: Principles and Practice
inferredcites →https://doi.org/10.26190/unsworks/10836openalex-snapshot
Dynamic web services composition
inferredcites →https://doi.org/10.3233/jid-2001-5304openalex-snapshot
TRUST-BY-CONTRACT: MODELLING, ANALYSING AND PREDICTING BEHAVIOUR OF SOFTWARE ARCHITECTURES
inferredcites →https://doi.org/10.4018/jwsr.2005100103openalex-snapshot
AND/OR Graph and Search Algorithm for Discovering Composite Web Services
inferredcites →https://doi.org/10.4018/jwsr.2006040101openalex-snapshot
Search Strategies for Automatic Web Service Composition
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-540-68129-8_16openalex-snapshot
Analytical Availability Assessment of IT Services
inferred← citeshttps://doi.org/10.1007/978-3-540-78942-0_55openalex-snapshot
(Meta-)Models, Tools and Infrastructures for Business Application Integration
inferred← citeshttps://doi.org/10.1007/978-3-642-01112-2_34openalex-snapshot
Metamodeling Foundation for Software and Data Integration
inferred← citeshttps://doi.org/10.1007/978-3-642-02674-4_24openalex-snapshot
Model-Based Interoperability of Heterogeneous Information Systems: An Industrial Case Study
inferred← citeshttps://doi.org/10.1007/978-3-662-44300-2_3openalex-snapshot
Engineering Flexible Service-Oriented Transactions
inferred← citeshttps://doi.org/10.1109/aina.2010.129openalex-snapshot
User-Excentric Service Composition in Pervasive Environments
inferred← citeshttps://doi.org/10.1109/icmlc.2008.4620653openalex-snapshot
A coordination-theoretic modeling approach for web service composition
inferred← citeshttps://doi.org/10.1109/ieem.2008.4738236openalex-snapshot
A coordination-theory driven approach for manufacturing Web Services composition process
inferred← citeshttps://doi.org/10.1109/indin41052.2019.8972205openalex-snapshot
Granularity Cost Analysis for Function Block as a Service
inferred← citeshttps://doi.org/10.1109/nwesp.2008.27openalex-snapshot
Automatic Web Service Composition Considering User Non-functional Preferences
inferred← citeshttps://doi.org/10.1145/1842752.1842801openalex-snapshot
Modeling a composite RESTful web service with UML
inferred← citeshttps://doi.org/10.14279/depositonce-2482openalex-snapshot
Models, Methods and Tools for Availability Assessment of IT-Services and Business Processes
inferred← citeshttps://doi.org/10.17562/pb-49-2openalex-snapshot
Reliable Web Services Composition: An MDD Approach
inferred← citeshttps://doi.org/10.3969/j.issn.1004-4132.2010.04.027openalex-snapshot
Coordination-theoretic approach to modelling grid service composition process
inferred← citeshttps://doi.org/10.4018/978-1-60960-493-6.ch013openalex-snapshot
Model-based Methodology and Framework for Assessing Service and Business Process Availability
inferred← citeshttps://doi.org/10.5220/0004368000260036openalex-snapshot
Dynamic Transactional Workflows in Service-oriented Environments
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.