Wyszukiwarka
Abstrakt
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.
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Tytuł wydania:
- Proceedings of the Second Workshop on Controlled Natural Languages, Marettimo Island, Sicily, Italy, September 13-15, 2010 strony 1 - 5
- Język:
- angielski
- Rok wydania:
- 2010
- Opis bibliograficzny:
- 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
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 77 razy