A formal model and composition language for context-aware service protocols
Javier Cubo(Universidad de Málaga), Gwen Salaün(Institut polytechnique de Grenoble), Ernesto Pimentel(Universidad de Málaga), Carlos Canal(Universidad de Málaga)
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