Um framework para composição semântica de workflows científicos

An important element in research on e-Science, which includes research in computational modeling, is the scientific workflow that, in general, is very extensive, comprising many computations, and forward to represent an experimental scientific procedure, generally collaborative. Because it is generally so extensive, a scientific workflow eventually becomes difficult to define. One way to facilitate the process that leads to the representation of a scientific workflow is using tools that make use of semantics to facilitate its composition. In this context, this paper presents a proposal whose main objective is to facilitate the composition of scientific workflows, considering projects in computational modeling, performing semantic search of semantic web services and incorporating these into the definition of the workflows.Um elemento importante para a pesquisa em e-Science, onde se inclui pesquisas em modelagem computacional, é o workflow científico que, em geral, é muito extenso, composto por muitas computações, e voltado para representar um processo experimental científico, geralmente de natureza colaborativa. Por ser, em geral, tão extenso, um workflow científico acaba se tornando de difícil definição. Uma forma de facilitar o processo que leva à representação de um workflow científico é utilizando ferramentas que fazem uso da semântica para facilitar sua composição. Neste contexto, este trabalho apresenta uma proposta que tem como principal objetivo facilitar a composição de workflows científicos, considerando projetos em modelagem computacional, realizando buscas semânticas de serviços Web semânticos e incorporando estes na definição dos workflows

Semantic Querying of Mathematical Web Service Descriptions

Abstract. This paper describes a semantic extension to the Mathematical Services Query Language (MSQL). MSQL is a language for querying registry-published mathematical Web service descriptions expressed in the Mathematical Services Description Language (MSDL). The semantic extension allows queries in MSQL to be based on the underlying semantics of service descriptions; the MSQL engine processes these queries with the help of an automated reasoner.

Web Services and Formal Methods

none3siThe proceedings contain 18 papers. The topics discussed include: service QoS composition at the level of part names; SCC service centered calculus; semantic querying of mathematical Web service descriptions; verified reference implementations WS-security protocols; translating Orc features into Petri Nets and the join calculus; dynamic constraint-based invocation of Web services; a formal of contracts for Web services; execution semantics for service chreographies; analysis and verification of time requirements applied to the Web services composition; a formal approach to service component architecture; evaluating the scalability of a Web service-based distributed e-learning and course management system; chereography conformance analysis: asynchronous communications and information alignment; and towards a unifying theory for Web services composition.noneM. Bravetti; M. Nunez; G. ZavattaroM. Bravetti; M. Nunez; G. Zavattar