Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(4)
Concurrent Constraint Programming
Partial Information
Process Calculi
Linear Time Temporal Logic
Subscribe
Academic
Publications
Towards a Unified Framework for Declarative Structured Communications
Edit
Towards a Unified Framework for Declarative Structured Communications
(
Citations: 4
)
BibTex
|
RIS
|
RefWorks
Download
Hugo A. López
,
Carlos Olarte
,
Jorge A. Perez
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.
Journal:
Computing Research Repository - CORR
, vol. abs/1002.0, 2010
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.informatik.uni-trier.de
)
(
www.japerez.phipages.com
)
(
hal.archives-ouvertes.fr
)
(
arxiv.org
)
More »
Citation Context
(3)
...Therefore, the perfect tool would rely on a unified approach in which imperative and declarative techniques can converge, as a such way is suggested by [
19
], or on a harmonious integration of imperative-declarative formalisms...
Romain Demeyer
,
et al.
Declarative workflows to efficiently manage flexible and advanced busi...
...Lopez et al. [
LPO10
] encode a timed extension of multi-party sessions [HYC08] into the timed process calculus with concurrent constraints of [OV08]...
Mariangiola Dezani-Ciancaglini
,
et al.
Sessions and Session Types: An Overview
...It has also found application, e.g., in multimedia interaction systems [24] and declarative interpretation of languages for structured communications [
19
]...
...[15, 16]. As future work, it would be interesting to see if it is possible to carry out similar analyses in our framework for suitable fragments of π that can be encoded into utcc (see e.g., [
19
] that encodes a π-based language for structured communication into utcc)...
Moreno Falaschi
,
et al.
A framework for abstract interpretation of timed concurrent constraint...
References
(22)
Language Primitives and Type Discipline for Structured Communication-Based Programming
(
Citations: 216
)
Kohei Honda
,
Vasco Thudichum Vasconcelos
,
Makoto Kubo
Conference:
European Symposium on Programming - ESOP
, pp. 122-138, 1998
A Calculus for Orchestration of Web Services
(
Citations: 93
)
Alessandro Lapadula
,
Rosario Pugliese
,
Francesco Tiezzi
Conference:
European Symposium on Programming - ESOP
, pp. 33-47, 2007
The tempoml logic of reactive and concurrent sgstems: specification
(
Citations: 292
)
A. Pnueli
Published in 1991.
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
(
Citations: 44
)
Mogens Nielsen
,
Catuscia Palamidessi
,
Frank D. Valencia
Journal:
Nordic Journal of Computing - NJC
, vol. 9, no. 1, pp. 145-188, 2002
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security
(
Citations: 11
)
Carlos Olarte
,
Frank D. Valencia
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 8-19, 2008
Order by:
Citations
(4)
Declarative workflows to efficiently manage flexible and advanced business processes
Romain Demeyer
,
Maxime Van Assche
,
Ludovic Langevine
,
Wim Vanhoof
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 209-218, 2010
Sessions and Session Types: An Overview
(
Citations: 3
)
Mariangiola Dezani-Ciancaglini
,
Ugo de’Liguoro
Conference:
Web Services and Formal Methods - WSFM
, pp. 1-28, 2009
A framework for abstract interpretation of timed concurrent constraint programs
(
Citations: 2
)
Moreno Falaschi
,
Carlos Olarte
,
Catuscia Palamidessi
Conference:
Principles and Practice of Declarative Programming - PPDP
, pp. 207-218, 2009
Universal Temporal Concurrent Constraint Programming
Carlos Olarte
Published in 2009.