SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study
Abstract.
This paper introduces an iterative model for the software development process of distributed systems. It is based on dealing with the system evolution and maintenance activities as similar stages of the system development. In order to formalise this model, a multi-valued causal temporal logic, referred to as Simple Causal Temporal Logic (SCTL), is defined for the acquisition and specification of the functional requirements. A Model of Unspecified States (MUS) is also defined with a double goal: firstly, to show the fundamental aspects of system behaviour, which has been specified through a set of SCTL requirements; and, secondly, to verify the consistency and completeness of the specified requirements.
The combination of SCTL and MUS allows obtaining the specification of the initial architecture of the system formally. Besides, the design decisions are stored with the goal of making the evolution and maintenance tasks easier. The translation between MUS and a constructive formal description technique (LOTOS) is automatic from the definition of architectural operators.
Index Terms
- SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study
Index terms have been assigned to the content through auto-classification.
Recommendations
χ-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications
ICSE '04: Proceedings of the 26th International Conference on Software EngineeringThe objective of this thesis is to extend the formal methodology of refinement of requirements specifications SCTL/MUS to a multi-perspective environment where coexist requirements specifications which belong to each stakeholder involved in the software ...
Comments
Information & Contributors
Information
Published In
© British Computer Society 2001.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 September 2001
Published in FAC Volume 13, Issue 1
Author Tag
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 50Total Downloads
- Downloads (Last 12 months)21
- Downloads (Last 6 weeks)8
Reflects downloads up to 13 Sep 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in