How can formalization of SOA help in finding solutions for IT systems
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10134091" target="_blank" >RIV/00216208:11320/13:10134091 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/68407700:21230/13:00205096
Výsledek na webu
<a href="http://ceur-ws.org/Vol-971/paper8.pdf" target="_blank" >http://ceur-ws.org/Vol-971/paper8.pdf</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
How can formalization of SOA help in finding solutions for IT systems
Popis výsledku v původním jazyce
Service Oriented Architectures (SOA) are nowadays one of the most important styles in developing new information systems. SOA is attracting a lot of attention in industry as credible tool for managing large infrastructures. These systems divided into divisions have often complex models, which can contain mistakes or are informal. There are not enough current tools for testing semantic correctness of included services. Ways in research of solving such challenges are Model Driven Development (MDD) principles. We introduce the necessity of formalization of SOA in process of developing new systems and also integrating the legacy systems. We want to describe the ideas of how to achieve machine readable specifications using software tools which can then be used to verify the correctness of using the service along the required rules and its testing. We want to open two specific areas of research that is formalization of the transfer process between business and software design models and the
Název v anglickém jazyce
How can formalization of SOA help in finding solutions for IT systems
Popis výsledku anglicky
Service Oriented Architectures (SOA) are nowadays one of the most important styles in developing new information systems. SOA is attracting a lot of attention in industry as credible tool for managing large infrastructures. These systems divided into divisions have often complex models, which can contain mistakes or are informal. There are not enough current tools for testing semantic correctness of included services. Ways in research of solving such challenges are Model Driven Development (MDD) principles. We introduce the necessity of formalization of SOA in process of developing new systems and also integrating the legacy systems. We want to describe the ideas of how to achieve machine readable specifications using software tools which can then be used to verify the correctness of using the service along the required rules and its testing. We want to open two specific areas of research that is formalization of the transfer process between business and software design models and the
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
N - Vyzkumna aktivita podporovana z neverejnych zdroju
Ostatní
Rok uplatnění
2013
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
DATESO 2013: Databases, Texts, Specifications, and Obhects
ISBN
978-80-248-2968-5
ISSN
—
e-ISSN
—
Počet stran výsledku
10
Strana od-do
70-79
Název nakladatele
Dept. of Computer Science, FEECS, VŠB-TUO Ostrava
Místo vydání
Ostrava
Místo konání akce
Czech Republic
Datum konání akce
17. 4. 2013
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—