Leonardo Vito

Resourceome: A Multilevel Model and a Semantic Web Tool for Managing Domain and Operational Knowledge

In any scientific domain, the full set of data and programs has reached an -ome status, i.e. it has grown massively. In this scenario, we propose Resourceome, a Web-based and semantic Knowledge Management System which extends a previous multilevel ontology-based knowledge manager for the bioinformatic domain as follows: (i) enriching the knowledge model in such a way to describe resource knowledge contextualized in any domain (not only bioinformatics), as well as operational knowledge; (ii) implementing a Webbased application for visualizing, updating, querying and managing domain and operational knowledge models; (iii) adding a Web-based and semantic-driven workflow compiler.

Dynamic constraint-based invocation of web services

For an automatic invocation of Web services, concrete platforms allow the client-side generation of stubs by means of suitable primitives of programming languages. In this setting, we propose a framework that preserves static and dynamic integrity constraints of invocation parameters. The main ingredients of the framework are: (i) WSDL [16], a Web services description language that describes the interface, the semantics and the protocol for invoking Web services, (ii) CLiX [10], a language for constraints specification in XML that allows the specification of static and dynamic integrity constraints of Web service parameters by means of logic formulas; (iii) reflection mechanisms for managing complex user-defined types. The proposed framework is entirely based on XML-based technologies and allows only provably correct Web services invocations be forwarded by client-side checking CLiX formulas.

Constraint-Based Dynamic Conversations

In a service-oriented architecture, systems communicateby exchanging messages. In this work, we propose two conversation specification language-independent models -the first based on first-order guarded automata and the latter based on attribute grammars - for describing valid client-server conversations. On the basis of the latter, we also propose a purely XML-based framework for a dynamic monitoring/validation of valid sequences of valid invocation messages.

Towards Bioinformatics Resourceomes

In science fiction, human beings have been depicted able to colonize planets of far stars exploiting their chemical and mining resources. We can image bioinformatics as a very dynamic universe, continuously growing under our eyes. More and more scientists are approaching it and would like to easier explore it, discovering the resources that can be found in every space region (i.e. related to every bioinformatics topic). We propose to intuitively organize into Resourceomes the hierarchical vision of a scientific domain perceived by its scientists, connecting the related resources to the topics they concern. A Resourceome can be seen as a map of a scientific “universe”. A semantic browser for Resourceomes permits to intuitively navigate in the domain, eventually zooming it in and out. Once discovered a resource of interest it is possible to be “tele-ported” to it. More importantly, the maps are “machine understandable”, being built on ontologies and published on the Web with Semantic Web technologies.

A model-prover for constrained dynamic conversations

In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodology based on Alloy Analyzer respectively for describing and verifying any first-order constrained client-server conversations. This framework allows us to verify conversation protocol designs at a fairly detailed level and to check first-order logic constraints on both message flows and message contents.