Formal Specification of Control Software Systems using Behavioral Views
Main Article Content
Abstract
Large-scale control software systems are generally complex to describe, construct, manage, understand, and maintain. This paper
approaches to reducing this complexity separate software structural and behavioral descriptions. Much research about control software systems
continues on software structures and their patterns, characterizations, and classifications. Currently, research on the behavioral aspect of control
software systems includes using formal notations for specifying software behaviors. Large formal specifications, however, can be difficult to
create and to understand; more research is needed into methods for assisting software requirements engineers in reducing these difficulties. This
paper uses the idea of a software behavioral view. We believe that a fully developed methodology based on views would significantly reduce the
complexity of creating and understanding software requirements. This paper deals with the use of view formalism, a state chart based formalism,
to specify of control logic for a telephone set system.
Â
Keywords: Formal method; requirement specification; control system software; behavioral views and statecharts;
Downloads
Article Details
COPYRIGHT
Submission of a manuscript implies: that the work described has not been published before, that it is not under consideration for publication elsewhere; that if and when the manuscript is accepted for publication, the authors agree to automatic transfer of the copyright to the publisher.
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgment of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgment of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work
- The journal allows the author(s) to retain publishing rights without restrictions.
- The journal allows the author(s) to hold the copyright without restrictions.