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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Shaw, M.: The coming-of-age of software architecture research. In: Proceedings of International Conference on Software Engineering, Toronto, pp. 656–664 (2001)
Brim, L., Cern, I., Varekov, P., Zimmerova, B.: Component Interaction Automata as a Verification Oriented Component-Based System Specification. In: SAVCBS. Workshop of Specification and Verification of Component-based Systems (2005)
Li, J., Horgan, J.R.: Applying formal description techniques to software architectural design. The journal of Computer Communications 23, 1169–1178 (2000)
ITU-T, Recommendation Z.100: specification and description language SDL, International Telecommunication Union, Geneva (1989)
Li, J.J., Micallef, J., Horgan, J.R.: Automatic simulation to predict software architecture reliability. In: ISSRE 1997. Proceedings of the IEEE Eigth International Symposium on Software Reliability Engineering, pp. 110–120. IEEE Computer Society Press, Los Alamitos (1997)
Lynch, N.A., Tuttle, M.R.: An introduction to input/output automata. CWI Quarterly 2(3), 219–246 (1989)
de Alfaro, L., Henzinger, T.: Interface Automata. In: Gruhn, V. (ed.) ESEC/FSE 2001. Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering, September 10-14. Software Engineering Notes, vol. 26(5), pp. 109–120. ACM Press, New York (2001)
Ellis, C.: Team Automata for Groupware Systems. In: GROUP 1997. Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work: The Integration Challenge, pp. 415–424. ACM Press, New York (1997)
Beek, M., Ellis, C., Kleijn, J., Rozenberg, G.: Synchronizations in Team Automata for Groupware Systems. Computer Supported Cooperative Work, The Journal of Collaborative Computing 12(1), 21–69 (2003)
Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Silva, O.: Documenting Component and Connector Views with UML 2.0. Technical report, CMU/SEI, TR-008 ESC-TR-2004-008 (2004)
Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21, 558–565 (1978)
Lynch, N.A., Tuttle, M.R.: Hierarchical correctness proofs for distributed algorithms. In: Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, pp. 519–543. ACM Press, New York (1987)
Holzmann, G.J.: The model checker Spin. IEEE Trans. Soft. Eng. 23(5), 279–295 (1997)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1991)
Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall. SU Fisher Research 511/24 (1989)
Esmaeilsabzali, S., Mavaddat, F., Day, N.A.: Interface Automata with Complex Actions. ENTCS, pp. 79–97. Elsevier, Amsterdam (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sharafi, M., Shams Aliee, F., Movaghar, A. (2007). A Review on Specifying Software Architectures Using Extended Automata-Based Models. In: Arbab, F., Sirjani, M. (eds) International Symposium on Fundamentals of Software Engineering. FSEN 2007. Lecture Notes in Computer Science, vol 4767. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75698-9_30
Download citation
DOI: https://doi.org/10.1007/978-3-540-75698-9_30
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75697-2
Online ISBN: 978-3-540-75698-9
eBook Packages: Computer ScienceComputer Science (R0)