A Formal Framework for Domain Software Analysis Based on Raise Specification Language
This paper presents domain software formal analysis method based on the specification language, and establishes the corresponding framework. A variety of products were collected from software development process, through standard evidence file, formal description based on feature, formal description based on model, and so on stages, they were translated into Raise specification language (RSL) description by formal methods, so that the analysis and verification work can be done through formal tools to analyze domain software. This framework is able to transform all products in the life cycle of domain software into the formal description, to establish solid foundation for formal analysis and construct high reliability software.
KeywordsSoftware engineering Formal analysis Domain software RSL
- 3.El Fallah-Seghrouchni A, Gomez-Sanz JJ, Singh MP (2011) Formal methods in agent-oriented software engineering. Agent-Oriented Softw Eng 6038:213–228Google Scholar
- 5.Si G, Ren Y, Xu J (2012) A dependability evaluation model for internetware based on Bayesian network. Comput Res Dev 49(5):1028–1038Google Scholar
- 7.Wu C, Liu J (2012) Deriving Markov chain usage model from UML model. Comput Res Dev 49(8):1811–1819Google Scholar