{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:52:10Z","timestamp":1747806730473},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712886"},{"type":"electronic","value":"9783540712893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71289-3_16","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:03:44Z","timestamp":1183478624000},"page":"185-199","source":"Crossref","is-referenced-by-count":12,"title":["Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams"],"prefix":"10.1007","author":[{"given":"Florian","family":"Klein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Holger","family":"Giese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"2nd Workshop on Formal Methods in Software Practice","author":"M.B. Dwyer","year":"1998","unstructured":"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)"},{"key":"16_CR2","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"ICSE \u201999: Proceedings of the 21st international conference on Software engineering","author":"M.B. Dwyer","year":"1999","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE \u201999: Proceedings of the 21st international conference on Software engineering, Los Angeles, California, United States, pp. 411\u2013420. IEEE Computer Society Press, Los Alamitos, CA, USA (1999)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Musliner, D., Goldman, R., Pelican, M., Krebsbach, K.: Self-adaptive software for hard real-time environments. IEEE Intelligent Systems\u00a014(4) (1999), http:\/\/dlib.computer.org\/ex\/books\/ex1999\/pdf\/x4023.pdf","DOI":"10.1109\/5254.784081"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/5254.769885","volume":"14","author":"P. Oreizy","year":"1999","unstructured":"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\u00a014(3), 54\u201362 (1999)","journal-title":"IEEE Intelligent Systems"},{"key":"16_CR5","unstructured":"Object Management Group: UML 2.0 Object Constraint Language (OCL) Specification (2003), http:\/\/www.omg.org\/docs\/ptc\/03-10-14.pdf"},{"key":"16_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/3-540-44590-0_30","volume-title":"Theory and Application of Diagrams","author":"Z. Diskin","year":"2000","unstructured":"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.\u00a01889, pp. 345\u2013360. Springer, Heidelberg (2000)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-46852-8_28","volume-title":"\u00abUML\u00bb \u201999 - The Unified Modeling Language. Beyond the Standard","author":"S. Kent","year":"1999","unstructured":"Kent, S., Howse, J.: Mixing visual and textual constraint languages. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol.\u00a01723, pp. 384\u2013398. Springer, Heidelberg (1999)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-45669-4_12","volume-title":"Object Modeling with the OCL","author":"S. Kent","year":"2002","unstructured":"Kent, S., Howse, J.: Constraint Trees. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 228\u2013249. Springer, Heidelberg (2002)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-45441-1_20","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"P. Bottoni","year":"2001","unstructured":"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.\u00a02185, pp. 257\u2013271. Springer, Heidelberg (2001)"},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/ICSE.2000.870415","volume-title":"Proc. of the 22 nd International Conference on Software Engineering (ICSE)","author":"H. K\u00f6hler","year":"2000","unstructured":"K\u00f6hler, H., Nickel, U., Niere, J., Z\u00fcndorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proc. of the 22 nd International Conference on Software Engineering (ICSE), Limerick, Irland, pp. 241\u2013251. ACM Press, New York (2000)"},{"key":"16_CR11","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"16_CR12","first-page":"372","volume-title":"ICSE \u201905: Proceedings of the 27th international conference on Software engineering","author":"S. Konrad","year":"2005","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: ICSE \u201905: Proceedings of the 27th international conference on Software engineering, pp. 372\u2013381. ACM Press, New York (2005)"},{"key":"16_CR13","unstructured":"Object Management Group: UML 2.0 Superstructure Specification, Document ptc\/03-08-02 (2003)"},{"key":"16_CR14","volume-title":"Proceedings of the Tenth ACM SIGSOFT Symposium on the Foundations of Softare Engineering (FSE-10)","author":"B. Sengupta","year":"2002","unstructured":"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)"},{"key":"16_CR15","unstructured":"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)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1109\/ICSE.2004.1317439","volume-title":"ICSE \u201904: Proceedings of the 26th International Conference on Software Engineering","author":"A. Alfonso","year":"2004","unstructured":"Alfonso, A., Braberman, V., Kicillof, N., Olivero, A.: Visual Timed Event Scenarios. In: ICSE \u201904: Proceedings of the 26th International Conference on Software Engineering, Washington, DC, USA, pp. 168\u2013177. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"16_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/3-540-45923-5_14","volume-title":"Fundamental Approaches to Software Engineering","author":"J.C. Bradfield","year":"2002","unstructured":"Bradfield, J.C., K\u00fcster Filipe, J., Stevens, P.: Enriching OCL Using Observational Mu-Calculus. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol.\u00a02306, p. 203. Springer, Heidelberg (2002)"},{"key":"16_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45614-7_22","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"M.V. Cengarle","year":"2002","unstructured":"Cengarle, M.V., Knapp, A.: Towards OCL\/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 390\u2013408. Springer, Heidelberg (2002)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-45669-4_8","volume-title":"Object Modeling with the OCL","author":"S. Flake","year":"2002","unstructured":"Flake, S., M\u00fcller, W.: An OCL Extension for Real-Time Constraints. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol.\u00a02263, pp. 150\u2013171. Springer, Heidelberg (2002)"},{"key":"16_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-540-46464-8_22","volume-title":"Theory and Application of Graph Transformations","author":"F. Gadducci","year":"2000","unstructured":"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.\u00a01764, pp. 310\u2013322. Springer, Heidelberg (2000)"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/11841883_21","volume-title":"Graph Transformations","author":"T. R\u00f6tschke","year":"2006","unstructured":"R\u00f6tschke, T., Sch\u00fcrr, A.: Temporal Graph Queries to Support Software Evolution. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 291\u2013305. Springer, Heidelberg (2006)"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/978-3-540-46464-8_21","volume-title":"Theory and Application of Graph Transformations","author":"T. Fischer","year":"2000","unstructured":"Fischer, T., Niere, J., Torunski, L., Z\u00fcndorf, 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.\u00a01764, pp. 296\u2013309. Springer, Heidelberg (2000)"},{"key":"16_CR23","unstructured":"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)"},{"key":"16_CR24","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1. World Scientific, Singapore (1997)"},{"key":"16_CR25","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71289-3_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T17:04:30Z","timestamp":1683911070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71289-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712886","9783540712893"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71289-3_16","relation":{},"subject":[]}}