Loading...

A review on specifying software architectures using extended automata-based models

Sharafi, M ; Sharif University of Technology | 2007

232 Viewed
  1. Type of Document: Article
  2. DOI: 10.1007/978-3-540-75698-9_30
  3. Publisher: Springer Verlag , 2007
  4. Abstract:
  5. Applying an appropriate formal model to specify software architecture makes a reliable foundation to formally verify non-functional properties and therefore, leads to early detection of defects. In this paper we make a comparison between automata-based models and evaluate their abilities to model different aspects of components interaction in software architectures. We try to use Team automata as a middleware to formally specify well-known architectural descriptions in UML2.0. A Limitation of current automata models, so called "actions interleaving" is also discussed and some approaches to overcome this limitation described. © Springer-Verlag Berlin Heidelberg 2007
  6. Keywords:
  7. Automata theory ; Mathematical models ; Middleware ; Automata based models ; Components interaction ; Software architecture
  8. Source: 2nd IPM International Symposium on Fundamentals of Software Engineering, FSEN 2007, Tehran, 17 April 2007 through 19 April 2007 ; Volume 4767 LNCS , 2007 , Pages 423-431 ; 03029743 (ISSN); 9783540756972 (ISBN)
  9. URL: https://link.springer.com/chapter/10.1007%2F978-3-540-75698-9_30