@inproceedings{8ec5f355be014d7f873fc32bc13215e9,
title = "Realizability criteria for compositional MSC",
abstract = "Synthesizing a proper implementation for a scenario-based specification is often impossible, due to the distributed nature of implementations. To be able to detect problematic specifications, realizability criteria have been identified, such as non-local choice. In this work we develop a formal framework to study realizability of compositional MSC [GMP03]. We use it to derive a complete classification of criteria that is closely related to the criteria for MSC from [MGR05]. Comparing specifications and implementations is usually complicated, because different formalisms are used. We treat both of them in terms of a single formalism. Therefore we extend the partial order semantics of [Pra86, KL98] with a way to model deadlocks and with a more sophisticated way to address communication.",
author = "A.J. Mooij and J.M.T. Romijn and J.W. Wesselink",
year = "2006",
doi = "10.1007/11784180_20",
language = "English",
isbn = "3-540-35633-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "248--262",
editor = "M. Johnson and V. Vene",
booktitle = "Algebraic Methodology and Software Technology (Proceedings 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006)",
address = "Germany",
}