Formal modelling languages are powerful tools to systematically represent and analyze the properties of systems. A myriad of new modelling languages, as well as extensions of existing ones, are proposed every year. We may consider that a modelling language is useful if it allows to represent the critical aspects of systems in an expressive way. In particular, we require that the modelling language allows to accurately discriminate between correct and incorrect behaviors concerning critical aspects of the model. In this paper we present a method to assess the suitability of a modelling language to define systems belonging to a specific domain. Basically, given a system, we consider alternative correct/incorrect systems and we study whether the representations provided by the studied modelling language keep the distinction between correct and incorrect as each alternative system does. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
López, N., Núñez, M., & Rodríguez, I. (2006). Assessing the expressivity of formal specification languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4019 LNCS, pp. 220–234). Springer Verlag. https://doi.org/10.1007/11784180_18
Mendeley helps you to discover research relevant for your work.