Abstract
Services provided by dependable systems require fulfillment of precise quality goals guaranteeing the overall system’s quality. Nevertheless, specification and measure of quality properties during software development, derived from nonfunctional requirements, is still an open problem. Architectural design is included in general frameworks for software development. However, rationale for a repeatable process is not always explicit. This work proposes a quality-based approach to architectural design focusing on the problem to be solved. The problem is described in terms of its functional and nonfunctional requirements. A quality model is used to specify the quality properties related with the problem’s domain. At each step of the process, an architectural pattern is chosen on the basis of a quality property addressed by the pattern. Mobile environments based on wireless networks support ubiquitous access to distant resources. Software design techniques should provide sound guidelines for the safe construction of applications in these environments. The proposed process is applied to a collaborative work system in a mobile ad hoc network.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abrial, J.R.: The B Book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996) ISBN 0-521-49619-5
Alencar, Cowan, D.D., Lucena, C.J.P.: A Formal Approach to Architectural Design Patterns. In: Woodcock, J., Gaudel, M.-C. (eds.) FME 1996. LNCS, vol. 1051, pp. 576–594. Springer, Heidelberg (1996)
Alexander, C.: The timeless way of building. Oxford University Press, Oxford (1979)
Boulkenafed, M., Liu, J., Sacchetti, D., Issarny, V.: Group Management in Mobile Ad Hoc Networks: Design, Implementation and Experiment., INRIA Research Report 5060, INRIA- Rocquencourt, France (December 2003)
Buschmann, F., Meunier, R., Rhonert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture. In: A System of Patterns, John Wiley & Sons, New York (1996)
Clements, P., Kazman, R., Klein, M.: Evaluating Software Architecture. Methods and Case Studies. SEI Series in Software Engineering. Addison-Wesley, Reading (2002)
Clements, P., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Nord, R., Stafford, J.: Documenting Software Architectures: Views and Beyond, September 2002. Addison Wesley, Reading (2002)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. In: Elements of Reusable Object-Oriented Software, Addison Wesley, Reading (1995)
Heisel, M., Souquières, J.: A Method for Requirements Elicitation and Formal Specification. In: Akoka, J., Bouzeghoub, M., Comyn-Wattiau, I., Métais, E. (eds.) ER 1999. LNCS, vol. 1728, pp. 309–324. Springer, Heidelberg (1999)
Heisel, M., Souquières, J.: A heuristic algorithm to detect feature interactions in requirements. In: Gilmore, S., Ryan, M. (eds.) Language Constructs for Describing Features, pp. 143–162. Springer, Heidelberg (2000)
ISO/IEC 9126-1 Software Engineering - Product Quality. Part 1: Quality Model (2001)
Jackson, M.: Problem Frames. Addison Wesley, Harlow (2001)
Kircher, M., Jain, P.: Pattern-Oriented Software Architecture, April 2004. Patterns for Resource Management, vol. 3. John Wiley & Sons, Chichester (2004)
Krutchen, P.: The Rational Unified Process. Addison Wesley, Reading (1999)
Levy, N., Marcano, R., Souquières, J.: From requirements to formal specification using UML and B. In: International Conference on Computer Systems and Technologies – CompSysTech 2002 (2002)
Liu, J., Issarny, V.: QoS-aware Service Location in Mobile Ad-Hoc Networks. In: MDM 2001, Berkeley, C.A, USA (January 2001)
Losavio, F., Chirinos, L., Pérez, M.: Quality Models to Design Software Architectures. In: IEEE TOOLS, Zurich, March 2001, pp. 123–135 (2001)
Losavio, F., Chirinos, L., Lévy, N., Ramdane-Cherif, A.: Quality Characteristics for Software Architecture. Journal of Object Technology 2(2), 133–150 (2003), http://www.jot.fm/issues/issue_2003_03/article2
Losavio, F., Chirinos, L., Matteo, A.: Identifying Quality-Based Requirements. Information Systems Management (ISYM) 21(1), 15–21 (2004)
Shaw, M., Garlan, D.: Software Architecture. In: Perspectives on an Emerging Discipline, Prentice Hall, New Jersey (1996)
Schmidt, D., Stal, M., Rhonert, H., Buschmann, F.: Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects, vol. 2. Wiley, Chichester (2000)
UML Resource Page, http://www.omg.org/UML
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Losavio, F., Levy, N., Ramdane-Cherif, A. (2004). Architectural Design for a Wireless Environment. In: Yang, L.T., Guo, M., Gao, G.R., Jha, N.K. (eds) Embedded and Ubiquitous Computing. EUC 2004. Lecture Notes in Computer Science, vol 3207. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30121-9_53
Download citation
DOI: https://doi.org/10.1007/978-3-540-30121-9_53
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22906-3
Online ISBN: 978-3-540-30121-9
eBook Packages: Springer Book Archive