All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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