Formalizacja kroków dla czynności utworzenia modeli typów z metodyki Cheesmana-Danielsa na potrzeby systemu regułowego

• Autorzy: Gratkowski T.

Warianty tytułu

EN

Formal representation of steps from 'develop type model' activity from Cheesman-Daniels methodology used in process implementation rule-base system

• Konferencja: Konferencja Naukowa Systemy Pomiarowe w Badaniach Naukowych i w Przemyśle SP`06 (6; 21-24 czerwca 2006; Łagów; Polska)
• Języki publikacji: PL

Abstrakty

PL

W artykule przedstawiono wykorzystanie języka deklaracyjnego w celu formalizacji kroków wykonywanych w ramach czynności utworzenia modeli typów z metodyki Cheesmana-Danielsa. Zastosowanie języka deklaracyjnego umożliwiło wykorzystanie opracowanych formalizmów w procesie budowania regułowego modelu wiedzy. Opracowane reguły zostaną wykorzystane na potrzeby projektowanego systemu regułowego wspierającego analityka systemowego w procesie projektowania systemu informatycznego. Ocena jakości modeli generowanych przez system regułowy, zostanie zweryfikowana poprzez pomiar i analizę otrzymanych wyników przy użyciu miar oprogramowania.

EN

Declarative programming can be used as a language for formalizing steps in 'develop type model' activity used in Cheesman-Daniels methodology. Developed formalism enables to use described rules for steps and can be used in constructing rule-base knowledge model. Described rules will be use in a rule-base system which will support a designer in process of designing the application. Quality control generated model by a rule-base system, will be verified through measurements and analysis received results apply a software metrics.

Słowa kluczowe

PL

metodyka Cheesmana-Danielsa; system regułowy; tworzenie modeli typów

EN

steps from develop type model activity; Cheesman-Daniels methodology; process implementation rule-base system

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 6
• Strony: 36--37
• Opis fizyczny: Bibliogr. 13 poz., rys.

Twórcy

autor

Gratkowski T.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] G. T. Heineman, W. T. Councill: Component-base software engineering: Putting the Pieces Together, Addison-Wesley, 2001.
• [2] T. Gratkowski: Cykl życia projektu informatycznego, Pierwsza Konferencja Naukowa „Informatyka - sztuka czy rzemiosło”, strony 113-118, Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski, Oficyna Wydawnicza Uniwersytetu Zielonogórskiego, 2004.
• [3] P. Kruchten: The Rational Unified Process An Introdaction, Addison-Wesley, 2000.
• [4] D. F. D’Souza, A. C. Wills: Objects, Components, and Frameworks with UML: The Catalysis Approach, Addison-Wesley, 1998.
• [5] J. Chessman, J. Daniels: Komponenty w UML, Wydawnictwa Naukowo-Techniczne, Warszawa, 2004.
• [6] OMG: Unified Modeling Language: Superstructure, v2.0, Object Management Group, July 2005.
• [7] R. G. Ross: Principles of the Business Rule Approach, Addison Wesley, 2003.
• [8] T. Gratkowski: Automatyczne generowanie artefaktów wyjściowych dla czynności określenia interfejsów i operacji systemowych w metodzie Cheesmana-Danielsa z wykorzystaniem systemu ekspertowego, Computer Methods and Systems - CMS ‘05, strony 483-488, Oprogramowanie Naukowo-Techniczne - Vol. 2, 2005.
• [9] pod redakcja J. Górski: Inżynieria oprogramowania w projekcie informatycznym, MIKOM, 2000.
• [10] M. Genero, M. Piattini, C. Calero: A Survey of Metrics for UMI. Class Diagrams, Journal of Object Technology, Vol. 4, No 9, November-December 2005, pp. 59-92.
• [11] Mark Proctor: Business Rules Engines, Business Rules at Javapolis 2005, http://javapolis.com/confluence/display/JP05/Business+Rules+Engines.
• [12] C. Forgy: Rete: A Fast Algorithm for the Many Pattern/Many Object Pattern Match Problem, Artificial Intelligence, 19, pp 17-37, 1982 .
• [13] Strona organizacji Drools: www.drools.org