Towards a Unified Framework for Declarative Structured Communications

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 exp...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:arXiv.org
Hlavní autori: López, Hugo A, Olarte, Carlos, Pérez, Jorge A
Médium: Paper
Jazyk:English
Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 04.02.2010
Predmet:
Constraint modelling
Human communication
Programming languages
Reasoning
Temporal logic
ISSN:2331-8422
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract 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.
AbstractList 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.
Author Olarte, Carlos
Pérez, Jorge A
López, Hugo A
Author_xml – sequence: 1
  givenname: Hugo
  surname: López
  middlename: A
  fullname: López, Hugo A
– sequence: 2
  givenname: Carlos
  surname: Olarte
  fullname: Olarte, Carlos
– sequence: 3
  givenname: Jorge
  surname: Pérez
  middlename: A
  fullname: Pérez, Jorge A
BookMark eNotj89LwzAcxYMoOOfuHgOeW_PN7x2lbioMPFjPI00T6FwTTdrNP9-Ant7h83iPzw26DDE4hO6A1FwLQR5M-hlONRBCa7Jm5AItKGNQaU7pNVrlfCAFSUWFYAu0aePZpD5jgz_C4AfX420yozvH9Il9TPjJ2aNJZhpODr9PabbTnEqpieM4h8EWEEO-RVfeHLNb_ecStdtN27xUu7fn1-ZxVxkBUAmrQWrJmJWgtKFW6Q6Y8z3wToDpOy6F9UpzUkSo8pw7ENJp11ujPfdsie7_Zr9S_J5dnvaHOKdQHveUaMWL0RrYL8i8Tjw
ContentType Paper
Copyright 2010. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2010. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.1002.0930
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials - QC
ProQuest Central
Technology Collection
ProQuest One Community College
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
ProQuest Central Premium
ProQuest One Academic (New)
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering Collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a511-5c8168633c6178a2c78b13efd14b51adb465cf784048527f44e156e8edca8f4f3
IEDL.DBID M7S
IngestDate Mon Jun 30 09:35:08 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a511-5c8168633c6178a2c78b13efd14b51adb465cf784048527f44e156e8edca8f4f3
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2087455391?pq-origsite=%requestingapplication%
PQID 2087455391
PQPubID 2050157
ParticipantIDs proquest_journals_2087455391
PublicationCentury 2000
PublicationDate 20100204
PublicationDateYYYYMMDD 2010-02-04
PublicationDate_xml – month: 02
  year: 2010
  text: 20100204
  day: 04
PublicationDecade 2010
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2010
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.4321764
SecondaryResourceType preprint
Snippet We present a unified framework for the declarative analysis of structured communications. By relying on a (timed) concurrent constraint programming language,...
SourceID proquest
SourceType Aggregation Database
SubjectTerms Constraint modelling
Human communication
Programming languages
Reasoning
Temporal logic
Title Towards a Unified Framework for Declarative Structured Communications
URI https://www.proquest.com/docview/2087455391
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB60VfDkGx-15OA12myyr5OgtihoWWwP9VSyswkUpK27Wvz5TtKtIoIXj0v2sJlsZr55fQNw3jEYpDoNuTWp5ArR3Tm67pbMO0oswgh9o_BD3O8no1Ga1QG3qi6rXOlEr6iLGboYOTnpjpg9lKm4mr9yNzXKZVfrERrr0HQsCcKX7g2-YixBFBNilsvspKfuutTlx2TheUcvyJfv_NLA3qz0tv_7QTvQzPTclLuwZqZ7sOnLObHah-7QV8NWTDMClZZgJuutqrAYwVR2a_ClJv1mA08h-17SSz_aRaoDGPa6w5s7Xg9M4JpwEw_RDdGIpETX96cDjJNcSGMLofJQ6CJXUYg2JpeOZBHEVilD3ptJTIE6scrKQ2hMZ1NzBMySI5UkqUvSkcnP4zwSmk60MMK4YUPqGForoYzrn74af0vk5O_lU9haJuED3lEtaNA2zRls4OJtUpVtaF53-9lT258lPWX3j9nzJ_AXqgg
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V07T8MwED6VFgQTb_EokAHGQBI7Dw-IgbZq1VJVaoZukePYUiXUlgQK_Cj-I2e3ASEktg7MjqxY9_B3vu_uAC4dKTzGmW8ryYhNhdA2h-au8HoXRGR-IEyhcC_s96PRiA0q8FHWwmhaZekTjaPOpkK_kWOQrhuz-4S5d7MnW0-N0tnVcoTGQi268v0VQ7bittNA-V55XqsZ37ft5VQBmyO4sH2hJ00EhAhdHMc9EUapS6TKXJr6Ls9SGvhChRj30Mj3QkWpxBBHRjITPFJUEdx2DWqIIjxmmILDrycdLwgRoJNFMtR0Crvh-dt4btqcXjuMOL8cvrnFWtv_7Pw7UBvwmcx3oSIne7BhyKqi2IdmbLi-hcUthMwKQbTVKjlmFoJwqyHF47KluTU0DXJfcvzoRzFMcQDxKn78EKqT6UQegaUwTIwiplOQCGjSMA1cjvqaSVfqUUr0GOqlDJKlSRfJtwBO_l6-gM12_NBLep1-9xS2FnQDz3ZoHap4ZHkG62L-PC7yc6M-FiQrFtcnuAUBow
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Towards+a+Unified+Framework+for+Declarative+Structured+Communications&rft.jtitle=arXiv.org&rft.au=L%C3%B3pez%2C+Hugo+A&rft.au=Olarte%2C+Carlos&rft.au=P%C3%A9rez%2C+Jorge+A&rft.date=2010-02-04&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.1002.0930