Description logic as a common software engineering artifacts language

Abstract

Description logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring systems (reasoners) that are able to preserve logical cohesion in described ontologies, makes full integration of artifacts created by software analyst, designer and programmer, possible. Strong logical connection between these artifacts is useful in other tasks like: reverse engineering or design constraints preservation.