OMT and UML as Tools for Automation of Problem Solution Synthesis
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21220%2F06%3A00125350" target="_blank" >RIV/68407700:21220/06:00125350 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
OMT a UML v pohledu různých přístupů k automatizaci syntézy řešení problémů a úloh
Original language description
V článku jsou analyzovány možnosti využití metodiky OMT (Objektová modelovací technika) a jazyka UML (Unifikovaný modelovací jazyk) pro syntézu řešení problémů a úloh. Jedním z hlavních uplatňovaných hledisek byla efektivnost postupu syntézy. Byly demonstrovány některé dřívější projekty (jako např. GPS - univerzální řešitel úloh), ale i velmi současné přístupy (např. transformace specifikací) s vesměs jednoznačným příklonem k inženýrským metodám využívajícím některý z moderních formulačních jazyků (např. UML). Jako jeden z krajních přístupů byl uveden přístup modelování růstu znalostí (až k dosažení řešení problému) cestou zakřivování souřadnic znalostního prostoru.
Czech name
OMT a UML v pohledu různých přístupů k automatizaci syntézy řešení problémů a úloh
Czech description
V článku jsou analyzovány možnosti využití metodiky OMT (Objektová modelovací technika) a jazyka UML (Unifikovaný modelovací jazyk) pro syntézu řešení problémů a úloh. Jedním z hlavních uplatňovaných hledisek byla efektivnost postupu syntézy. Byly demonstrovány některé dřívější projekty (jako např. GPS - univerzální řešitel úloh), ale i velmi současné přístupy (např. transformace specifikací) s vesměs jednoznačným příklonem k inženýrským metodám využívajícím některý z moderních formulačních jazyků (např. UML). Jako jeden z krajních přístupů byl uveden přístup modelování růstu znalostí (až k dosažení řešení problému) cestou zakřivování souřadnic znalostního prostoru.
Classification
Type
D - Article in proceedings
CEP classification
BC - Theory and management systems
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/2B06023" target="_blank" >2B06023: Development of a method for estimation of energy and matter fluxes in selected ecosystems; formulation and verification of principles for evaluation of conditions supporting selfregulation and biodiversity.</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
PrincipiaCybernetica2006
ISBN
80-7318-460-5
ISSN
—
e-ISSN
—
Number of pages
13
Pages from-to
—
Publisher name
Univerzita Tomáše Bati
Place of publication
Zlín
Event location
Zlín
Event date
Sep 6, 2006
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—