Publikation: Repair of service-based processes – an ...
Stammdaten
Titel: | 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) |
Erscheinungsdatum: | 2010 (Print) |
Erschienen in: |
ALP Newsletter
ALP Newsletter
(
Association for Logic Programming (ALP);
)
zur Publikation |
Titel der Serie: | - |
Bandnummer: | - |
Heftnummer: | - |
Erstveröffentlichung: | Ja |
Seite: | - |
Gesamtseitenanzahl: | 7 S. |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 2010 |
ISBN: | - |
ISSN: | - |
Homepage: | - |
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Artificial Intelligence und Cybersecurity
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Zitationsindex |
Informationen zum Zitationsindex: Master Journal List
|
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen | Keine Arbeitsgruppe ausgewählt |
Kooperationen
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Publikation in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden