Cargando…
A verification strategy for web services composition using enhanced stacked automata model
Currently, Service-Oriented Architecture (SOA) is becoming the most popular software architecture of contemporary enterprise applications, and one crucial technique of its implementation is web services. Individual service offered by some service providers may symbolize limited business functionalit...
Autores principales: | Nagamouttou, Danapaquiame, Egambaram, Ilavarasan, Krishnan, Muthumanickam, Narasingam, Poonkuzhali |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer International Publishing
2015
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4369210/ https://www.ncbi.nlm.nih.gov/pubmed/25810951 http://dx.doi.org/10.1186/s40064-015-0805-1 |
Ejemplares similares
-
Space Complexity of Stack Automata Models
por: Ibarra, Oscar H., et al.
Publicado: (2020) -
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
por: Donatelli, Susanna, et al.
Publicado: (2020) -
Verification of communication protocols in web services: model-checking service compositions
por: Tari, Zahir, et al.
Publicado: (2014) -
Automata
por: Hopkin, David, et al.
Publicado: (1976) -
Automata representation of successful strategies for social dilemmas
por: Murase, Yohsuke, et al.
Publicado: (2020)