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

Authors:
Mehran Sharafi;Fereidoon Shams Aliee;Ali Movaghar
Affiliations:
Faculty of Engineering, Azad Islamic University-Najafabad branch, Iran;Faculty of Computer Engineering, Shahid Beheshti University, Tehran, Iran;Computer Engineering Department, Sharif University of Technology, Tehran, Iran
Venue:
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Year:
2007

Citing 13
Cited 0

Hierarchical correctness proofs for distributed algorithms

PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Team automata for groupware systems

GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
The coming-of-age of software architecture research

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Interface automata

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency

Communication and Concurrency
Synchronizations in Team Automata for Groupware Systems

Computer Supported Cooperative Work
Automatic Simulation to Predict Software Architecture Reliability

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Component-interaction automata as a verification-oriented component-based system specification

SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Interface Automata with Complex Actions

Electronic Notes in Theoretical Computer Science (ENTCS)
Applying formal description techniques to software architectural design

Computer Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.