Abstract
This series of three lectures at the 2004 Marktoberdorf Summer School revolved around three topics that are peripheral to the classical notion of system development, but are relevant to it. It was not a Marktoberdorf “course” in the usual sense of the word, and hence detailed definitions and mathematical statements were not given. Rather, the topics were introduced and motivated, the main results described and illustrated, and ideas for further work sketched. This short report contains brief summaries of these topics, followed by some pointers to published papers.
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
L. Carmel, N. Sever, D. Lancet and D. Harel, “An E-Nose Algorithm for Identifying Chemicals and Determining their Concentration”, Sensors and Actuators B: Chemical 93 (2003), 76–82.
L. Carmel, N. Sever and D. Harel, “On Predicting Response to Mixtures in QMB Sensors”, Sensors and Actuators B: Chemical, in press, 2004. (Also, Proc. 10th Int. Symp. on Olfaction and Electronic Nose (ISOEN’03), 2003, pp. 160–163.)
W. Damm and D. Harel, “LSCs: Breathing Life into Message Sequence Charts”, Formal Methods in System Design 19:1 (2001), 45–80. (Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems, (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293–312.)
S. Efroni, D. Harel and I.R. Cohen, “Towards Rigorous Comprehension of Biological Complexity: Modeling, Execution and Visualization of Thymic T Cell Maturation”, Genome Research 13 (2003), 2485–2484.
D. Harel, L. Carmel and D. Lancet, “Towards an Odor Communication System”, Computational Biology and Chemistry 27 (2003), 121–133.
D. Harel, S. Efroni and I.R. Cohen, “Reactive Animation”, Proc. 1st Int. Symposium on Formal Methods for Components and Objects (FMCO 2002), Lecture Notes in Computer Science, Vol.2852, Springer-Verlag, 2003, pp. 136–153.
D. Harel, H. Kugler, R. Marelly and A. Pnueli, “Smart Play-Out of Behavioral Requirements”, Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD 2002), November 2002, pp. 378–398.
D. Harel, H. Kugler and A. Pnueli, “Smart Play-Out Extended: Time and Forbidden Elements”, Proc. 4th Int. Conf. on Quality Software (QSIC’04), IEEE Computer Society Press, 2004, pp. 2–10.
D. Harel and R. Marelly, Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer-Verlag, 2003.
N. Kam, D. Harel, H. Kugler, R. Marelly, A. Pnueli, E. Hubbard, and M. Stern, “Formal Modeling of C. elegans Development: A Scenario-Based Approach”, Proc. Int. Workshop on Computational Methods in Systems Biology (CMSB 2003), Lecture Notes in Computer Science, Vol. 2602, Springer-Verlag, pp. 4–20, 2003. (Revised version in Modeling in Molecular Biology (G. Ciobanu and G. Rozenberg, eds.), Springer, Berlin, 2004, pp. 151–173.)
O. Shaham, L. Carmel and D. Harel, “Mapping Between Electronic Noses”, Sensors and Actuators B: Chemical, in press, 2004. (Also, Proc. 10th Int. Symp. on Olfaction and Electronic Nose (ISOEN’03), 2003, pp. 92–95.)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this paper
Cite this paper
Harel, D. (2005). Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction. In: Broy, M., Grünbauer, J., Harel, D., Hoare, T. (eds) Engineering Theories of Software Intensive Systems. NATO Science Series, vol 195. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3532-2_13
Download citation
DOI: https://doi.org/10.1007/1-4020-3532-2_13
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3530-2
Online ISBN: 978-1-4020-3532-6
eBook Packages: Computer ScienceComputer Science (R0)