Conversation specification: a new approach to design and analysis of e-service composition

No abstract is available for this paper.

• Publication year

  2003

• Venue

  The Web Conference

• Publication date

  2003-05-20

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/775152.775210
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Business Process Execution Language for Web Services Version 1.1

  2003cited by this paper
• Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web

  2002cited by this paper
• Simulation, verification and automated composition of web services

  2002cited by this paper
• Detecting changes in XML documents

  2002cited by this paper
• DAML-S: Web Service Description for the Semantic Web

  2002cited by this paper
• XL: an XML programming language for web service specification and composition

  2002cited by this paper
• Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications

  2001cited by this paper
• Interface automata

  2001cited by this paper
• Interface Theories for Component-Based Design

  2001cited by this paper
• Self-Coordinated and Self-Traced Composite Services with Dynamic Provider Selection

  2001cited by this paper
• Developing E-Services for Composing E-Services

  2001cited by this paper
• Dynamic and adaptive composition of e-services

  2001cited by this paper
• A dynamic warehouse for XML Data of the Web.

  2001cited by this paper
• Simple Object Access Protocol (SOAP) 1.1, W3C Note

  2000cited by this paper
• Simple object access protocol (SOAP) 1.1

  2000cited by this paper
• Types for Correct Communication in Client-Server Systems

  2000cited by this paper
• C-Commerce Virtuality - Will it Work in the Internet?

  2000cited by this paper
• Relational transducers for electronic commerce

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998influential reference
• An Introduction to Automata Theory

  1988cited by this paper
• Hierarchical correctness proofs for distributed algorithms

  1987cited by this paper
• On Communicating Finite-State Machines

  1983cited by this paper
• Introduction to Automata Theory, Languages and Computation

  1979cited by this paper
• Quasi-realtime languages

  1970influential reference

• Deadlock Analysis of Microservice Systems with Bounded Buffers

  2024cites this paper
• Enabling Reliable Collaboration in Legacy Business Process Systems

  2024cites this paper
• Models and Methods for E-Commerce Systems Designing in the Global Economy Development Conditions Based on Mealy and Moore Machines

  2021influential citation
• The Smart City Ontology 2.0: Assessing the Components and Interdependencies of City Smartness

  2021cites this paper
• Requirements modeling of Web services-based business processes

  2020cites this paper
• The Smart City Ontology 2.0

  2020cites this paper
• Choreography Automata

  2020influential citation
• Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings

  2020cites this paper
• A Choreography Analysis Approach for Microservice Composition in Cyber-Physical-Social Systems

  2020cites this paper
• e-Learning Web Services and Their Composition Strategy in SOA

  2019cites this paper
• Introducing an Artifact-driven language for Service Composition

  2019cites this paper
• Transformation-based processing of typed resources for multimedia sources in the IoT environment

  2019cites this paper
• Radboud Repository of the Radboud University Nijmegen

  2017cites this paper
• Reconfigurable autonomy for future planetary rovers

  2017cites this paper
• Computational aspects of infinite automata simulation and closure system related issues. (Aspects de complexité du problème de composition des services web)

  2017cites this paper
• Complexity Aspects of Web Services Composition

  2017cites this paper
• AND/OR Directed Graph for Dynamic Web Service Composition

  2017cites this paper
• Domain-independent planning for services in uncertain and dynamic environments

  2016cites this paper
• Web-services reference architecture for software product lines : A quality-driven approach

  2016cites this paper
• Decidability and Complexity of Web Service Business Protocol Synthesis

  2016cites this paper
• Realizable temporal logics for web service choreography

  2016cites this paper
• A fine-grained approach towards asynchronous service composition of heterogeneous services

  2015cites this paper
• Composition of Web Services based on Timed Mediation

  2014cites this paper
• Decidability and complexity of simulation preorder for data-centric Web services. (Décidabilité et complexité de la relation de simulation des services Web orientés données)

  2014cites this paper
• Composition dynamique de services sensibles au contexte dans les systèmes intelligents ambiants

  2014cites this paper
• Decidability and complexity of checking simulation preorder between data-aware web services

  2014influential citation
• Composition et interopération des services web sémantiques

  2014cites this paper
• Automated Service Composition Based on Behaviors: The Roman Model

  2014cites this paper
• THE COMPLEX EVOLUTIONARY HISTORY OF SEEING RED: MOLECULAR PHYLOGENY AND THE EVOLUTION OF AN ADAPTIVE VISUAL SYSTEM IN DEEP‐SEA DRAGONFISHES (STOMIIFORMES: STOMIIDAE)

  2014cites this paper
• Semantic Web Service Composition

  2014cites this paper
• Semantic web services: Standards, applications, challenges and solutions

  2014cites this paper
• A Local Logic for Realizability in Web Service Choreographies

  2014cites this paper
• Decidability and Complexity of Simulation Preorder for Data-Centric Web Services

  2014cites this paper
• YAWL in the Cloud: Supporting Process Sharing and Variability

  2014cites this paper
• Verifying responsiveness for open systems by means of conformance checking

  2014cites this paper
• Composition of Web Services: From Qualitative to Quantitative Timed Properties

  2014cites this paper
• Model-Driven Approaches to Service Composition

  2013cites this paper
• An Approach for Composing Services Based on Environment Ontology

  2013cites this paper
• Gouvernance et supervision décentralisée des chorégraphies inter-organisationnelles. (Decentralized Monitoring of Cross-Organizational Service Choreographies)

  2013cites this paper
• Automatic behavior composition synthesis

  2013cites this paper
• Immune stability maintenance inspired model of Web services load balance

  2013cites this paper
• Interactive Petri Nets

  2013cites this paper
• Detecção de Violações de SLA em Coreografias de Serviços Web

  2013cites this paper
• Design Intend Solving: Dynamic Composition Method for Innovative Design Based on Virtual Cloud Manufacturing Resource Generators

  2013cites this paper
• A design methodology for verified web-service mediators

  2013cites this paper
• Survey on Services Composition Synthesis Model

  2013cites this paper
• Detection of logic flaws in multi-party business applications via security testing. (Détection d'anomalies logiques dans les logiciels d'entreprise multi-partis à travers des tests de sécurité)

  2013cites this paper
• A comprehensive approach to QoS-based single and composite service selection

  2013cites this paper
• Detection of Logic Flaws in Multi-party Business Applications via Security Testing

  2013cites this paper
• Choreography Revisited

  2013cites this paper
• Workshop on Data-Centric Workflows

  2013cites this paper
• Formal Approaches for Synthesis of Web Service Business Protocols

  2012cites this paper
• Secure composition of cascaded Web services

  2012cites this paper
• Monitoring business process compliance : a view based approach. (Monitoring de la conformité des processus métiers : approche à base de vues)

  2012cites this paper
• From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation

  2012cites this paper
• Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication

  2012cites this paper
• Consistency of Service Composition

  2012cites this paper
• Automatic Service Discovery Framework Based on Business Process Similarity

  2012cites this paper
• Service Ecologies for Home/Building Automation

  2012cites this paper
• Resource-Aware Decomposition of Geoprocessing Services Based on Declarative Request Languages

  2012cites this paper
• A formal model for service-oriented interactions

  2012cites this paper
• Issues on the Compatibility of Web Service Contracts

  2012cites this paper
• Research on Formal Modeling and Verification of BPEL-based Web Service Composition

  2012cites this paper
• Analysis and Design of Bio-Info-Collaborator Service Model to Collaborate Multiple Heterogeneous Bioinformatics Web Services

  2012cites this paper
• Flexible Quality of Service Management of Web Services Orchestrations. (Gestion Flexible de la Qualité de Service dans les Orchestrations de Services Web)

  2012cites this paper
• Representing Non-functional Requirements on Services - A Case Study

  2012cites this paper
• Declarative Choreographies for Artifacts

  2012influential citation
• Distributed Orchestration of Web Services under Security Constraints

  2011cites this paper
• Making Service Granularity Right: An Assistant Approach Based on Business Process Analysis

  2011cites this paper
• Component-based systems : from design to implementation. (Systèmes à base de composants : du design à l'implémentation)

  2011cites this paper
• A Scenario-based Framework for Perceiving Crossbreed Service Interactions

  2011cites this paper
• Converged Services Orchestration vs . Choreography Revised A Scenario ‐ based Approach for an Effective Enterprise Management

  2011cites this paper
• Service Oriented Multimedia Delivery System in Pervasive Environments

  2011cites this paper
• Interactive and Iterative Service-Composition-Based Approach to Flexible Information System Development

  2011cites this paper
• Automatic composition of information-providing web services based on query rewriting

  2011cites this paper
• Interactive Web service composition based on Petri net

  2011cites this paper
• Temporal Specifications for Services with Unboundedly Many Passive Clients

  2011cites this paper
• QoS-aware web service composition using genetic algorithms

  2011cites this paper
• Compliance of Web services over a high level specification. (Conformité de services Web par rapport à des spécifications de haut niveau)

  2011cites this paper
• PEWS platform: a web services composition environment

  2011cites this paper
• Resolution of constraint systems for automatic composition of security-aware Web Services. (Résolution de contraintes de déductibilité. Application à la composition de services Web sécurisés)

  2011cites this paper
• Décentralisation Optimisée et Synchronisation des Procédés Métiers Inter-Organisationnels. (Optimized Decentralization and synchronization of Inter-Organizaion Business Processes)

  2011cites this paper
• The homes of tomorrow: service composition and advanced user interfaces

  2011cites this paper
• Interactive Web service composition based on Petri net

  2011cites this paper
• An interface theory for service-oriented design

  2011cites this paper
• Characterizing Compatibility of Timed Choreography

  2011cites this paper
• Modelling Distributed Event-Based Systems Using the kell-m Calculus

  2011cites this paper
• Component-based systems : from design to implementation

  2011cites this paper
• Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis

  2011cites this paper
• Dynamic Analysis of Web Services

  2011cites this paper
• On the Optimal Petri Net Representation for Service Composition

  2011cites this paper
• A distributed framework for reliable and efficient service choreographies

  2011cites this paper
• Multi-Level Modeling of Web Service Compositions with Transactional Properties

  2011cites this paper
• Choreography conformance via synchronizability

  2011cites this paper
• Synthèse et compilation de services web sécurisés

  2011cites this paper
• Artifact-Centric Business Process Synthesis Framework Using Discrete Event Systems Theory

  2011cites this paper
• Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control

  2010cites this paper
• Transactional support for ad-hoc cooperations in mobile environments

  2010cites this paper
• Specifying and Composing Web Services with an Environment Ontology-Based Approach

  2010cites this paper
• Needs-driven service bundling in a multi-supplier setting: The comuputational e3 service approach

  2010cites this paper