Article

A Formal Operational Semantics for SOFL

Authors:

Chris Ho-Stuart,

Shaoying LiuAuthors Info & Claims

APSEC '97: Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference

Page 52

Published: 02 December 1997 Publication History

Publisher Site

Abstract

SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data flow diagrams, VDM-SL, and Petri nets to provide a graphical and textural formal notation for specification construction. Previous publications introducing SOFL are based on its informal semantics. In this paper, we provide a formal operational semantics which gives a firm 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 definitions. This formal semantics will serve as a firm foundation for building an effective support environment for SOFL.

Cited By

View all

Liu SShibata MSato R(1999)Applying SOFL to Develop a University Information SystemProceedings of the Sixth Asia Pacific Software Engineering Conference10.5555/518898.785687Online publication date: 7-Dec-1999
https://dl.acm.org/doi/10.5555/518898.785687
Liu SAsuka MKomaya KNakamura Y(1998)Applying SOFL to Specify A Railway Crossing Controller for IndustryProceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques10.5555/832314.837504Online publication date: 20-Oct-1998
https://dl.acm.org/doi/10.5555/832314.837504
Liu SOffutt AHo-Stuart COhba MSun Y(1998)SOFLIEEE Transactions on Software Engineering10.1109/32.66399624:1(24-45)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1109/32.663996

Recommendations

Abstract operational semantics for use case maps
FORTE'05: Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Scenario-driven requirement specifications are widely used to capture and represent functional requirements. Use Case Maps (UCM) is being standardized as part of the User Requirements Notation (URN), the most recent addition to ITU–T’s family of ...
An operational semantics for ZCCS
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

G. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is augmented with a rich data language. The data language can be used to describe sets, tuples and sequences etc. constructed from ...
Equivalence of formal semantics definition methods
Abstract
There are numerous methods of formally defining the semantics of computer languages. Each method has been designed to fulfil a different purpose. For example, some have been designed to make reasoning about languages as easy as possible; others ...

Comments

Information & Contributors

Information

Published In

APSEC '97: Proceedings of the Fourth Asia-Pacific Software Engineering and International Computer Science Conference

December 1997

ISBN:081868271X

Publisher

IEEE Computer Society

United States

Publication History

Published: 02 December 1997

Author Tag

operational-semantics data-flow-diagram specification

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 31 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Liu SShibata MSato R(1999)Applying SOFL to Develop a University Information SystemProceedings of the Sixth Asia Pacific Software Engineering Conference10.5555/518898.785687Online publication date: 7-Dec-1999
https://dl.acm.org/doi/10.5555/518898.785687
Liu SAsuka MKomaya KNakamura Y(1998)Applying SOFL to Specify A Railway Crossing Controller for IndustryProceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques10.5555/832314.837504Online publication date: 20-Oct-1998
https://dl.acm.org/doi/10.5555/832314.837504
Liu SOffutt AHo-Stuart COhba MSun Y(1998)SOFLIEEE Transactions on Software Engineering10.1109/32.66399624:1(24-45)Online publication date: 1-Jan-1998
https://dl.acm.org/doi/10.1109/32.663996

Abstract

Cited By

Recommendations

Abstract operational semantics for use case maps

An operational semantics for ZCCS

Equivalence of formal semantics definition methods

Comments

Information

Published In

Publisher

Publication History

Author Tag

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations