Towards a unified framework for declarative structured communications
Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based reasoning techniques. We introduce a declarative interpretation of the language for structured communications proposed by Honda, Vasconcelos, and Kubo. Distinguishing features of our approach are: the possibility of including partial information (constraints) in the session model; the use of explicit time for reasoning about session duration and expiration; a tight correspondence with logic, which formally relates session execution and linear-time temporal logic formulas.
Originalsprog | Engelsk |
---|---|
Tidsskrift | Electronic Proceedings in Theoretical Computer Science, EPTCS |
Vol/bind | 17 |
Sider (fra-til) | 1-5 |
Antal sider | 5 |
ISSN | 2075-2180 |
DOI | |
Status | Udgivet - 6 feb. 2010 |
Begivenhed | 2nd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009 - York, Storbritannien Varighed: 22 mar. 2009 → … |
Konference
Konference | 2nd International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009 |
---|---|
Land | Storbritannien |
By | York |
Periode | 22/03/2009 → … |
ID: 235144533