An intelligent geoportal orchestrates (automatically coordinate) web services to prepare,
discover and present information to the user. Implementations of web service standards by …

Web services have emerged as an important technology nowadays. There are two kinds of
requirements that are crucial to web service composition, which are functional and non …

Web service composition is an emerging technique to develop Web applications by
composing existing Web services. Web service composition is subject to two important …

As one of the most promising architectural styles, REpresentational State Transfer (REST)
was proposed to support a scalable and reliable design for large-scale distributed …

Service-oriented engineering is an emerging software development paradigm for distributed
collaborative applications. Services are developed independently and are composed to …

In this paper we investigate supervisor synthesis for a multi-agent system, which consists of
an indefinite number of agents, all instantiated from a given agent template via …

The design and verification of concurrent and real-time systems are notoriously difficult
problems. Among the software validation techniques, model checking approach has been …

In the Semantic (Web) Services area, services are considered black boxes with a semantic
description of their interfaces as to allow for precise service selection and configuration. The …

Semantic Web technologies are being increasingly adopted by the geospatial community
during last decade through the utilization of open standards for expressing and serving …

In this work, we are interested in the problem of service composition and particularly in the
choreography to orchestration automatic transformation problem. In this context, several …