View Item 
    •   Bozen-Bolzano Institutional Archive (BIA)
    • Free University of Bozen-Bolzano (UNIBZ)
    • Publications of the Faculty of Computer Science
    • Conference related Publications - Computer Science
    • View Item
    •   Bozen-Bolzano Institutional Archive (BIA)
    • Free University of Bozen-Bolzano (UNIBZ)
    • Publications of the Faculty of Computer Science
    • Conference related Publications - Computer Science
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Verifying a-priori the composition of declarative specified services

    Date
    2009
    Author
    Chesani, F
    Mello, P
    Montali, M
    Torroni, P
    Metadata
    Show full item record
    Abstract
    Service Oriented Architectures are knowing a wide success, thanks to the maturity of standards and implementations. Moreover, the possibility of composing complex systems starting from simpler services is becoming supported by industrial tools, although still immature at the standard level. However, the a-priori verification aspect, i.e. the capability of determining before executing the system if it exhibits some particular behaviour, is still matter of an intense research effort. In this paper we investigate the a-priori verification of bottomup build systems from the behavioural viewpoint, where a choreography is not known at the beginning of the developing process, but rather it is verified only later. We focus on the problem of deciding if, given a set of services, there can be some fruitful interaction among them; if yes, we focus also on the problem of determining such interaction. Our approach is based on specifying the services by means of the ConDec declarative language, and by exploiting its translation to the SCIFF Framework to automatically perform the verification task
    URI
    http://www.ceur-ws.org/Vol-494/mallowawesomepaper2.pdf
    http://hdl.handle.net/10863/1101
    Collections
    • Conference related Publications - Computer Science

    Browse

    All of BIACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    Admin Login
    Privacy | Contact Us | About
    © UniBz