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.
Authors
Additional information
- DOI
- Digital Object Identifier link open in new tab 10.1109/inftech.2008.4621672
- Category
- Aktywność konferencyjna
- Type
- materiały konferencyjne indeksowane w Web of Science
- Language
- angielski
- Publication year
- 2008
