Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Understanding and Comparing Model-Based Specification Notations Jianwei Niu, Joanne M. Atlee, Nancy A. Day
 

Summary: Understanding and Comparing Model-Based Specification Notations
Jianwei Niu, Joanne M. Atlee, Nancy A. Day
University of Waterloo
200 University Avenue West
Waterloo, Ontario, Canada
N2L 3G1
jniu,jmatlee,nday @uwaterloo.ca
Abstract
Specifiers must be able to understand and compare the
specification notations that they use. Traditional means for
describing notations' semantics (e.g., operational seman-
tics, logic, natural language) do not help users to iden-
tify the essential differences among notations. In previous
work, we presented a template-based approach to defining
model-based notations, in which semantics that are com-
mon among notations (e.g., the concept of an enabled tran-
sition)are captured in the template and a notation'sd istinct
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

  

Source: Atlee, Joanne M. - School of Computer Science, University of Waterloo

 

Collections: Computer Technologies and Information Sciences