An object-oriented dual language for specifying reactive systems

Metric framework for object-oriented real-time systems specification languages

“…In addition, it should be noted that CR is strongly correlated with the verifiability index, VI (see Table 2 and Table 3). Our experiments have shown that the verifiability of basic object classes in the sense of formal verification of class behavior (Bucci et al, 1994) is guaranteed when VI > 1. For nonbasic object classes, VI depends on CC, which tends to grow with the system size; therefore, to get a measure of VI, independent of the system size, V1 should be obtained by dividing ECD by a normalized version of CC with respect to the number of class attributes.…”

“…In particular, being the BuoySystem-a nonbasic object class-the l/CR is the most indicative measure of class quality. In fact, it shows that the class is well specified at the external level with respect to its complexity; thus, its behavior can be easily verified (see Bucci et al (1994) for the process of verification).…”

“…In addition, it should be noted that to define a specific framework for measuring the quality of the specifications given in languages suitable for real-time system specification, many specific metrics must be defined (Warburton, 1983;Jensen and Vairavan, 1985;Wearing, 19921. This is due to several factors, including, (a) the need of using particular languages for specifying real-time systems (e.g., TROL by Bucci et al, 1994;TRIO+ by Morzenti and SanPietro, 1992; OSDL by Braek and Haugen, 1993, etc., as can be observed by Bucci et al, 19951, (b) the need to give more evidence to system behavior-i.e., to the presence of temporal and logical constraints on system behavior, (c) the need for verifiability metrica-tion of the specification consistency of the system under analysis, (d) the need to obtain valid measurements, even if the system is only partially specified (this is very useful for many algebraic and logical languages such as Object-Z by Carrington et al, 1990; VDM + + by Diirr and vanKatwijk, 1992; TRIO + by Morzenti and SanPietro, 1992; TROL by Bucci et al, 1994, etc.). Recently, an increase in attention to the process of software development has created the need to obtain process-oriented information and to integrate metrics into the software development process.…”

“…Conclusions are drawn in Section 5. To improve understanding of this article, the main features of the TOOMS/TROL notation are reported in Appendix A, while detailed descriptions of the TOOMS tool and TROL languages can be found in Bucci et al, (1993) and in Bucci et al (1994);Nesi (1993), respectively.…”

“…A code generator, which transforms the system specification from the TROL language into C ++ code, is also available. TOOMS is based on an object-oriented formal language and model named TROL (Nesi, 1993;Bucci et al, 1994). TROL adopts a dual model which is capable of integrating the operational and the descriptive formalism; its operational or descriptive features are similar to other IO-based objectoriented specification languages and methodse.g., TRIO + by Morzenti and SanPietro (1992); ObjectCharts by Coleman et al (1992); ObjectOriented version of SDL (OSDL) by Braek and Haugen (1993); Object-Time by Northern Telecom (1993).…”