Paper Info
Title
Semantic Criteria for Choosing a Language for Big-Step Models
Abstract
With the popularity of model-driven methodologies, and the abundance of modelling languages, a major question for a requirements engineer is: which language is suitable for modelling a system under study? We address this question from a semantic point-of-view for big-step modelling languages (BSMLs). BSMLs are a class of popular behavioural modelling languages in which a model can respond to an input by executing multiple, possibly concurrent, transitions. We deconstruct the operational semantics of a large class of BSMLs into high-level, orthogonal semantic aspects, and analyze the relative advantages and disadvantages of the common semantic options for each of these aspects. Our goal is to empower a requirements engineer to compare and choose an appropriate BSML.
Year
DOI
Venue
2009
10.1109/RE.2009.29
Atlanta, GA
Keywords
Field
DocType
computational linguistics,formal specification,program diagnostics,specification languages,behavioural modelling language,big-step model,model-driven methodology,operational semantic criteria,requirements engineer,Semantics of modelling languages,Statecharts,Synchronous languages,UML statemachines,big-step modelling languages,interactive systems,reactive systems
Operational semantics,Unified Modeling Language,Software engineering,Computer science,Computational linguistics,Popularity,Formal specification,Natural language processing,Artificial intelligence,Reactive system,Semantic computing,Management science
Conference
ISSN
ISBN
Citations 
1090-705X
978-0-7695-3761-0
4
PageRank 
References 
Authors
0.40
18
4
Name
Order
Citations
PageRank
Shahram Esmaeilsabzali1696.58
Nancy A. Day224321.26
Joanne M. Atlee393175.70
Jianwei Niu427526.61