IEEE - Institute of Electrical and Electronics Engineers, Inc. - Timed Automata Modeling and Verification for Publish-Subscribe Structures Using Distributed Resources

Author(s): Valentin Valero ; Gregorio Diaz ; Maria-Emilia Cambronero
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2017
Volume: 43
Page(s): 76 - 99
ISSN (Paper): 0098-5589
ISSN (Online): 1939-3520
DOI: 10.1109/TSE.2016.2560842
Regular:

In this paper we present a Timed Automata model for the Publish/Subscribe paradigm in the context of Web Service Compositions with distributed resources, on the basis of an algebraic language... View More

Advertisement