Skip to search boxSkip to navigationSkip to main content

Using ASMs and Spec# to formal modeling and analysis publish/subscribe architectures

Research Output:
Contribution to journal
Article
 Peer-review

Open access

Abstract

The Publish/Subscribe architecture has been proposed as a suitable architecture to develop highly dynamic systems. Although the structure of this architecture is easy to understand, unfortunately modeling and validating the whole system is complicated. In this paper, we present a formal approach based on Abstract State Machines (ASM) to model systems using this architecture. Then, to validate the designed models we use model-based testing. To do so, we propose a transformation from ASMs to Spec# language. The key feature of the proposed approach are new parametric dispatcher and the use of model-based testing for validation. © 2010, INSInet Publication.

Publication Information

Output type

Research Output:
Contribution to journal
Article
 Peer-review

Original language

English

Pages from-to (Number of pages)

Pages 6346-6353

Journal (Volume, Issue Number)

Journal of Applied Sciences Research (Volume 6, Issue 12)

Publication milestones

  • Published - 01/12/2010

Publication status

Published - 01/12/2010

ISSN

1816-157X

Publication IDs

  • handle.net: 10547/626616

Access to documents