Abstract
Software Architecture has a great influence on achieving software quality characteristics of a system, so analysis and evaluation techniques are necessary in the early phase of development processes. In this paper, we propose a technique for describing architectures based on 4 + 1 View Model in Rational Unified Process, and a technique for quantifying quality characteristics by transforming an architecture description to Coloured Petri Nets (CPNs) and executing it. To show the effectiveness of our techniques, we describe a RMI architecture based on 4+1 view model by using our description technique and transformed it into a set of CPN. We attach the attribute values of the quality characteristics relevant to security, reliability and efficiency (performance and resource efficiency) to the CPNs and simulated them to validate these quality attributes.
The updated original online version for this book can be found at DOI: 10.1007/978-0-387-35614-3_21
Chapter PDF
Similar content being viewed by others
References
Abowd, G., Allen, R., and Garlan, D. (1993). Using Style to Understand Descriptions of Software Architecture. In Proceedings of the ACM SIGSOFT ’83 Symposium on the Foundations of Software Engineering, pages 9–20.
Allen, R. and Garlan, D. (1997). A formal basis for architectural connection. In ACM Transactions on Software Engineering and Methodology.
Bricconi, G., Di Nitto, E., and Tracanella, E. (2000). Issues in Analyzing the Behavior of Event Dispatching Systems. In Proc. of 10th International Workshop on Software Specification & Design, pages 95–103.
Corporation, M. S. (1993). Design/CPN Reference Manual for X-Windows.
Egyed, A. and Wile, D. (2001). Statechart Simulator for Modeling Architectural Dynamics In Proc. of the Working IEEE/IFIP Conference on Software Architecture (WICSA’01).
Gomaa, H. and Menasce, D. (2000). Design and Performance Modeling of Component Inter-connection Patterns for Distributed Software Architectures. In Proc. of WOSP 2000, pages 117–126.
Inverardi, P., Mangano, C., and Balsamo, S. (1996). Performance Evaluation of a Software Architecture: A Case Study. In Proc. of 8th International Workshop on Software Specification and Design.
Inverardi, P. and Wolf, A. L. (1997). Formal specification and analysis of software architectures using the chemical abstract machine model. IEEE Trans. Software Eng., 21 (4).
ISO (1991). Information Technology — Software product evaluation — Quality characteristics and guidelines for their use.
Jacobson, I., Booch, G., and Rumbaugh, J. (1999). The Unified Software Development Process. Addison Wesley.
Jensen, K. (1992). Coloured Petri Nets,volume 1–2. Springer-Verlag.
Klein, M., Kazman, R., Bass, L., Carriere, J., Barbacci, M., and Lipson, H. (1998). Attribute-Based Architecture Styles. In Proc. of WICSA.
Kruchten, P. B. (1995). The 4 + 1 view model of architecture. IEEE Software, 12 (6): 42–50
Luckham, D. C. and Vera, J. (1995). An Event-Based Architecture Definition Language. In IEEE Transactions on Software Engineering, pages 717–734.
Magee, J., Kramer, J., and Giannakopoulou, D. (1998). Software architecture directed behaviour analysis. In Proceedings of Ninth International Workshop on Software Specification and Design.
Medvidovic, N. and Taylor, R. N. (1997). A framework for classifying and comparing architecture description language. Software Engineering Notes, 22 (6): 61–76.
Watanabe, H., Tokuoka, H., Wenxin, W., and Saeki, M. (1998). A technique for analysing and testing object-oriented software using coloured petri nets. In Proc. of 5th Asia-Pacific Softwrae Engineering Conference (APSEC’98), pages 182–190.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Fukuzawa, K., Kobayashi, T. (2002). Specifying and Evaluating Software Architectures Based on 4+1 View Model. In: Rolland, C., Brinkkemper, S., Saeki, M. (eds) Engineering Information Systems in the Internet Context. IFIP — The International Federation for Information Processing, vol 103. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35614-3_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35614-3_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5149-9
Online ISBN: 978-0-387-35614-3
eBook Packages: Springer Book Archive