Skip to search boxSkip to navigationSkip to main content

A formal framework for software development using Publish/Subscribe architecture

  • Arak University
Research Output:
Chapter in Book/Report/Conference proceeding
Conference contribution
 Peer-review

Abstract

High flexibility of publish/Subscribe architecture that is a common architectural style for component based systems make it to be capable of developing and supporting large software systems. But difficult aspect of Publish/Subscribe systems is their validation. Existing efforts for developing formal foundation for specifying and reasoning about these systems are hard to use by practitioners who are not familiar with formal methods. To face this challenge this paper proposes a formal framework for software development using Publish/Subscribe architecture. Modeling components by Abstract State Machines (ASMs), presentation new characteristics for parametric dispatcher and the use of modelbased testing for validation are the key features of this framework. © 2010 IEEE.

Publication Information

Output type

Research Output:
Chapter in Book/Report/Conference proceeding
Conference contribution
 Peer-review

Original language

English

Publication milestones

  • Published - 20/09/2010

Publication status

Published - 20/09/2010

Volume

1

Publisher

Institute of Electrical and Electronics Engineers Inc., United States

ISBN (Print)

9781424465408

Publication IDs

  • handle.net: 10547/626617
  • Scopus: 78149288350

Host publication title

2010 3rd International Conference on Advanced Computer Theory and Engineering (ICACTE)

Access to documents