Abstract. In this short paper we present a scenario and requirements for ontology matching posed by a geographical application, namely a semantic geocatalog, which is an integral p...
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, S...
We demonstrate Web Service Execution Environment (WSMX), a semantic middleware platform for runtime service discovery, mediation and execution, applied to SWS-Challenge scenarios. ...
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...