What do semantics matter when the meat is overcooked?

José Luiz Fiadeiro

doi:10.1007/978-3-540-68679-8_35

What do semantics matter when the meat is overcooked?

José Luiz Fiadeiro

Science and Engineering Office

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Pages	563-580
Number of pages	18
DOIs	https://doi.org/10.1007/978-3-540-68679-8_35
Publication status	Published - 1 Jul 2008

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	5065 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

Access to Document

10.1007/978-3-540-68679-8_35

Cite this

Fiadeiro, J. L. (2008). What do semantics matter when the meat is overcooked? In Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (pp. 563-580). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5065 LNCS). https://doi.org/10.1007/978-3-540-68679-8_35

@inproceedings{3fe1d723163a4f85a0ba737caf6821cd,

title = "What do semantics matter when the meat is overcooked?",

abstract = "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.",

author = "Fiadeiro, {Jos{\'e} Luiz}",

year = "2008",

month = jul,

day = "1",

doi = "10.1007/978-3-540-68679-8_35",

language = "English",

isbn = "3540686762",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "563--580",

booktitle = "Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday",

}

Fiadeiro, JL 2008, What do semantics matter when the meat is overcooked? in Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5065 LNCS, pp. 563-580. https://doi.org/10.1007/978-3-540-68679-8_35

What do semantics matter when the meat is overcooked? / Fiadeiro, José Luiz.
Concurrency, Graphs and Models - Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. 2008. p. 563-580 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5065 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution