Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing
Javier Cubo(Universidad de Málaga), Raúl Ruggia(Universidad de la República de Uruguay), Ernesto Pimentel(Universidad de Málaga), Antonio Brogi(University of Pisa), Laura González(Universidad de la República de Uruguay)
CINECA IRIS Institutial research information system (University of Pisa)
July 30, 2013
Cited by 4
Related Papers
Formalizing Web Service Choreographies
|Electronic Notes in Theoretical Computer Science|2004|220
Specification and Refinement of Dynamic Software Architectures
|IFIP advances in information and communication technology|1999|109
Compatibility and inheritance in software architectures
|Science of Computer Programming|2001|108
Adding roles to CORBA objects
|IEEE Transactions on Software Engineering|2003|65