Abstract diagnosis for timed concurrent constraint programs

DOI10.1017/S1471068411000135MaRDI QIDQ3087437zbMATH OpenOpenAlexFDO

Authors Laura Titolo, A. Villanueva, Marco Comini

Publication date 16 August 2011

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1109.1587

zbMATH Keywords

abstract diagnosisabstract interpretationconcurrent constraint paradigmdenotational semantics

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Abstract: The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced by the notion of store-as-constraint, which introduces some differences w.r.t. other approaches to concurrency. In this paper, we provide a general framework for the debugging of tccp programs. To this end, we first present a new compact, bottom-up semantics for the language that is well suited for debugging and verification purposes in the context of reactive systems. We also provide an abstract semantics that allows us to effectively implement debugging algorithms based on abstract interpretation. Given a tccp program and a behavior specification, our debugging approach automatically detects whether the program satisfies the specification. This differs from other semiautomatic approaches to debugging and avoids the need to provide symptoms in advance. We show the efficacy of our approach by introducing two illustrative examples. We choose a specific abstract domain and show how we can detect that a program is erroneous.

Recommendations

• Declarative Diagnosis of Temporal Concurrent Constraint Programs
• Abstract interpretation of temporal concurrent constraint programs
• Automatic verification of timed concurrent constraint programs
• scientific article; zbMATH DE number 1497788
• Proving correctness of timed concurrent constraint programs
• scientific article; zbMATH DE number 2087421
• Lectures on Concurrency and Petri Nets
• A symbolic model for timed concurrent constraint programming
• Timed default concurrent constraint programming
• Logic Programming

Cited in

(11)

• Models and emerging trends of concurrent constraint programming
• A semantic framework for the abstract model checking of tccp programs
• A program analysis framework for \textit{tccp} based on abstract interpretation
• scientific article; zbMATH DE number 1696892 (Why is no real title available?)
• Abstract model checking of \textsf{tccp} programs
• Abstract diagnosis for tccp using a linear temporal logic
• Declarative Diagnosis of Temporal Concurrent Constraint Programs
• Abstract interpretation of temporal concurrent constraint programs
• A symbolic model for timed concurrent constraint programming
• TCC, with history
• Abstract Analysis of Universal Properties for tccp

This page was built for publication: Abstract diagnosis for timed concurrent constraint programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3087437)