SCTL-MUS swMATH ID: 2245 Software Authors: Pazos Arias, José J.; García Duque, Jorge Description: SCTL-MUS: A formal methodology for software development of distributed systems. A case study 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.par 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 is automatic from the definition of architectural operators. Homepage: http://rd.springer.com/article/10.1007/PL00003939 Keywords: simple causal temporal logic; model of unspecified states Related Software: PVS; NuSMV; SLAM; TLA Cited in: 5 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year SCTL-MUS: A formal methodology for software development of distributed systems. A case study. Zbl 0991.68051Pazos Arias, José J.; García Duque, Jorge 2001 all top 5 Cited by 13 Authors 4 Pazos-Arias, José J. 3 Díaz-Redondo, Rebeca P. 3 FernándezVilas, Ana 3 García-Duque, Jorge 2 Gil-Solla, Alberto 1 Blanco-Fernández, Yolanda 1 Chechik, Marsha 1 Devereux, Benet 1 Easterbrook, Steve 1 Gurfinkel, Arie 1 Lai, Albert Y. C. 1 López-Nores, Martín 1 Ramos-Cabrer, Manuel Cited in 3 Serials 1 Formal Aspects of Computing 1 Journal of Logic and Computation 1 Formal Methods in System Design Cited in 2 Fields 5 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year