On the public citation graph
An Operating Guideline Approach to the SOA
0 signed · 111 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/11494881_16openalex-snapshot
Modeling- and Analysis Techniques for Web Services and Business Processes
inferredcites →https://doi.org/10.1007/978-3-030-72274-6openalex-snapshot
Introduction to Discrete Event Systems
inferredcites →https://doi.org/10.1109/qsic.2005.47openalex-snapshot
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture
inferredcites →https://doi.org/10.1109/tc.1986.1676819openalex-snapshot
Graph-Based Algorithms for Boolean Function Manipulation
inferredcites →https://doi.org/10.1137/0325013openalex-snapshot
Supervisory Control of a Class of Discrete Event Processes
inferredcites →https://doi.org/10.1142/s0218126698000043openalex-snapshot
THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT
inferredcites →https://doi.org/10.1147/sj.412.0198openalex-snapshot
Web services and business process management
inferredcites →https://doi.org/10.18452/2438openalex-snapshot
Operating Guidelines - an Alternative to Public View
inferredcites →https://doi.org/10.18452/2457openalex-snapshot
Matching Nondeterministic Services with Operating Guidelines
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11841760_27openalex-snapshot
Diagnosing SCA Components Using Wombat
inferred← citeshttps://doi.org/10.1007/11841760_3openalex-snapshot
Analyzing Interacting BPEL Processes
inferred← citeshttps://doi.org/10.1007/978-1-4614-6230-9_11openalex-snapshot
Specification and Generation of Adapters for System Integration
inferred← citeshttps://doi.org/10.1007/978-3-319-15895-2_31openalex-snapshot
YAWL in the Cloud: Supporting Process Sharing and Variability
inferred← citeshttps://doi.org/10.1007/978-3-319-16050-4_13openalex-snapshot
DSBAF: Running My Web Services in Your WS Environment
inferred← citeshttps://doi.org/10.1007/978-3-319-24626-0_13openalex-snapshot
Model Checking Web Services Choreography
inferred← citeshttps://doi.org/10.1007/978-3-319-46254-7_14openalex-snapshot
Towards a Comprehensive Formal Model for Business Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-91764-1_13openalex-snapshot
Checking and Enforcing Security Through Opacity in Healthcare Applications
inferred← citeshttps://doi.org/10.1007/978-3-540-68746-7_8openalex-snapshot
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-72912-9_2openalex-snapshot
Specifying and Monitoring Service Flows: Making Web Services Process-Aware
inferred← citeshttps://doi.org/10.1007/978-3-540-72988-4_7openalex-snapshot
Behavioral Consistency for B2B Process Integration
inferred← citeshttps://doi.org/10.1007/978-3-540-73094-1_20openalex-snapshot
Operating Guidelines for Finite-State Services
inferred← citeshttps://doi.org/10.1007/978-3-540-73859-6_9openalex-snapshot
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-540-75183-0_20openalex-snapshot
Behavioral Constraints for Services
inferred← citeshttps://doi.org/10.1007/978-3-540-76848-7_4openalex-snapshot
Extending BPMN for Modeling Complex Choreographies
inferred← citeshttps://doi.org/10.1007/978-3-540-78499-9_28openalex-snapshot
Symbolic Semantics Revisited
inferred← citeshttps://doi.org/10.1007/978-3-540-79230-7_10openalex-snapshot
From Public Views to Private Views – Correctness-by-Design for Services
inferred← citeshttps://doi.org/10.1007/978-3-540-79230-7_4openalex-snapshot
Analyzing BPEL4Chor: Verification and Participant Synthesis
inferred← citeshttps://doi.org/10.1007/978-3-540-87405-8_38openalex-snapshot
Abstract Semantics by Observable Contexts
inferred← citeshttps://doi.org/10.1007/978-3-540-93851-4_41openalex-snapshot
From OWL-S Descriptions to Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_1openalex-snapshot
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_10openalex-snapshot
Deciding Substitutability of Services with Operating Guidelines
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_11openalex-snapshot
A Framework for Linking and Pricing No-Cure-No-Pay Services
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_3openalex-snapshot
Petri Net Transformations for Business Processes – A Survey
inferred← citeshttps://doi.org/10.1007/978-3-642-00899-3_9openalex-snapshot
Does My Service Have Partners?
inferred← citeshttps://doi.org/10.1007/978-3-642-01247-1openalex-snapshot
Service-Oriented Computing – ICSOC 2008 Workshops
inferred← citeshttps://doi.org/10.1007/978-3-642-01247-1_7openalex-snapshot
Automatic Test Case Generation for Interacting Services
inferred← citeshttps://doi.org/10.1007/978-3-642-01364-5_12openalex-snapshot
Why Does My Service Have No Partners?
inferred← citeshttps://doi.org/10.1007/978-3-642-01364-5_14openalex-snapshot
Efficient Controllability Analysis of Open Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-01364-5_5openalex-snapshot
RESTful Petri Net Execution
inferred← citeshttps://doi.org/10.1007/978-3-642-01918-0_2openalex-snapshot
Service Interaction: Patterns, Formalization, and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-02424-5_17openalex-snapshot
Compositional Service Trees
inferred← citeshttps://doi.org/10.1007/978-3-642-13675-7_18openalex-snapshot
Wendy: A Tool to Synthesize Partners for Services
inferred← citeshttps://doi.org/10.1007/978-3-642-16901-4_11openalex-snapshot
Automatically Testing Web Services Choreography with Assertions
inferred← citeshttps://doi.org/10.1007/978-3-642-19589-1_9openalex-snapshot
Soundness-Preserving Refinements of Service Compositions
inferred← citeshttps://doi.org/10.1007/978-3-642-22386-0_1openalex-snapshot
Towards a Compiler for Business-IT Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-24396-7_11openalex-snapshot
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment
inferred← citeshttps://doi.org/10.1007/978-3-642-36926-1_24openalex-snapshot
Reflections on a Decade of Interorganizational Workflow Research
inferred← citeshttps://doi.org/10.1007/978-3-642-38143-0_4openalex-snapshot
Business Process Modeling Using Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-642-38230-7_3openalex-snapshot
Service Discovery with Cost Thresholds
inferred← citeshttps://doi.org/10.1007/978-3-642-40213-5_17openalex-snapshot
Checking Compatibility of Web Services Behaviorally
inferred← citeshttps://doi.org/10.1007/978-3-642-40465-8_6openalex-snapshot
When Can We Trust a Third Party?
inferred← citeshttps://doi.org/10.1007/978-3-642-45005-1_49openalex-snapshot
Synthesizing Cost-Minimal Partners for Services
inferred← citeshttps://doi.org/10.1007/978-3-642-45263-5_5openalex-snapshot
Web Service Composition Based on Petri Nets: Review and Contribution
inferred← citeshttps://doi.org/10.1007/978-3-662-44860-1_10openalex-snapshot
On Compatibility Analysis of Inter Organizational Business Processes
inferred← citeshttps://doi.org/10.1007/978-981-10-0539-8_27openalex-snapshot
Formalizing Dynamic Service Interaction Based on Pi-Calculus
inferred← citeshttps://doi.org/10.1007/s00165-010-0161-4openalex-snapshot
Soundness of workflow nets: classification, decidability, and analysis
inferred← citeshttps://doi.org/10.1007/s00287-008-0227-3openalex-snapshot
Choreografiemodellierung: Eine Übersicht
inferred← citeshttps://doi.org/10.1007/s12145-020-00446-9openalex-snapshot
Cloud enabled SDI architecture: a review
inferred← citeshttps://doi.org/10.1016/j.datak.2007.06.006openalex-snapshot
Analyzing interacting WS-BPEL processes using flexible model generation
inferred← citeshttps://doi.org/10.1016/j.datak.2009.04.003openalex-snapshot
Interacting services: From specification to execution
inferred← citeshttps://doi.org/10.1016/j.ifacol.2016.03.002openalex-snapshot
CTL Model Repair for Inter-organizational Business Processes Modelled as oWFN
inferred← citeshttps://doi.org/10.1016/j.infsof.2013.02.007openalex-snapshot
The use of software product lines for business process management: A systematic literature review
inferred← citeshttps://doi.org/10.1016/j.is.2011.08.004openalex-snapshot
Ensuring correctness during process configuration via partner synthesis
inferred← citeshttps://doi.org/10.1016/j.is.2019.101439openalex-snapshot
Formal foundations for responsible application integration
inferred← citeshttps://doi.org/10.1093/comjnl/bxn064openalex-snapshot
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes
inferred← citeshttps://doi.org/10.1108/k-07-2016-0178openalex-snapshot
Quantitative analysis of information leakage in service-oriented architecture-based Web services
inferred← citeshttps://doi.org/10.1109/apscc.2012.40openalex-snapshot
Towards Dynamic Evolution of Service Choreographies
inferred← citeshttps://doi.org/10.1109/compsac.2015.251openalex-snapshot
LTL Model Cheking of Service-Based Business Processes in the Cloud
inferred← citeshttps://doi.org/10.1109/cse.2013.55openalex-snapshot
Dynamic Adapter Reconfiguration in the Context of Business Protocol Evolution
inferred← citeshttps://doi.org/10.1109/dese.2010.45openalex-snapshot
Bank Loan Processes Modelling Using BPMN
inferred← citeshttps://doi.org/10.1109/dest.2007.371980openalex-snapshot
Soundness and Equivalence of Petri Nets and annotated Finite State Automate: A Comparison in the SOA context
inferred← citeshttps://doi.org/10.1109/edoc.2007.24openalex-snapshot
A Classification of Differences between Similar BusinessProcesses
inferred← citeshttps://doi.org/10.1109/icicci.2010.94openalex-snapshot
An Efficient Method for Diversifying Skylines in SOA Environment
inferred← citeshttps://doi.org/10.1109/icis.2011.57openalex-snapshot
Deciding Substitutability of Web Services with Petri Net Reduction Techniques
inferred← citeshttps://doi.org/10.1109/iciw.2008.14openalex-snapshot
Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping
inferred← citeshttps://doi.org/10.1109/icws.2012.113openalex-snapshot
Checking Compatibility of Web Services Using SOGs
inferred← citeshttps://doi.org/10.1109/icws.2013.31openalex-snapshot
Formal Abstraction and Compatibility Checking of Web Services
inferred← citeshttps://doi.org/10.1109/icws.2015.50openalex-snapshot
Opacity Preserving Abstraction for Web Services and Their Composition Using SOGs
inferred← citeshttps://doi.org/10.1109/icws.2016.53openalex-snapshot
Model Checking of Composite Cloud Services
inferred← citeshttps://doi.org/10.1109/isie.2008.4677247openalex-snapshot
Peer-Con: A process contracting overlay
inferred← citeshttps://doi.org/10.1109/isola.2006.58openalex-snapshot
Analysis Techniques for Service Models
inferred← citeshttps://doi.org/10.1109/ispa-bdcloud-socialcom-sustaincom57177.2022.00113openalex-snapshot
Checking Composition-Aware Service Substitutability
inferred← citeshttps://doi.org/10.1109/mis.2007.4338488openalex-snapshot
Semantic Web Services, Part 1
inferred← citeshttps://doi.org/10.1109/scc.2007.22openalex-snapshot
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
inferred← citeshttps://doi.org/10.1109/seaa.2009.21openalex-snapshot
BPELscript: A Simplified Script Syntax for WS-BPEL 2.0
inferred← citeshttps://doi.org/10.1109/soca.2012.6449433openalex-snapshot
Bridging the heterogeneity of orchestrations - A Petri net-based integration of BPEL and Windows Workflow
inferred← citeshttps://doi.org/10.1109/tsc.2010.57openalex-snapshot
Reducing Adapter Synthesis to Controller Synthesis
inferred← citeshttps://doi.org/10.1109/tsc.2013.36openalex-snapshot
Some Complexity Results for the Soundness Problem of Workflow Nets
inferred← citeshttps://doi.org/10.1109/tsc.2016.2605090openalex-snapshot
On the Verification of Opacity in Web Services and Their Composition
inferred← citeshttps://doi.org/10.1109/tsmc.2014.2311392openalex-snapshot
Transformation of Logical Workflow Nets
inferred← citeshttps://doi.org/10.1109/wcse.2010.90openalex-snapshot
Cow Breeding System Research Based on SOA and Web Services
inferred← citeshttps://doi.org/10.1145/1658373.1658376openalex-snapshot
Declarative specification and verification of service choreographiess
inferred← citeshttps://doi.org/10.1504/ijbpim.2007.015160openalex-snapshot
The role of business processes in service oriented architectures (Editorial)
inferred← citeshttps://doi.org/10.1504/ijbpim.2009.026986openalex-snapshot
Comparing and evaluating Petri net semantics for BPEL
inferred← citeshttps://doi.org/10.15514/syrcose-2012-6-20openalex-snapshot
Checking Service Compatibility via Resource Conformance
inferred← citeshttps://doi.org/10.18419/opus-2652openalex-snapshot
Abschlussbericht des Verbundprojekts Tools4BPEL
inferred← citeshttps://doi.org/10.18419/opus-2679openalex-snapshot
A tuplespace based execution model for decentralized workflow enactment : applied for BPEL
inferred← citeshttps://doi.org/10.18452/2457openalex-snapshot
Matching Nondeterministic Services with Operating Guidelines
inferred← citeshttps://doi.org/10.18452/2465openalex-snapshot
An Algorithm for Matching Nondeterministic Services with Operating Guidelines
inferred← citeshttps://doi.org/10.18453/rosdok_id00000716openalex-snapshot
Correctness of services and their composition
inferred← citeshttps://doi.org/10.31274/etd-180810-1124openalex-snapshot
A framework for safe composition of heterogeneous SOA services in a pervasive computing environment with resource constraints
inferred← citeshttps://doi.org/10.3233/fi-2009-133openalex-snapshot
A Net-based Approach to Web Services Publication and Replaceability
inferred← citeshttps://doi.org/10.3233/fi-2013-937openalex-snapshot
Analyzing Compatibility of Services via Resource Conformance
inferred← citeshttps://doi.org/10.3990/1.9789036532044openalex-snapshot
Behaviour modelling and transformations for context-aware mobile applications
inferred← citeshttps://doi.org/10.4018/jssoe.2011040103openalex-snapshot
Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments
inferred← citeshttps://doi.org/10.4018/jwsr.2012100103openalex-snapshot
Generic and Specific Compatibility Criteria for Web Service Composition
inferred← citeshttps://doi.org/10.6100/ir653260openalex-snapshot
Service substitution:a behavioral approach based on Petri Nets
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.