Abstract
We present a pattern-based software lifecycle and a method that supports the systematic execution of that lifecycle. First, problem frames are used to develop a formal specification of the problem to be solved. In a second phase, architectural styles are used to construct an architectural specification of the software system to be developed. That specification forms the basis for fine-grained design and implementation.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, North-Holland 14, 25–59 (1987)
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1998)
Bidoit, M., Hennicker, R., Kurz, A.: On the Integration of Observability and Reachability Concepts. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol. 2303, pp. 21–36. Springer, Heidelberg (2002)
Blanc, B.: Prise en compte de principes architecturaux lors de la formalisation des besoins - Proposition d’une extension en CASL et d’un guide méthodologique associé. Thèse de Doctorat, ENS Cachan (2002)
Bidoit, M., Mosses, P.: CASL User Manual (2002), http://www.brics.dk/Projects/CoFI/
Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern- Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)
Choppy, C., Heisel, M.: Systematic transition from problems to architectural designs. Technical report, Université Paris Nord (2003) (to appear)
Choppy, C., Reggio, G.: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol. 1827, pp. 104–123. Springer, Heidelberg (2000)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns – Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1995)
Heisel, M.: Agendas – a concept to guide software development activites. In: Horspool, R.N. (ed.) Proc. Systems Implementation 2000, pp. 19–32. Chapman & Hall London, Boca Raton (1998)
Heisel, M., Lévy, N.: Using LOTOS patterns to characterize architectural styles. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, pp. 818–832. Springer, Heidelberg (1997)
Jackson, M.: Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, Reading (1995)
Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)
Roggenbach, M., Mossakowski, T.: What is a good CASL specification. WADT (2002)
Shaw, M., Garlan, D.: Software Architecture. Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)
Souquières, J., Heisel, M.: Structuring the first steps of requirements elicitation. Technical Report A00-R-123, LORIA, Nancy, France (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choppy, C., Heisel, M. (2003). Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds) Recent Trends in Algebraic Development Techniques. WADT 2002. Lecture Notes in Computer Science, vol 2755. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40020-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-40020-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20537-1
Online ISBN: 978-3-540-40020-2
eBook Packages: Springer Book Archive