Search
Abstract
The need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements of a design-implementation path for people that lack knowledge about standard software modeling language. The approach to OO system modeling presented in this paper uses Controlled English (CE) (a well defined subset of English) in the area where graphical languages are currently used. Object Oriented Constructs are modeled first in Description Logic (DL) that provides the logical framework and the CE verbalization of DL (CEDL) finally bridges DL with CL allowing to access OO world in formal, yet understandable way for both human and computer.
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Title of issue:
- Proceedings of the Second Workshop on Controlled Natural Languages, Marettimo Island, Sicily, Italy, September 13-15, 2010 strony 1 - 5
- Language:
- English
- Publication year:
- 2010
- Bibliographic description:
- Kapłański P.: Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic// Proceedings of the Second Workshop on Controlled Natural Languages, Marettimo Island, Sicily, Italy, September 13-15, 2010/ : , 2010, s.1-5
- Verified by:
- Gdańsk University of Technology
seen 77 times