Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

Caselli, Ashley ; Ciatto, Giovanni ; Di Marzo Serugendo, Giovanna ; Omicini, Andrea

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, p.205-223 [Periódico revisado por pares]

Cham: Springer International Publishing

Sem texto completo