Proposing a Formal Method to Reduce RTS Logical Model Complexity

Authors:
Francisco Supino Marcondes;Emilia de Menezes Colonese;Ítalo Santiago Vega;Luiz Alberto Vieira Dias
Affiliations:
-;-;-;-
Venue:
ITNG '08 Proceedings of the Fifth International Conference on Information Technology: New Generations
Year:
2008

Citing 0
Cited 2

Investigating a new formal model for a library system using B method

ACM SIGSOFT Software Engineering Notes
An approach for modeling a formal Use Case Type at early development phase without loosing abstraction

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Complex Real Time Systems (RTS) often come with many requirements, which have a difficult description with a large number of scenarios. In order to control this complexity and improve the system QoS, a formal method was applied to decrease the complexity of logical model descriptions, related to state diagrams. The approach introduces a mapping of states diagrams to automata, in order to bring in formal methods into the system development process. By applying the Myhill Nerode Minimization Process for automata, the authors could recognize some decrease of the model complexity. The case study validates the approach by reducing the initial state diagram of a RTS from 5 states and 40 transitions to 1 state with 5 transitions. This finding can motivate the software engineers’ community to research formal methods that could be applied to software development processes.