Stammdaten

Repair of service-based processes – an application area for logic programming
Untertitel:
Kurzfassung: The handling of failing process executions has a long history in computer science. In this article we introduce methods for the diagnosis and repair of failed service-based processes and describe how logic programming can be successfully applied to problem solving. We formulate desirable properties like correctness, completeness, repair optimality and implementation/maintenance efficiency for this task and outline the problem using an introductory example. Finally, we sketch our solution based on model-based diagnosis, planning and logic programming which satisfies the desired qualities.
Schlagworte:
Publikationstyp: Sonstige Veröffentlichung (Autorenschaft)
Art der Veröffentlichung Printversion
Erschienen in: ALP Newsletter
ALP Newsletter
zur Publikation
 ( Association for Logic Programming (ALP); )
Erscheinungdatum: 2010
Titel der Serie: -
Bandnummer: -
Heftnummer: -
Erstveröffentlichung: Ja
Seite: -
Gesamtseitenanzahl: 7 S.

Identifikatoren

ISBN: -
ISSN: -
DOI: -
AC-Nummer: -
Homepage:
Open Access
  • Kein Open-Access

Zuordnung

Organisation Adresse
Fakultät für Technische Wissenschaften
 
Institut für Angewandte Informatik
Universitätsstr. 65-67
A-9020  Klagenfurt
Österreich
  -993705
   ainf@aau.at
https://www.aau.at/angewandte-informatik/
zur Organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Kategorisierung

Sachgebiete
  • 1108 - Informatik
Forschungscluster Kein Forschungscluster ausgewählt
Zitationsindex
  • n.a.
Informationen zum Zitationsindex: Master Journal List
Peer Reviewed
  • Ja
Publikationsfokus
  • Science to Science (Qualitätsindikator: n.a.)
Klassifikationsraster der zugeordneten Organisationseinheiten:
Arbeitsgruppen Keine Arbeitsgruppe ausgewählt

Kooperationen

Keine Kooperationspartner ausgewählt

Beiträge der Publikation

Keine verknüpften Publikationen vorhanden