On-the-fly construction of provably correct service compositions - templates and proofs

No abstract is available for this paper.

• Publication year

  2016

• Venue

  Science of Computer Programming

• Publication date

  2016-10-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1016/j.scico.2016.04.002
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Formal Semantics for the Business Process Execution Language for Web Services

  2016cited by this paper
• Template-Based Generation of Semantic Services

  2015influential reference
• Verified Service Compositions by Template-Based Construction

  2014cited by this paper
• Algorithmic verification of procedural programs in the presence of code variability

  2014cited by this paper
• SeSAME: modeling and analyzing high-quality service compositions

  2014cited by this paper
• Inductive invariant generation via abductive inference

  2013cited by this paper
• Performance analysis of self-adaptive systems for requirements validation at design-time

  2013cited by this paper
• Ontology mapping using description logic and bridging axioms

  2013cited by this paper
• The MathSAT5 SMT Solver

  2013cited by this paper
• Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency

  2013cited by this paper
• Axiomatic Basis for Computer Programming

  2013cited by this paper
• Knowledge-Based Verification of Service Compositions -- An SMT Approach

  2013cited by this paper
• On-The-Fly Computing: A novel paradigm for individualized IT services

  2013cited by this paper
• Self-adaptive software needs quantitative verification at runtime

  2012cited by this paper
• A Hoare-style verification calculus for control state ASMs

  2012cited by this paper
• A hoare calculus for the verification of synchronous languages

  2012cited by this paper
• A Liskov Principle for Delta-Oriented Programming

  2012cited by this paper
• From Program to Logic: An Introduction

  2011cited by this paper
• The SMT-LIB Standard Version 2.0

  2010cited by this paper
• What Is an Ontology?

  2009cited by this paper
• Ontology Mapping

  2009cited by this paper
• The Palladio component model for model-driven performance prediction

  2009influential reference
• Program verification using templates over predicate abstraction

  2009cited by this paper
• Modular difference logic is hard

  2008cited by this paper
• Simulation and Formal Analysis of Workflow Models

  2008cited by this paper
• Formal semantics and analysis of control flow in WS-BPEL

  2007cited by this paper
• SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model

  2006cited by this paper
• Simplify: a theorem prover for program checking

  2005cited by this paper
• SWRL : A semantic Web rule language combining OWL and ruleML

  2004cited by this paper
• Rules and Queries with Ontologies: a Unifying Logical Framework

  2004cited by this paper
• Description Logics

  2004cited by this paper
• Web Ontology Language: OWL

  2004cited by this paper
• Bringing Semantics to Web Services: The OWL-S Approach

  2004cited by this paper
• Abstract operational semantics of the Business Process Execution Language for web services

  2004cited by this paper
• Under consideration for publication in Math. Struct. in Comp. Science Reo: A Channel-based Coordination Model for Component Composition

  2003cited by this paper
• A Coinductive Calculus of Component Connectors

  2002cited by this paper
• Avoiding exponential explosion: generating compact verification conditions

  2001cited by this paper
• Verification of Sequential and Concurrent Programs

  1997cited by this paper
• Formal Aspects of Workflow Management, Part 1: Semantics

  1997cited by this paper
• Reuse of Verified Design Templates Through Extended Pattern Matching

  1997cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Using Z - specification, refinement, and proof

  1996cited by this paper
• An industrial-strength method for the construction of formally verified software

  1996cited by this paper
• Design patterns: elements of reuseable object-oriented software

  1994cited by this paper
• A translation approach to portable ontology specifications

  1993cited by this paper
• Efficiently computing static single assignment form and the control dependence graph

  1991cited by this paper
• Model checking and modular verification

  1991cited by this paper
• Temporal Logic of Programs

  1987cited by this paper
• An axiomatic proof technique for parallel programs I

  1976cited by this paper

• Subproject B3: Composition Analysis in Unknown Contexts

  2023cites this paper
• Pragmatic Sensory Data Semantics With Service-Oriented Computing

  2019cites this paper
• Knowledge-based verification of service compositions

  2018cites this paper
• Evaluating the QoS Cognizance in Composition of Cloud Services: A Systematic Literature Review

  2018cites this paper
• Fault Localization in Service Compositions

  2017cites this paper