Zastosowanie klauzul w formalizacji czynności w metodyce Cheesmana-Danielsa

• Autorzy: Gratkowski, T.

Warianty tytułu

EN

Using clausal in formalization activities from Cheesma-Daniels methodology

• Konferencja: Konferencja Informatyka - Sztuka czy Rzemiosło (19-22 czerwca 2006; Złotniki Lubańskie; Polska)
• Języki publikacji: PL

Abstrakty

PL

Artykuł przedstawia formalizację czynności tworzenia modelu typów na etapie specyfikowania z zastosowaniem języka klauzul. Zastosowanie języka logiki jest bliższe ludzkiemu myśleniu niż inne formalizmy. Umożliwia to przeniesienie mechanizmu wnioskowania dokonywanego przez analityka systemowego w procesie projektowania systemu, do zapisu czytelnego dla systemów komputerowych. Opisana reprezentacja zostanie użyta podczas opracowywania systemu wspomagającego analityka w podejmowaniu decyzji na poszczególnych etapach projektu.

EN

This paper presents a formal representation of develop type model activity at specification stage in a clausal language. Logic language is more human-oriented than other formalism. Using clauses enables to represent a mechanism of concluding used in a process of designing the system. This representation will be used in a decision support system which will support a designer.

Słowa kluczowe

PL

Rational Unified Process; metodyka Cheesmana-Danielsa; formalizacja; klauzule; komponenty; przetwarzanie symboliczne

EN

rational unified process; Cheesman-Daniels methodology; formalisation; clausal; components; symbol manipulation

• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 6 bis
• Strony: 83-84
• Opis fizyczny: Bibliogr. 8 poz.

Twórcy

autor

Gratkowski, T.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] Chessman J., Daniels J.: Komponenty w UML, Wydawnictwa Naukowo-Techniczne 2004.
• [2] D’Souza D. F., Wills A. C.: Objects, Components, and Frameworks with UML: The Catalysis Approach, Addison-Wesley 1998.
• [3] Gratkowski T.: Cykl życia projektu informatycznego, Pierwsza Konferencja Naukowa ’Informatyka - sztuka czy rzemiosło’, Oficyna Wydawnicza Uniwersytetu Zielonogórskiego 2004, 113–118.
• [4] Kowalski R.: Logika w rozwiązywaniu zadań, Wydawnictwa Naukowo-Techniczne 1989.
• [5] Kruchten P.: The Rational Unified Process An Introduction, Computer software-Development, Addison-Wesley, 2000.
• [6] OMG, Software Process Engineering Metamodel (SPEM), v1.1, Object Management Group, January 2005.
• [7] OMG, Unified Modeling Language: Superstructure, v2.0, Object Management Group, July 2005.
• [8] OMG, XML Metadata Interchange (XMI), v2.1, Object Management Group, September 2005.