We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of
modeling and validating web services, workflows, interaction patterns and business …

We give a survey on work we did in the past where we have successfully applied the ASM
methodology to provide abstract models for a number of problem areas that are commonly …

With the advent of Service Oriented Architecture, Web Services have gained tremendous
popularity. Due to the availability of a large number of Web services, finding an appropriate …

Government e-services available to citizens represent one of the most frequent and critical
points of contact between public administrations and citizens. In addition to common …

After the emergence of Semantic Web and then the emergence of Semantic Web Service,
discovering the web services became specifically important. The core ontology is a semantic …

Service-oriented computing research activities focus on service foundations, service
composition, service management and monitoring, and service-oriented engineering. While …

The concept of goal is central in Artificial Intelligence and its modelling is a challenging
issue. It has been given much attention in areas such as Requirement Engineering (RE) and …

This thesis describes a formal approach to service repository design, where web services
are centrally published by service providers and queried by service consumers. Service …

El objetivo de nuestra investigación consiste en la aplicación de métodos formales de la
ingeniería del software, específicamente aquellos basados en sistemas formales …

Service-oriented Software Engineering embraces the construction of software systems from
available modules that can be acquired from service providers and assembled into a …