{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T10:48:02Z","timestamp":1742381282758},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261896"},{"type":"electronic","value":"9783540320326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11495628_10","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T12:03:05Z","timestamp":1279022585000},"page":"174-192","source":"Crossref","is-referenced-by-count":5,"title":["Lightweight Formal Methods for Scenario-Based Software Engineering"],"prefix":"10.1007","author":[{"given":"Yves","family":"Bontemps","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of Message Sequence Charts. In: Proceedings of 22nd International Conference on Software Engineering, pp. 304\u2013313 (2000)","DOI":"10.1145\/337180.337215"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Alur","year":"1996","unstructured":"Alur, R., Holzmann, G.J., Peled, D.: An analyser for mesage sequence charts. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.\u00a01055. Springer, Heidelberg (1996)"},{"issue":"4","key":"10_CR3","first-page":"1","volume":"14","author":"M. Abadi","year":"1992","unstructured":"Abadi, M., Lamport, L.: Mart\u00edn Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems\u00a014(4), 1\u201360 (1992)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0035393","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdallah","year":"1997","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic Detection of Process Divergence and Nonlocal Choice in Message Sequence Charrts. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol.\u00a01217, pp. 259\u2013274. Springer, Heidelberg (1997)"},{"key":"10_CR5","volume-title":"Proc. of the 2nd Int. Workshop on \u201cScenarios and State Machines: Models, Algorithms and Tools\u201d (SCESM 2003), at the 25th Int. Conf. on Soft. Eng. (ICSE 2003)","author":"Y. Bontemps","year":"2003","unstructured":"Bontemps, Y., Heymans, P., Kugler, H.: Applying LSCs to the specification of an air traffic control system. In: Uchitel, S., Bordeleau, F. (eds.) Proc. of the 2nd Int. Workshop on \u201cScenarios and State Machines: Models, Algorithms and Tools\u201d (SCESM 2003), at the 25th Int. Conf. on Soft. Eng. (ICSE 2003), Portland, OR, USA, May 2003, IEEE, Los Alamitos (2003)"},{"key":"10_CR6","unstructured":"Bontemps, Y.: Automated Verification of State-based Specifications Against Scenarios (A Step towards Relating Inter-Object to Intra-Object Specifications). Master\u2019s thesis, University of Namur (June 2001)"},{"key":"10_CR7","unstructured":"Bontemps, Y.: Realizability of scenario-based specifications. Dipl\u00f4me d\u2019\u00e9tudes approfondies, University of Namur (September 2003)"},{"key":"10_CR8","series-title":"NATO Science Series, III: Computer and Systems Sciences","first-page":"1","volume-title":"Models, Algebras and Logics of Engineering Software","author":"M. Broy","year":"2003","unstructured":"Broy, M.: Unifying models and engineering theories of composed software systems. In: Broy, M., Pizka, M. (eds.) Models, Algebras and Logics of Engineering Software. NATO Science Series, III: Computer and Systems Sciences, vol.\u00a0191, pp. 1\u201341. IOS Press, Amsterdam (2003)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/CSD.2003.1207698","volume-title":"Proc. of the 3rd Int. Conf. on Applications of Concurrency to System Design (ACSD 2003)","author":"Y. Bontemps","year":"2003","unstructured":"Bontemps, Y., Schobbens, P.-Y.: Synthesizing open reactive systems from scenario-based specifications. In: Balarin, F., Lilius, J. (eds.) Proc. of the 3rd Int. Conf. on Applications of Concurrency to System Design (ACSD 2003), Guimar\u00e3es, Portugal, June 2003, pp. 41\u201350. IEEE Computer Science Press, Los Alamitos (2003)"},{"key":"10_CR10","unstructured":"Bontemps, Y., Schobbens, P.-Y.: The computational complexity of scenario-based agent verification and design. Technical Report 2004.35, CFV (Centre F\u00e9d\u00e9r\u00e9 en V\u00e9rification) (October 2004), \n                    \n                      http:\/\/www.ulb.ac.be\/di\/ssd\/cfv\/publications.html"},{"key":"10_CR11","unstructured":"Cobben, J.M.H., Engels, A., Mauw, S., Michel Reniers, A.: Formal Semantics of Message Sequence Charts (ITU-T Recommendation Z.120 Annex B). In: International Telecommunication Union, Eindhoven, The Netherlands (April 1998), \n                    \n                      http:\/\/www.itu.int"},{"key":"10_CR12","unstructured":"Caillaud, B., Muscholl, A.: VISS 2002: Validation and Implementation of Scenario-based Specifications (ETAPS 2002) (April 2002), \n                    \n                      http:\/\/www.liafa.jussieu.fr\/~anca\/VISS02.html"},{"issue":"1","key":"10_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"10_CR14","first-page":"997","volume-title":"Temporal and Modal Logic","author":"E.A. Emerson.","year":"1990","unstructured":"Emerson., E.A.: Temporal and Modal Logic, vol.\u00a0B.,ch.16, pp. 997\u20131072. MIT Press and Elsevier Science Publishers, Cambridge (1990) ISBN 0-262-72015-9 (Second Printing, 1998)"},{"key":"10_CR15","unstructured":"Finkbeiner, B., Kr\u00fcger, I.H.: Using message sequence charts for component-based formal verification. In: Proc. of OOPSLA 2001 Workshop on Specification and Verification of Component-Based Systems, Tampa Bay, FL, USA (October 2001)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Logics, and Infinite Games","year":"2002","unstructured":"Gr\u00e4del, E., Thomas, W., Wilke, T. (eds.): Automata, Logics, and Infinite Games. LNCS, vol.\u00a02500. Springer, Heidelberg (2002)"},{"issue":"1","key":"10_CR17","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.895118","volume":"34","author":"D. Harel","year":"2001","unstructured":"Harel, D.: From play-in scenarios to code: An achievable dream. IEEE Computer\u00a034(1), 53\u201360 (2001)","journal-title":"IEEE Computer"},{"key":"10_CR18","unstructured":"Heymans, P.: Animating Albert II Specifications. PhD thesis, University of Namur (2001)"},{"key":"10_CR19","unstructured":"Harel, D., Marelly, R.: Capturing and Analyzing Behavioral Requirements: The Play-In\/Play-Out Approach. Technical Report MCS01-15, The Weizmann Institute of Science, Faculty of Mathematics and Computer Science, Rehovot, Israel (September 2001)"},{"key":"10_CR20","volume-title":"Come, let\u2019s play! Scenario-based programming using LSCs and the Play-engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, let\u2019s play! Scenario-based programming using LSCs and the Play-engine. Springer, Heidelberg (2003) ISBN 3-540-00787-3"},{"key":"10_CR21","unstructured":"MSC-2000: ITU-T Recommendation Z.120 : Message Sequence Chart (MSC) (2000), \n                    \n                      http:\/\/www.itu.int\/"},{"key":"10_CR22","unstructured":"Jacobson, I.: Object Oriented Software Engineering: a Use-Case Driven Approach. ACM Press\/Addison-Wesley (1992)"},{"key":"10_CR23","unstructured":"Kugler, H., Harel, D., Pnueli, A., Yuan, L., Bontemps, Y.: Temporal Logic for Live Sequence Charts. Unpublished draft (January 2001)"},{"key":"10_CR24","unstructured":"Kr\u00fcger, I.H.: Distributed System Design with Message Sequence Charts. PhD thesis, Technische Universit\u00e4t M\u00fcnchen (July 2000)"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/3-540-45319-9_35","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Klose","year":"2001","unstructured":"Klose, J., Wittke, H.: An Automata Based Interpretation of Live Sequence Charts. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 512. Springer, Heidelberg (2001)"},{"key":"10_CR26","unstructured":"Leue, S., Mehrmann, L., Rezai, M.: Synthesizing ROOM models from message sequence charts specifications. In: Proc. of 13th IEEE Conference on Automated Software Engineering, Honolulu, Hawaii (October 1998)"},{"issue":"3","key":"10_CR27","first-page":"219","volume":"2","author":"N.A. Lynch","year":"1989","unstructured":"Lynch, N.A., Tuttle, M.R.: An introduction to input\/output automata. CWI Quarterly\u00a02(3), 219\u2013246 (1989)","journal-title":"CWI Quarterly"},{"key":"10_CR28","unstructured":"Object Management Group (UML Revision Task Force). OMG UML Specification (2.0) (September 2003), \n                    \n                      http:\/\/www.omg.org\/uml"},{"key":"10_CR29","unstructured":"Ryser, J., Glinz, M.: SCENT: A Method Employing Scenarios to Systematically Derive Test Cases for System Test. Technical Report 2000\/3, Institut f\u00fcr Informatik - Universit\u00e4t Zurich, Winterthurerstrasse 190, 8057 Zurich, Switzerland (2000)"},{"key":"10_CR30","unstructured":"Rosner, R.: Modular Synthesis of Reactive Systems. PhD thesis, The Weizmann Institute of Science, Rehovot, Israel (April 1992)"},{"key":"10_CR31","unstructured":"Uchitel, S.: Elaboration of Behaviour Models and Scenario-based Specifications using Implied Scenarios. PhD thesis, Imperial College London (January 2003)"},{"key":"10_CR32","first-page":"74","volume-title":"Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC\/FSE-2001), SOFTWARE ENGINEERING NOTES","author":"S. Uchitel","year":"2001","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting implied scenarios in message sequence chart specifications. In: Gruhn, V. (ed.) Proceedings of the Joint 8th European Software Engeneering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engeneering (ESEC\/FSE-2001), Software Engineering Notes, New York, September \u00a010\u201314, vol.\u00a026(5), pp. 74\u201382. ACM Press, New York (2001)"},{"issue":"2","key":"10_CR33","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/52.663783","volume":"15","author":"K. Weidenhaupt","year":"1998","unstructured":"Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenario Usage in System Development: A Report on Current practice. IEEE Software\u00a015(2), 34\u201345 (1998)","journal-title":"IEEE Software"},{"key":"10_CR34","volume-title":"Proc. of \u201dScenarios and State-Machines: models, algorithms and tools\u201d workshop at the 24th Int. Conf. on Software Engineering (ICSE 2002)","author":"J. Whittle","year":"2002","unstructured":"Whittle, J., Schumann, J.: Statechart Synthesis from Scenarios: an Air Traffic Control Case Study. In: Proc. of \u201dScenarios and State-Machines: models, algorithms and tools\u201d workshop at the 24th Int. Conf. on Software Engineering (ICSE 2002), Orlando, FL, May 20, 2002. ACM, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Scenarios: Models, Transformations and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11495628_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:39:22Z","timestamp":1619505562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11495628_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261896","9783540320326"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11495628_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}