ITU

Programming services with correlation sets

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Standard

Programming services with correlation sets. / Montesi, Fabrizio; Carbone, Marco.

Service Oriented Computing: Lecture Notes in Computer Science. Vol. 7084 Springer Publishing Company, 2011. p. 125-141.

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

Harvard

Montesi, F & Carbone, M 2011, Programming services with correlation sets. in Service Oriented Computing: Lecture Notes in Computer Science. vol. 7084, Springer Publishing Company, pp. 125-141.

APA

Montesi, F., & Carbone, M. (2011). Programming services with correlation sets. In Service Oriented Computing: Lecture Notes in Computer Science (Vol. 7084, pp. 125-141). Springer Publishing Company.

Vancouver

Montesi F, Carbone M. Programming services with correlation sets. In Service Oriented Computing: Lecture Notes in Computer Science. Vol. 7084. Springer Publishing Company. 2011. p. 125-141

Author

Montesi, Fabrizio ; Carbone, Marco. / Programming services with correlation sets. Service Oriented Computing: Lecture Notes in Computer Science. Vol. 7084 Springer Publishing Company, 2011. pp. 125-141

Bibtex

@inproceedings{59bafbc6a6bb4d7a96f2ed793e959338,
title = "Programming services with correlation sets",
abstract = "Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. We present a language for programming services based on correlation sets taking into account key aspects of service-oriented systems, such as distribution, loose coupling, open-endedness and integration. Distinguishing features of our approach are the notion of correlation aliases and an asynchronous communication model. Our language is equipped with formal syntax, semantics, and a typing system for ensuring desirable properties of programs with respect to correlation sets. We provide an implementation as an extension of the JOLIE language and apply it to a nontrivial real-world example of a fully-functional distributed user authentication system. ",
author = "Fabrizio Montesi and Marco Carbone",
year = "2011",
language = "English",
isbn = "978-3-642-25535-9_9",
volume = "7084",
pages = "125--141",
booktitle = "Service Oriented Computing",
publisher = "Springer Publishing Company",
address = "United States",

}

RIS

TY - GEN

T1 - Programming services with correlation sets

AU - Montesi, Fabrizio

AU - Carbone, Marco

PY - 2011

Y1 - 2011

N2 - Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. We present a language for programming services based on correlation sets taking into account key aspects of service-oriented systems, such as distribution, loose coupling, open-endedness and integration. Distinguishing features of our approach are the notion of correlation aliases and an asynchronous communication model. Our language is equipped with formal syntax, semantics, and a typing system for ensuring desirable properties of programs with respect to correlation sets. We provide an implementation as an extension of the JOLIE language and apply it to a nontrivial real-world example of a fully-functional distributed user authentication system.

AB - Correlation sets define a powerful mechanism for routing incoming communications to the correct running session within a server, by inspecting the content of the received messages. We present a language for programming services based on correlation sets taking into account key aspects of service-oriented systems, such as distribution, loose coupling, open-endedness and integration. Distinguishing features of our approach are the notion of correlation aliases and an asynchronous communication model. Our language is equipped with formal syntax, semantics, and a typing system for ensuring desirable properties of programs with respect to correlation sets. We provide an implementation as an extension of the JOLIE language and apply it to a nontrivial real-world example of a fully-functional distributed user authentication system.

M3 - Article in proceedings

SN - 978-3-642-25535-9_9

VL - 7084

SP - 125

EP - 141

BT - Service Oriented Computing

PB - Springer Publishing Company

ER -

ID: 34475413