How can formalization of SOA help in finding solutions for IT systems
The result's identifiers
Result code in 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>
Alternative codes found
RIV/68407700:21230/13:00205096
Result on the web
<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
—
Alternative languages
Result language
angličtina
Original language name
How can formalization of SOA help in finding solutions for IT systems
Original language description
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
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
N - Vyzkumna aktivita podporovana z neverejnych zdroju
Others
Publication year
2013
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
DATESO 2013: Databases, Texts, Specifications, and Obhects
ISBN
978-80-248-2968-5
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
70-79
Publisher name
Dept. of Computer Science, FEECS, VŠB-TUO Ostrava
Place of publication
Ostrava
Event location
Czech Republic
Event date
Apr 17, 2013
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—