Loading [a11y]/accessibility-menu.js
Understanding and comparing model-based specification notations | IEEE Conference Publication | IEEE Xplore

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 sema...Show More

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. Previously, we presented a template-based approach 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. 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.
Date of Conference: 12-12 September 2003
Date Added to IEEE Xplore: 23 September 2003
Print ISBN:0-7695-1980-6
Print ISSN: 1090-705X
Conference Location: Monterey Bay, CA, USA

Contact IEEE to Subscribe

References

References is not available for this document.