Advertisement

Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams

  • Florian Klein
  • Holger Giese
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4422)

Abstract

Complex software systems, and self-adaptive systems in particular, are characterized by complex structures and behavior. For their design, appropriate notations for the specification of properties that integrate structural and temporal aspects are required. We present Timed Story Scenario Diagrams (TSSD), a visual notation for scenario specifications that takes structural system properties into account and provides an integrated way of discussing system state evolution. We present the key features of the notation and demonstrate how the patterns of the Specification Pattern System [1,2] can be encoded using TSSDs. We also discuss how TSSDs can be derived from textual specifications in a straight-forward manner, using a case study.

Keywords

Property Specification Temporal Logic Visual Specification Language 

References

  1. 1.
    Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property Specification Patterns for Finite-state Verification. In: 2nd Workshop on Formal Methods in Software Practice, March 1998, ACM Press, New York (1998)Google Scholar
  2. 2.
    Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE ’99: Proceedings of the 21st international conference on Software engineering, Los Angeles, California, United States, pp. 411–420. IEEE Computer Society Press, Los Alamitos, CA, USA (1999)Google Scholar
  3. 3.
    Musliner, D., Goldman, R., Pelican, M., Krebsbach, K.: Self-adaptive software for hard real-time environments. IEEE Intelligent Systems 14(4) (1999), http://dlib.computer.org/ex/books/ex1999/pdf/x4023.pdf
  4. 4.
    Oreizy, P., Gorlick, M.M., Taylor, R.N., Heimbigner, D., Johnson, G., Medvidovic, N., Quilici, A., Rosenblum, D.S., Wolf, A.L.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems 14(3), 54–62 (1999)CrossRefGoogle Scholar
  5. 5.
    Object Management Group: UML 2.0 Object Constraint Language (OCL) Specification (2003), http://www.omg.org/docs/ptc/03-10-14.pdf
  6. 6.
    Diskin, Z., Kadish, B., Piessens, F., Johnson, M.: Universal Arrow Foundations for Visual Modeling. In: Anderson, M., Cheng, P., Haarslev, V. (eds.) Diagrams 2000. LNCS (LNAI), vol. 1889, pp. 345–360. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  7. 7.
    Kent, S., Howse, J.: Mixing visual and textual constraint languages. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 384–398. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  8. 8.
    Kent, S., Howse, J.: Constraint Trees. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 228–249. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Bottoni, P., Koch, M., Parisi-Presicce, F., Taentzer, G.: A Visualization of OCL Using Collaborations. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 257–271. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  10. 10.
    Köhler, H., Nickel, U., Niere, J., Zündorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proc. of the 22nd International Conference on Software Engineering (ICSE), Limerick, Irland, pp. 241–251. ACM Press, New York (2000)Google Scholar
  11. 11.
    Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)Google Scholar
  12. 12.
    Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: ICSE ’05: Proceedings of the 27th international conference on Software engineering, pp. 372–381. ACM Press, New York (2005)Google Scholar
  13. 13.
    Object Management Group: UML 2.0 Superstructure Specification, Document ptc/03-08-02 (2003)Google Scholar
  14. 14.
    Sengupta, B., Cleaveland, R.: Triggered Message Sequence Charts. In: Griswold, W.G. (ed.) Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Softare Engineering (FSE-10), Charleston, South Carolina, November 2002, ACM Press, New York (2002)Google Scholar
  15. 15.
    Harel, D., Marelly, R.: Playing with Time: On the Specification and Execution of Time-Enriched LSCs. In: Proc. 10th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), Fort Worth, Texas, USA (2002), invited paper (2002)Google Scholar
  16. 16.
    Alfonso, A., Braberman, V., Kicillof, N., Olivero, A.: Visual Timed Event Scenarios. In: ICSE ’04: Proceedings of the 26th International Conference on Software Engineering, Washington, DC, USA, pp. 168–177. IEEE Computer Society Press, Los Alamitos (2004)CrossRefGoogle Scholar
  17. 17.
    Bradfield, J.C., Küster Filipe, J., Stevens, P.: Enriching OCL Using Observational Mu-Calculus. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, p. 203. Springer, Heidelberg (2002)Google Scholar
  18. 18.
    Cengarle, M.V., Knapp, A.: Towards OCL/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 390–408. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  19. 19.
    Flake, S., Müller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 150–171. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  20. 20.
    Gadducci, F., Heckel, R., Koch, M.: A fully abstract model for graph-interpreted temporal logic. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 310–322. Springer, Heidelberg (2000)Google Scholar
  21. 21.
    Rötschke, T., Schürr, A.: Temporal Graph Queries to Support Software Evolution. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 291–305. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  22. 22.
    Fischer, T., Niere, J., Torunski, L., Zündorf, A.: Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 296–309. Springer, Heidelberg (2000)Google Scholar
  23. 23.
    Giese, H., Klein, F.: Beyond Story Patterns: Story Decision Diagrams. In: Giese, H., Westfechtel, B. (eds.): Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany. Volume tr-ri-06-275 of Technical Report, University of Paderborn (2006)Google Scholar
  24. 24.
    Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1. World Scientific, Singapore (1997)Google Scholar
  25. 25.
    Klein, F., Giese, H.: Integrated Visual Specification of Structural and Temporal Properties. Technical Report tr-ri-06-277, Computer Science Department, University of Paderborn (2006)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Florian Klein
    • 1
  • Holger Giese
    • 1
  1. 1.Software Engineering Group, University of Paderborn, Warburger Str. 100, D-33098 PaderbornGermany

Personalised recommendations