Paper Info
Title
Understanding and Comparing Model-Based Specification Notations
Abstract
Specifiers must be able to understand and compare the specification notations that they use. Traditional means for describing notations' semantics (e.g., operational semantics, logic, natural language) do not help users to identify the essential differences among notations. In previous work, we presented a template-based approach to defining model-based notations, in which semantics that are common among notations (e.g., the concept of an enabled transition) are captured in the template and a notation's distinct semantics (e.g., which states can enable transitions) are specified as parameters. In this paper, we demonstrate the template's generality by using it to document the semantics of SCR, SDL, and Petri Nets. We also show how the template can be used to compare notation variants. We believe template definitions of notations ease a user's effort in understanding and comparing model-based notations.
Year
DOI
Venue
2003
10.1109/ICRE.2003.1232750
RE
Keywords
Field
DocType
specification notation,petri nets,distinct semantics,operational semantics,essential difference,notation variant,previous work,model-based specification notations,natural language,model-based notation,template definition,comparative modeling,petri net,formal specification
Notation,Operational semantics,Programming language,Petri net,Cognitive dimensions of notations,Computer science,Automaton,Formal specification,Natural language,Natural language processing,Artificial intelligence,Semantics
Conference
ISBN
Citations 
PageRank 
0-7695-1980-6
6
0.60
References 
Authors
10
3
Name
Order
Citations
PageRank
Jianwei Niu127526.61
Joanne M. Atlee293175.70
Nancy A. Day324321.26