What do semantics matter when the meat is overcooked?

José Luiz Fiadeiro

Research output: Chapter in Book/Report/Conference proceedingConference contribution


We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the configuration of global computers and an operational model of service-oriented dynamic reconfiguration based on a resolution-like mechanism similar to concurrent constraint programming. A resolution step involves a goal executed by a business activity and a clause that corresponds to a complex service. Unification captures service discovery, ranking and selection based on SLA-constraint optimisation and interpretations between specifications of conversations expected by the goal and provided by the discovered service. The resolvent is a reconfiguration of the original business activity that results from binding the goal with the discovered service.

Original languageEnglish
Title of host publicationConcurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Number of pages18
Publication statusPublished - 1 Jul 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5065 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

ASJC Scopus subject areas

  • General Computer Science
  • General Biochemistry,Genetics and Molecular Biology
  • Theoretical Computer Science


Dive into the research topics of 'What do semantics matter when the meat is overcooked?'. Together they form a unique fingerprint.

Cite this