Abstract
We discuss the possibility of a complete system development scheme, supported by semantically rigorous automated tools, within which one can go from an extremely high-level, user-friendly requirement capture method, which we call play-in scenarios, to a final implementation. A cyclic process consisting of verification against requirements and synthesis from requirements plays an important part in the scheme, which is not quite as imaginary as it may sound.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Booch, G., Object-Oriented Analysis and Design, with Applications (2nd edn.), Benjamin/Cummings, 1994.
Clarke, E.M., O. Grumberg and D. Peled, Model Checking, Mit Press, 1999.
Constantine, L. L., and E. Yourdon, Structured Design, Prentice-Hall, Englewood Cliffs, 1979.
Cook, S. and J. Daniels, Designing Object Systems: Object-Oriented Modelling with Syntropy, Prentice Hall, New York, 1994.
Damm, W., and D. Harel, “LSCs: Breathing Life into Message Sequence Charts”, Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS’99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293–312.
DeMarco, T., Structured Analysis and System Specification, Yourdon Press, New York, 1978.
Dijkstra, E.W., “Notes on Structured Programming”, in Structured Programming, Academic Press, New York, 1972.
Floyd, R.W., “Assigning Meanings to Programs”, Proc. Symp. on Applied Math., (Vol. 19: “Mathematical Aspects of Computer Science”), American Math. Soc., Providence, RI, pp. 19–32, 1967.
Harel, D., “Statecharts: A Visual Formalism for Complex Systems”, Sci. Comput. Prog. 8 (1987), 231–274. (Preliminary version appeared as Tech. Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, Feb. 1984.)
Harel, D., “On Visual Formalisms”, Comm. Assoc. Comput. Mach. 31:5 (1988), 514–530.
Harel, D., “Biting the Silver Bullet: Toward a Brighter Future for System Development”, Computer (Jan. 1992), 8–20.
Harel, D., and E. Gery, “Executable Object Modeling with Statecharts”, Computer (July 1997), 31–42.
Harel, D., and H. Kugler, “Synthesizing Object Systems from Live Sequence Charts”, submitted for publication, 1999.
Harel, D., H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot, “STATEMATE: A Working Environment for the Development of Complex Reactive Systems”, IEEE Trans. Soft. Eng. 16 (1990), 403–414. (Preliminary version in Proc. 10th Int. Conf. Soft. Eng., IEEE Press, New York, 1988, pp. 396–406.)
Harel, D., and A. Pnueli, “On the Development of Reactive Systems”, in Logics and Models of Concurrent Systems, (K. R. Apt, ed.), NATO ASI Series, Vol. F-13, Springer-Verlag, New York, 1985, pp. 477–498.
Harel, D., and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill, 1998.
Hatley, D., and I. Pirbhai, Strategies for Real-Time System Specification, Dorset House, New York, 1987.
Hoare, C.A.R., “An Axiomatic Basis for Computer Programming”, Comm. Assoc. Comput. Mach. 12 (1969), 576–583.
Hoare, C.A.R., “Communicating Sequential Processes”, Comm. Assoc. Comput. Mach. 21 (1978), 666–677.
I-Logix, Inc., products web page, http://www.ilogix.com/fs_prod.htm.
Jacobson, I., Object-Oriented Software Engineering: A Use Case Driven Approach, ACM Press/Addison-Wesley, 1992.
Manna, Z., and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, New York, 1992.
Manna, Z., and A. Pnueli, Temporal Verification of Reactive Systems: Safety, Springer-Verlag, New York, 1995.
Milner, R., A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vo. 92, Springer-Verlag, Berlin, 1980.
MSC: ITU-T Recommendation Z.120: Message Sequence Chart (MSC), ITU-T, Geneva, 1996.
Pnueli, A., “Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends”, Current Trends in Concurrency (de Bakker et al., eds.), Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin, 1986, pp. 510–584.
Pnueli, A., and R. Rosner, “On the Synthesis of a Reactive Module”, Proc. 16th ACM Symp. on Principles of Programming Languages, Austin, TX, January 1989.
Pnueli, A., and R. Rosner, “On the Synthesis of an Asynchronous Reactive Module”, Proc. 16th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 372, Springer-Verlag, Berlin, 1989, pp. 652–671.
Reisig, W., Petri Nets: An Introduction, Springer-Verlag, Berlin, 1985.
Rumbaugh, J., I. Jacobson and G. Booch, The Unified Modeling Language Reference Manual, Addison-Wesley, 1999.
Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modeling and Design, Prentice Hall, 1991.
Schlor, R. and W. Damm, “Specification and verification of system-level hard-ware designs using timing diagrams”, Proc. European Conference on Design Automation, Paris, France, IEEE Computer Society Press, pp. 518–524, 1993.
SDL: ITU-T Recommendation Z.100, Languages for telecommunications applications: Specification and description language, Geneva, 1999.
Selic, B., G. Gullekson and P. T. Ward, Real-Time Object-Oriented Modeling, John Wiley & Sons, New York, 1994.
Ward, P., and S. Mellor, Structured Development for Real-Time Systems (Vols. 1, 2, 3), Yourdon Press, New York, 1985.
Documentation of the Unified Modeling Language (UML), available from the Object Management Group (OMG), http://www.omg.org.
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
Harel, D. (2000). From Play-In Scenarios to Code: An Achievable Dream. In: Maibaum, T. (eds) Fundamental Approaches to Software Engineering. FASE 2000. Lecture Notes in Computer Science, vol 1783. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46428-X_3
Download citation
DOI: https://doi.org/10.1007/3-540-46428-X_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67261-6
Online ISBN: 978-3-540-46428-0
eBook Packages: Springer Book Archive