Abstract
Luckily, is getting strength the view that formal methods are useful tools within the context of an overall engineering process, heavily influenced by other factors that developers of formalisms should take into account.
We argue that the impact of formalisms would much benefit from adopting the habit of systematically and carefully relating formalisms to methods and to the engineering context, at various levels of granularity. Consequently we oppose the attitude of conflating formalism and method, with the inevitable consequence of emphasizing the formalism or even just neglecting the methodological aspects.
In order to make our reflections more concrete we illustrate our viewpoint addressing one particular activity in the software development process, namely the use of formal specification techniques.
This work has been partially supported by the projects 40%: “Modelli della computazione e dei linguaggi di programmazione” and “Progetto di una workstation multimediale ad architettura parallela”.
Chapter PDF
References
C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, and S. Angel. A Pattern Language. Oxford University Press, 1977.
E. Astesiano and G. Reggio. SMoLCS-Driven Concurrent Calculi. In H. Ehrig, R. Kowalski, G. Levi, and U. Montanari, editors, Proc. TAPSOFT'87, Vol. 1, number 249 in Lecture Notes in Computer Science, pages 169–201. Springer Verlag, Berlin 1987.
E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI-Università di Genova, Italy, 1996.
E. Astesiano and G. Reggio. On the Relationship between Labelled Transition Logic and Rewriting Logic. Technical Report DISI-TR-96-19, DISI-Università di Genova, Italy, 1996.
E. Astesiano and G. Reggio. Formalism and Method. Technical Report DISI-TR-97-3, DISI-Università di Genova, Italy, 1997. Full version.
M. Bidoit, C. Chevenier, C. Pellen, and J. Ryckbosh. An Algebraic Specification of the Steam-Boiler Control System. In J.-R. Abrial, E. Borger, and H. Langmaack, editors, Formal Methods for Industrial Applications, number 1165 in Lecture Notes in Computer Science, pages 79–108. Springer Verlag, Berlin, 1996.
M. Broy and C. Jones. Editorial. Formal Aspects of Computing, 8(1–2), 1996.
R.M. Burstall and J.A. Goguen. Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery, 39(1):95–146 1992.
M. Chandy and J. Misra. Parallel Program Design: a Foundation. Addison-Wesley 1988.
G. Costa and G. Reggio. Specification of Abstract Dynamic Data Types: A Temporal Logic Approach. T.C.S., 173, 1997. To appear.
D. Craigen, S. Gerhart, and T. Ralston. An International Survey of Industrial Applications of Formal Methods: Volume 1 Purpose, Approach, Analysis and Conclusions. Technical Report NIST GCR 93/626, NIST, 1993.
H. Ehrig and B. Mahr. A Decade of TAPSOFT: Aspects of Progress and Prospects in Theory and Practice of Software Development. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, Proc. of TAPSOFT '95, number 915 in Lecture Notes in Computer Science, pages 3–24. Springer Verlag, Berlin, 1995.
A. Finkelstein, J. Kramer, and B. Nuseibeh, editors. Software Process Modelling and Technology. John Wiley & Sons, 1994.
C. Floyd. Theory and Practice of Software Development: Stages in a Debate. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, Proc. of TAPSOFT '95, number 915 in Lecture Notes in Computer Science, pages 25–41. Springer Verlag, Berlin, 1995.
W. Wayt Gibbs. Software's Chronic Crisis. Scientific American, (9):72–81, 1994.
J. Goguen and Luqi. Formal Methods and Social Context in Software Development. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, Proc. of TAPSOFT '95, number 915 in Lecture Notes in Computer Science, pages 62–81. Springer Verlag, Berlin, 1995.
C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, London, 1985.
C.A.R. Hoare. How did Software Get so Reliable Without Proof? In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit and Advances in Formal Methods, number 1051 in Lecture Notes in Computer Science, pages 1–17. Springer Verlag, Berlin, 1996.
C.A.R. Hoare. Unification of Theories: A Challenge for Computing Science. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specification, number 1130 in Lecture Notes in Computer Science, pages 49–57. Springer Verlag, Berlin, 1996. 11th Workshop on Specification of Abstract Data Types joint with the 8th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers.
I.S.O. LOTOS — A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. IS 8807, International Organization for Standardization, 1989.
J. Meseguer. Conditional Rewriting as a Unified Model of Concurrency. T.C.S., 96:73–155, 1992.
R. Milner. Communication and Concurrency. Prentice Hall, London, 1989.
Monterey. Announcement of the Monterey “Workshop on Formal Methods for Computer Aided Software Development”. 1994.
J. Sommerville. Software Engineering: Third Edition. Addison-Wesley, 1989.
J. Souquières and N. Lévy. Description of Specification and Developments. In Proc. of International Symposium on Requirements Engineering RE'93. IEEE Computer Society, Los Alamitos, CA, 1993.
H. van Vliet. Software Engineering: Principles and Practice. John Wiley & Sons, 1993.
M. Wirsing. Algebraic Specifications. In J. van Leeuwen, editor, Handbook of Theoret. Comput. Sci., volume B, pages 675–788. Elsevier, 1990.
M. Wirsing. Algebraic Specification Languages: An Overview. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Type Specification, number 906 in Lecture Notes in Computer Science, pages 81–115. Springer-Verlag, Berlin, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Astesiano, E., Reggio, G. (1997). Formalism and method. In: Bidoit, M., Dauchet, M. (eds) TAPSOFT '97: Theory and Practice of Software Development. CAAP 1997. Lecture Notes in Computer Science, vol 1214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0030590
Download citation
DOI: https://doi.org/10.1007/BFb0030590
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62781-4
Online ISBN: 978-3-540-68517-3
eBook Packages: Springer Book Archive