1. Ontological approach to the formal specification of the standard life cycle
- Author
-
Ekaterina Lavrishcheva
- Subjects
Database ,Computer science ,Process (engineering) ,computer.internet_protocol ,business.industry ,XML validation ,Protégé ,computer.software_genre ,XML Schema Editor ,Formal specification ,Regular Language description for XML ,Ontology ,Software engineering ,business ,computer ,XML - Abstract
Approach is offered to the formal specification of Standard Life Cycle (LC) of the program systems (PS) by the ontology facilities with purpose automation and generation of the variants LC for making the appropriate kinds process for development different PS. Ontological approach to presentation LC model of the standard ISO/IEC 12207-2007 is included the specification of general, organizational and support processes. These processes are presented in the subject-oriented DSL, which than transformed to XML for realization. One of the processes, the testing process is given in terms of Protege systems. An eventual result of this system Protege got generally at accepted to the XML, suitable for implementation tasks testing PS on computer.
- Published
- 2015