Loading...
Please wait, while we are loading the content...
Similar Documents
A Formal Operational Semantics for SOFL
| Content Provider | CiteSeerX |
|---|---|
| Author | Ho-Stuart, Chris |
| Abstract | hostuart @ t.qut.edu.au SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri nets to provide a graphical and textural formal notation for speci cation construction. Previous publications introducing SOFL are based on its informal semantics. In this paper, we provide a formal operational semantics which gives a rm foundation for consistent understanding and application of SOFL in practical systems development. Development of the semantics, and application of SOFL to practical systems, have led to some changes in the original de nitions. This formal semantics will serve as a rm foundation for building an e ective support environment for SOFL. 1. |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Data Ow Diagram Formal Operational Semantics Rm Foundation Au Sofl Structured-object-based-formal Language Speci Cation Construction Formal Language Practical System Textural Formal Notation Ective Support Environment Previous Publication Informal Semantics Formal Semantics Consistent Understanding Practical System Development Petri Net |
| Content Type | Text |