Automatic Composition of E-services That Export Their Behavior

D. Berardi,Diego Calvanese,Giuseppe De Giacomo,M. Lenzerini,Massimo Mecella

Published 2003 in International Conference on Service Oriented Computing

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2003
Venue
International Conference on Service Oriented Computing
Publication date
2003-12-15
Fields of study
Computer Science
Identifiers
DOI 10.1007/978-3-540-24593-3_4
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

FINITE STATE AUTOMATA AS CONCEPTUAL MODEL FOR E-SERVICES
2004cited by this paper
: A Tool for Automatic Composition ofServices Based on Logics of Programs
2004cited by this paper
Conversation specification: a new approach to design and analysis of e-service composition
2003influential reference
A Foundational Vision of e-Services
2003cited by this paper
The Description Logic Handbook: Theory, Implementation, and Applications
2003cited by this paper
Automatic Composition of e-Services
2003cited by this paper
E-services: a look behind the curtain
2003influential reference
DAML-S: Web Service Description for the Semantic Web
2002cited by this paper
Simulation, verification and automated composition of web services
2002cited by this paper
Web Component: A Substrate for Web Service Reuse and Composition
2002cited by this paper
A Request Language for Web-Services Based on Planning and Constraint Satisfaction
2002cited by this paper
Tackling the challenges of service composition in e-marketplaces
2002cited by this paper
Web Services, E-Business, and the Semantic Web
2002cited by this paper
Building Flexible and Cooperative Applications Based on e-Services
2002cited by this paper
The Semantic Web - ISWC 2002, First International Semantic Web Conference, Sardinia, Italy, June 9-12, 2002, Proceedings
2002cited by this paper
Compatibility of workflow services in a cooperative multi-platform environment
2001cited by this paper
E-Services: Current Technology and Open Issues
2001cited by this paper
Reasoning in Expressive Description Logics
2001cited by this paper
Compatibility of e -Services in a Cooperative Multi-platform Environment
2001cited by this paper
XML-enabled workflow management for e-services across heterogeneous platforms
2001cited by this paper
Peer-to-Peer Traced Execution of Composite Services
2001cited by this paper
Agent-oriented technology in support of e-business
2001cited by this paper
Dynamic and adaptive composition of e-services
2001cited by this paper
Modeling and Composing Service-Based nd Reference Process-Based Multi-enterprise Processes
2000cited by this paper
Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981
1982cited by this paper

CITED BY

BlackBoxToBlueprint: Extracting Interpretable Logic from Legacy Systems using Reinforcement Learning and Counterfactual Analysis
2025cites this paper
Revisiting Lemos' Taxonomy for Service Compositions with Large Language Models
2025cites this paper
Adopting Large Language Models to Automated System Integration
2025cites this paper
Composition of Nondeterministic Services for LTLf Task Specification
2023cites this paper
Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications
2023influential citation
Orchestration of Blockchain-based Digital Twins
2023influential citation
Digital Twins Composition via Markov Decision Processes
2021cites this paper
Adapting Behaviors via Reactive Synthesis
2021cites this paper
From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems
2021cites this paper
Automated Web Service Composition Considering Service Intension and Extension
2021cites this paper
Synthesis of coordination programs from linear temporal logic
2019cites this paper
A Conceptual Architecture and Model for Smart Manufacturing Relying on Service-Based Digital Twins
2019cites this paper
Automated Composition, Analysis and Deployment of IoT Applications
2019cites this paper
Predictive Method for Service Composition in Heterogeneous Environments within Client Requirements
2019cites this paper
Unbounded Orchestrations of Transducers for Manufacturing
2019cites this paper
Transformation-based processing of typed resources for multimedia sources in the IoT environment
2019cites this paper
Synthesis of coordination programs from linear temporal specifications
2019cites this paper
(WIP) Towards the Automated Composition of Machine Learning Services
2018cites this paper
Synthesis of Orchestrations of Transducers for Manufacturing
2018influential citation
Context Verification and Adaptation in Web Service Composition
2018influential citation
An architecture for composition of services with heterogeneous interaction models
2018cites this paper
Automated Planning for Business Process Management
2018cites this paper
Constraint verification failure recovery in web service composition
2018cites this paper
Automated Machine Learning Service Composition
2018cites this paper
On-the-Fly Service Construction with Prototypes
2018cites this paper
Service Composition Under Probabilistic Requirements
2017influential citation
Predictive Failure Recovery in Constraint-aware Web Service Composition
2017influential citation
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
Checking Behavioural Compatibility in Service Composition with Graph Transformation
2017cites this paper
Radboud Repository of the Radboud University Nijmegen
2017influential citation
DISCO: A Dynamic Self-configuring Discovery Service for Semantic Web Services
2017cites this paper
Composability Verification of Multi-Service Workflows in a Policy-Driven Cloud Computing Environment
2017cites this paper
Supporting adaptiveness of cyber-physical processes through action-based formalisms
2017cites this paper
Service Composition in Stochastic Settings
2017cites this paper
Comprehensive and systematic review of the service composition mechanisms in the cloud environments
2017cites this paper
Decidability and Complexity of Web Service Business Protocol Synthesis
2016cites this paper
Intelligent Process Adaptation in the SmartPM System
2016cites this paper
Towards a formal study of automatic failure recovery in protocol-based web service composition
2016cites this paper
Assessing the effectiveness of automated service composition
2016cites this paper
Solving the Problem of Uncertainity Execution Effect Based on Web Service Composition
2016cites this paper
Automatic Web Service Composition Based on Uncertainty Execution Effects
2016cites this paper
Automatic semantic service composition aiming at increasing end-users' accessibility
2016cites this paper
Efficient Constraint Verification in Service Composition Design and Execution (Short Paper)
2016cites this paper
Domain-independent planning for services in uncertain and dynamic environments
2016cites this paper
Regular Open APIs
2016cites this paper
High Level Petri Net Modelling and Analysis of Flexible Web Services Composition
2016cites this paper
A Checking Service Composition Approach based on Model Transformation
2016cites this paper
Agent planning programs
2016cites this paper
An approach towards adaptive service composition in markets of composed services
2015cites this paper
Service Composition with PDDL Representations and Visualization over Videogame Engines (Short Paper)
2015cites this paper
Hypothetical Development among E-Services , Customer Satisfaction and Brand Trust in Pakistan
2015cites this paper
On-the-fly algorithm for the service composition problem
2015cites this paper
F eb 2 01 5 The Complexity of Synthesis from Probabilistic Components ∗
2015cites this paper
The Complexity of Synthesis from Probabilistic Components
2015cites this paper
A Comparative Study on Web Life CycleActivities & Composite Web Services
2015cites this paper
Automated Online Service Composition
2015cites this paper
A DSL for Contract-centric Compatibility Assessment in Distributed Services
2015influential citation
Web service interfaces design for e-business applications
2015cites this paper
Parametrized automata simulation and application to service composition
2015cites this paper
Service-Oriented Workflow Systems
2015cites this paper
Mobile business process construction principles on the mobile robot system platform
2015cites 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
Verifying responsiveness for open systems by means of conformance checking
2014cites this paper
End Users Developing Mashups
2014cites this paper
A Scalable Architecture for Automatic Service Composition
2014cites this paper
An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata
2014cites this paper
Decidability and complexity of checking simulation preorder between data-aware web services
2014cites this paper
Parallel computing based intelligent web service for healthcare platform
2014cites this paper
Petri nets for modeling robots
2014cites this paper
Informations personnelles sensibles aux contextes : modélisation, interrogation et composition. (Context-aware Personal Information : modeling, querying and composition)
2014cites this paper
Modelling and orchestration of service-based manufacturing systems via skills
2014cites this paper
A Rewriting Logic Approach for Automatic Composition of Web Services
2014cites this paper
Semantic Web Service Composition
2014cites this paper
Composition dynamique de services sensibles au contexte dans les systèmes intelligents ambiants
2014cites this paper
Web Service Composition Using Service Maps
2014cites this paper
User Preferences Based Automatic Web Service Composition
2014cites this paper
Composition et interopération des services web sémantiques
2014cites this paper
Expressiveness of Automatic Semantic Web Service Composition Approaches: A Survey based on Workflow Patterns
2014cites this paper
Towards a resilient service oriented computing based on ad-hoc web service compositions in dynamic environments
2014cites this paper
Issues of automated software composition in AI planning
2014cites this paper
Automated web service composition supporting conditional branch structures
2014cites this paper
Synthesis from Probabilistic Components
2014cites this paper
Automated Service Composition Based on Behaviors: The Roman Model
2014influential citation
Composition of Web Services based on Timed Mediation
2014cites this paper
Building Virtual Behaviors from Partially Controllable Available Behaviors in Nondeterministic Environments
2014cites this paper
Constraint-Aware Approach to Web Service Composition
2014cites this paper
Fresh-Variable Automata for Service Composition
2013cites this paper
Web service execution model for cloud environment
2013cites this paper
Formal specification of web services composition
2013cites this paper
Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces
2013cites this paper
Semi-Automated Software Composition Through Generated Components
2013cites this paper
Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform
2013cites this paper
Application of Services Relation Tracing to Automated Web Service Composition
2013cites this paper
Activity fragmentation in the web: empowering users to support their own webflows
2013cites this paper
Towards automatic recovery in protocol-based Web service composition. (Vers le recouvrement automatique dans la composition de services WEB basée protocole)
2013cites this paper
Survey on Services Composition Synthesis Model
2013cites this paper
Stateful Web Services -- Auto Modeling and Composition
2013cites this paper
Automatic behavior composition synthesis
2013cites this paper
Web Services Modeling and Composition Approach using Object-Oriented Petri Nets
2013cites this paper
Interlinking Distributed Services for Workflow-as-a-Service Based on Linked Data
2013cites this paper