Abstract
In [11] M. Jackson introduces the concept of problem frame to describe specific classes of problems, to help in the specification and design of systems, and also to provide a framework for reusability. He thus identifies some particular frames, such as the translation frame (e.g., a compiler), the information system frame, the control frame (or reactive system frame), .... Each frame is described along three viewpoints that are application domains, requirements, and design.
Our aim is to use CASL (or possibly a sublanguage or an extension of CASL if and when appropriate) to formally specify the requirements and the design of particular classes of problems (“problem frames”). This goal is related to methodology issues for CASL, that are here addressed in a more specific way, having in mind some particular problem frame, i.e., a class of systems.
It is hoped that this will provide both a help in using, in a really effective way, CASL for system specifications, a link with approaches that are currently used in the industry, and a framework for the reusability.
This approach is illustrated with some case studies, e.g., the information system frame is illustrated with the invoice system.
This is a preview of subscription content, log in via an institution to check access.
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
Allemand, M., Attiogbe, C., Habrias, H. (eds.) Proc. of Int. Workshop “Comparing Specification Techniques: What Questions Are Prompted by Ones Particular Method of Specification” (March 1998), Nantes (France). IRIN - Universite de Nantes (1998)
Astesiano, E., Krieg-Bruckner, B., Kreowski, H.-J. (eds.): IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer, Heidelberg (1999)
Astesiano, E., Reggio, G.: Labelled Transition Logic: An Outline. Technical Report DISI–TR–96–20, DISI – Università di Genova, Italy (1996)
Astesiano, E., Reggio, G.: Formalism and Method. T.C.S. 236 (2000)
Bjørner, D., Kousoube, S., Noussi, R., Satchok, G.: Michael Jackson’s Problem Frames: Towards Methodological Principles of Selecting and Applying Formal Software Development Techniques and Tools. In: Hinchey, M.G., ShaoYing, L. (eds.) Proc. Intl. Conf. on Formal Engineering Methods, Hiroshima, Japan. IEEE CS Press, Los Alamitos (1997)
Choppy, C., Reggio, G.: Using CASL to Specify the Requirements and the Design: A Problem Specific Approach – Complete Version. Technical Report DISI-TR-99-33, DISI – Università di Genova, Italy (1999), ftp://ftp.disi.unige.it/person/ReggioG/ChoppyReggio99a.ps
Costa, G., Reggio, G.: Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S. 173(2) (1997)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Grieskamp, W., Heisel, M., Dörr, H.: Specifying Safety-Critical Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, p. 71. Springer, Heidelberg (1998)
Heisel, M.: Agendas – A Concept to Guide Software Development Activities. In: Horspool, R.N. (ed.) Proceedings Systems Implementation 2000. Chapman & Hall, Boca Raton (1998)
Jackson, M.: Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices. Addison-Wesley, Reading (1995)
Mosses, P.D.: CoFI: The Common Framework Initiative for Algebraic Specification and Development. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214. Springer, Heidelberg (1997)
The CoFI Task Group on Language Design. Casl The Common Algebraic Specification Language Summary. Version 1.0. Technical report (1999), Available on http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/
Poizat, P., Choppy, C., Royer, J.-C.: From Informal Requirements to COOP: a Concurrent Automata Approach. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, p. 939. Springer, Heidelberg (1999)
Reggio, G., Astesiano, E., Choppy, C.: Casl-Ltl: A Casl Extension for Dynamic Reactive Systems – Summary. Technical Report DISI-TR-99-34, DISI – Università di Genova, Italy (1999), ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll99a.ps
Roggenbach, M., Mossakovski, T.: Basic Data Types in Casl. CoFI Note L-12. Technical report (1999), http://www.brics.dk/Projects/CoFI/Notes/L-12/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choppy, C., Reggio, G. (2000). Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. In: Bert, D., Choppy, C., Mosses, P.D. (eds) Recent Trends in Algebraic Development Techniques. WADT 1999. Lecture Notes in Computer Science, vol 1827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44616-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-44616-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67898-4
Online ISBN: 978-3-540-44616-3
eBook Packages: Springer Book Archive