A trace-based semantics for responsiveness

W. Vogler; C. Stahl; R. Müller

doi:10.1109/ACSD.2012.10

A trace-based semantics for responsiveness

W. Vogler
, C. Stahl
, R. Müller

Process Analytics

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

4 Citaten (Scopus)

Samenvatting

In the context of asynchronously communicating services, responsiveness guarantees that a service and its environment have always the possibility to communicate. The responsiveness preorder describes when one service can be replaced by another such that responsiveness is preserved. We study responsiveness for possibly unbounded services with and without final states, and present for both preorder variants a semantical characterization based on traces. Surprisingly, the preorders turn out not to be precongruences, and for both we characterize the coarsest precongruence which is contained in the respective preorder.

Originele taal-2	Engels
Titel	Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'12, Hamburg, Germany, June 27-29, 2012)
Plaats van productie	Piscataway
Uitgeverij	IEEE Computer Society
Pagina's	42-51
ISBN van geprinte versie	978-0-7695-4709-1
DOI's	https://doi.org/10.1109/ACSD.2012.10
Status	Gepubliceerd - 2012
Evenement	12th International Conference on Application of Concurrency to System Design (ACSD 2012) - Hamburg, Duitsland Duur: 27 jun. 2012 → 29 jun. 2012 Congresnummer: 12

Congres

Congres	12th International Conference on Application of Concurrency to System Design (ACSD 2012)
Verkorte titel	ACSD 2012
Land/Regio	Duitsland
Stad	Hamburg
Periode	27/06/12 → 29/06/12
Ander	ACSD 2012

Toegang tot document

10.1109/ACSD.2012.10

Citeer dit

@inproceedings{d5918065d51a4a31b145f1247ecd7ec1,

title = "A trace-based semantics for responsiveness",

abstract = "In the context of asynchronously communicating services, responsiveness guarantees that a service and its environment have always the possibility to communicate. The responsiveness preorder describes when one service can be replaced by another such that responsiveness is preserved. We study responsiveness for possibly unbounded services with and without final states, and present for both preorder variants a semantical characterization based on traces. Surprisingly, the preorders turn out not to be precongruences, and for both we characterize the coarsest precongruence which is contained in the respective preorder.",

author = "W. Vogler and C. Stahl and R. M{\"u}ller",

year = "2012",

doi = "10.1109/ACSD.2012.10",

language = "English",

isbn = "978-0-7695-4709-1",

pages = "42--51",

booktitle = "Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'12, Hamburg, Germany, June 27-29, 2012)",

publisher = "IEEE Computer Society",

address = "United States",

note = "12th International Conference on Application of Concurrency to System Design (ACSD 2012), ACSD 2012 ; Conference date: 27-06-2012 Through 29-06-2012",

}

Vogler, W, Stahl, C & Müller, R 2012, A trace-based semantics for responsiveness. in Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'12, Hamburg, Germany, June 27-29, 2012). IEEE Computer Society, Piscataway, blz. 42-51, 12th International Conference on Application of Concurrency to System Design (ACSD 2012), Hamburg, Hamburg, Duitsland, 27/06/12. https://doi.org/10.1109/ACSD.2012.10

A trace-based semantics for responsiveness. / Vogler, W.; Stahl, C.; Müller, R.
Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'12, Hamburg, Germany, June 27-29, 2012). Piscataway: IEEE Computer Society, 2012. blz. 42-51.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - A trace-based semantics for responsiveness

AU - Vogler, W.

AU - Stahl, C.

AU - Müller, R.

N1 - Conference code: 12

PY - 2012

Y1 - 2012

N2 - In the context of asynchronously communicating services, responsiveness guarantees that a service and its environment have always the possibility to communicate. The responsiveness preorder describes when one service can be replaced by another such that responsiveness is preserved. We study responsiveness for possibly unbounded services with and without final states, and present for both preorder variants a semantical characterization based on traces. Surprisingly, the preorders turn out not to be precongruences, and for both we characterize the coarsest precongruence which is contained in the respective preorder.

AB - In the context of asynchronously communicating services, responsiveness guarantees that a service and its environment have always the possibility to communicate. The responsiveness preorder describes when one service can be replaced by another such that responsiveness is preserved. We study responsiveness for possibly unbounded services with and without final states, and present for both preorder variants a semantical characterization based on traces. Surprisingly, the preorders turn out not to be precongruences, and for both we characterize the coarsest precongruence which is contained in the respective preorder.

U2 - 10.1109/ACSD.2012.10

DO - 10.1109/ACSD.2012.10

M3 - Conference contribution

SN - 978-0-7695-4709-1

SP - 42

EP - 51

BT - Proceedings 12th International Conference on Application of Concurrency to System Design (ACSD'12, Hamburg, Germany, June 27-29, 2012)

PB - IEEE Computer Society

CY - Piscataway

T2 - 12th International Conference on Application of Concurrency to System Design (ACSD 2012)

Y2 - 27 June 2012 through 29 June 2012

ER -

A trace-based semantics for responsiveness

Samenvatting

Congres

Toegang tot document

Vingerafdruk

Citeer dit