Abstract
Software development lacks tools supporting the steps actually followed by developers, e.g. with successive approximations. The Proplane framework aims at modelling specifications construction. In this framework, a development step is composed of a workplan denoting both the history of goals and the decisions taken, a product denoting the specification being defined, and the links between them. These links are expressed by means of a meta-program. Each step is obtained by the application of a development operator. Operators enable developments with successive approximations to be captured. The use of the framework is illustrated by some steps of the development of the production cell case study.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-Oriented Software Architecture, a System of Patterns. J. Wiley and Sons, Inc, 1996.
R. Darimont and J. Souquières. A Development Model: Application to Z specifications. In Proc. of the IFIP WG 8.1 Working Conference on Information System Development Process, Como, Italy, 1993. North Holland. September 1993.
A. Finkelstein, J. Kramer, and B. Nuseibeh, editors. Software Process Modelling and Technology. Wiley, 1994.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns — Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
M. Heisel and N. Lévy. Using LOTOS patterns to characterize architectural styles. In Proc. 7th International Joint Conference on the Theory and Practice of Software Development, (TAPSOFT'97-FASE), volume 1214 of Lecture Notes in Computer Science, April 1997.
P. Jamart and A. van Lamsweerde. A Reflective Approach to Process Model Customization, Enactment amd Evolution. Proc. 3th Int. Conf. on Soft. Process, ICSP3, pages 21–32, 1994.
Brian W. Kernighan and P.J. Plauger. Software Tools. Reading. Addison-Wesley, Massachusetts, USA, 1976.
T. Lambolais. Development of Automata with Lotos. In Method Integration Workshop'96. Leeds Metropolitan University, March 1996.
N. Lévy. Improving PROPLANE: a specifications development framework. In Proc. Second IFAC Int. Workshop on Safety and Reliability in Emerging Control Technologies, Daytona Beach, Florida, pages 229–240, November 1995.
Claus Lewerentz and Thomas Lindner. Formal development of reactive systems: case study production cell. Number 891 in Lecture Notes in Computer Science. Springer-Verlag, 1995.
T. Lambolais and N. Lévy. A Library of Development Operators to Specify Protocols. Technical report, CRIN-CNRS/CNET, 1996.
Th. Lambolais, N. Lévy, and J. Souquières. Assistance au développement de spécifications de protocoles de communication. In Conférence AFADL, Approches formelles dans l'assistance au développement de logiciels, Toulouse, Mai 1997.
N. Lévy and G. Smith. A language-independent approach to specification construction. In Proceedings of the ACM SIGSOFT'94: Symposium on the Foundations of Software Engineering, New Orleans, USA., pages 76–86, December 1994.
N. Lévy and J. Souquières. A “coming and going” approach to specification construction: a scenario. In Proceedings of the 8th International Workshop on Software Specification and Design (IWSSD-8), pages 155–158, Schloss Velen, Germany, March 1996.
N.-J. Nilsson. Problem Solving Methods in Artificial Intelligence. Computer Sciences Series. Mac Graw-Hill, 1971.
D. L. Parnas. Software Aging. In Proc. of ICSE-16, pages 279–287. IEEE Press, May 1994.
M. Shaw. Beyond objects; a software design paradigm based on process control. ACM SIGSOFT Software Engineering notes, 20(1):27–38, January 1995.
J. Souquières and N. Lévy. Description of Specification Developments. In Proceedings IEEE International Symposium on Requirements Engineering, San Diego (CA, USA), January 1993.
J. Souquières and N. Lévy. PROPLANE: A Specification Development Environment. In Fifth International Conference on Algebraic Methodology and Software Methodology AMAST'96, volume 1101, Munich (G), July 1996. Lecture Notes in Computer Science.
G. Smith. A Development Framework for Object-Oriented Specification and Refinement. In B. Magnusson, B. Meyer, J.-M. Nerson, and J.-F. Perrot, editors, Proceedings of TOOLS EUROPE'94, March 1994.
J. Souquières. Aides au développement de spécifications. Thèse d'Etat de l'Université de Nancy 1, 1993.
J.M. Spivey. The Z Notation: A Reference Manual. Series in Computer Science. Prentice-Hall International, Englewood Cliffs, NJ, 1989.
S. Sadaoui and J. Souquières. Quelques approches de la réutilisation en Proplane. In Conférence AFADL, Approches formelles dans l'assistance au développement de logiciels, Toulouse, Mai 1997.
K. J. Turner. Relating architecture and specification. To appear in Computer Networks and ISDN Systems, April 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lévy, N., Souquières, J. (1997). Modelling specification construction by successive approximations. In: Johnson, M. (eds) Algebraic Methodology and Software Technology. AMAST 1997. Lecture Notes in Computer Science, vol 1349. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000482
Download citation
DOI: https://doi.org/10.1007/BFb0000482
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63888-9
Online ISBN: 978-3-540-69661-2
eBook Packages: Springer Book Archive