{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:36:32Z","timestamp":1743093392088,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261810"},{"type":"electronic","value":"9783540315568"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11494881_5","type":"book-chapter","created":{"date-parts":[[2010,9,25]],"date-time":"2010-09-25T14:47:34Z","timestamp":1285426054000},"page":"67-82","source":"Crossref","is-referenced-by-count":5,"title":["Checking the Validity of Scenarios in UML Models"],"prefix":"10.1007","author":[{"given":"Holger","family":"Rasch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"35","volume-title":"WSOP\u201902","author":"S. Bernardi","year":"2002","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable petri net models. In: WSOP\u201902, pp. 35\u201345. ACM Press, New York (2002)"},{"key":"5_CR2","first-page":"163","volume-title":"FMOODS\u201900","author":"C. Bolton","year":"2000","unstructured":"Bolton, C., Davies, J.: Using relational and behavioural semantics in the verification of object models. In: FMOODS\u201900, pp. 163\u2013182. Kluwer, Dordrecht (2000)"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H. Bowman","year":"2002","unstructured":"Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A formal framework for viewpoint consistency. Formal Methods in System Design\u00a021, 111\u2013166 (2002)","journal-title":"Formal Methods in System Design"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-540-27863-4_27","volume-title":"Integration of Software Specification Techniques for Applications in Engineering","author":"M. Brill","year":"2004","unstructured":"Brill, M., Buscherm\u00f6hle, R., Damm, W., Klose, J., Westphal, B., Wittke, H.: Formal verification of LSCs in the development process. In: Ehrig, H., Damm, W., Desel, J., Gro\u00dfe-Rhode, M., Reif, W., Schnieder, E., Westk\u00e4mper, E. (eds.) INT 2004. LNCS, vol.\u00a03147, pp. 494\u2013516. Springer, Heidelberg (2004)"},{"key":"5_CR5","unstructured":"Choi, Y., Bunse, C.: Behavioral consistency checking for component-based software development using the KobrA approach. In: Consistency Problems in UMLbased Software Development III, Lisbon, Portugal (revised papers) (October 2004)"},{"key":"5_CR6","unstructured":"Consistency problems in UML-based software development III \u2013 understanding and usage of dependency relationships, Lisbon, Portugal (October 2004)"},{"key":"5_CR7","volume-title":"FMOODS\u201999","author":"W. Damm","year":"1999","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into Message Sequence Charts. In: Ciancarini, P., Gorrieri, R. (eds.) FMOODS\u201999. Kluwer, Dordrecht (1999)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1007\/3-540-45441-1_21","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"G. Engels","year":"2001","unstructured":"Engels, G., Heckel, R., K\u00fcster, J.: Rule-based Specification of Behavioral Consistency based on the UML Meta-Model. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 272. Springer, Heidelberg (2001)"},{"key":"5_CR9","first-page":"423","volume-title":"FMOODS\u201997","author":"C. Fischer","year":"1997","unstructured":"Fischer, C.: CSP-OZ: A combination of Object-Z and CSP. In: Bowman, H., Derrick, J. (eds.) FMOODS\u201997, vol.\u00a02, pp. 423\u2013438. Chapman and Hall, Boca Raton (1997)"},{"key":"5_CR10","unstructured":"Formal Systems (Europe) Ltd. Failures-Divergence Refinement \u2013 FDR2 User Manual, 4th edn. (August 1998)"},{"key":"5_CR11","first-page":"3","volume-title":"FORTE\/PSTV\u201998","author":"T. Gehrke","year":"1998","unstructured":"Gehrke, T., Huhn, M., Rensink, A., Wehrheim, H.: An algebraic semantics for message sequence chart documents. In: Budkowski, S., Cavalle, A., Najm, E. (eds.) FORTE\/PSTV\u201998, pp. 3\u201318. Kluwer, Dordrecht (1998)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Specifying and Executing Behavioral Requirements: The Play In\/Play-Out Approach. Software and System Modeling\u00a02, 82\u2013107 (2003)","journal-title":"Software and System Modeling"},{"key":"5_CR13","series-title":"International Series in Computer Science. Prentice-Hall International","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall International. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"5_CR14","unstructured":"International Organisation for Standardization. Information technology \u2013 Z formal specification notation \u2013 Syntax, type system and semantics, 1st edition, ISO\/IEC 13568:2002 (E) International Standard (July 2002)"},{"issue":"5","key":"5_CR15","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01211629","volume":"7","author":"P.B. Ladkin","year":"1995","unstructured":"Ladkin, P.B., Leue, S.: Interpreting message flow graphs. Formal Aspects of Computing\u00a07(5), 473\u2013509 (1995)","journal-title":"Formal Aspects of Computing"},{"issue":"4","key":"5_CR16","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/comjnl\/37.4.269","volume":"37","author":"S. Mauw","year":"1994","unstructured":"Mauw, S., Reniers, M.A.: An Algebraic Semantics of Basic Message Sequence Charts. The Computer Journal\u00a037(4), 269\u2013277 (1994)","journal-title":"The Computer Journal"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-24756-2_15","volume-title":"Integrated Formal Methods","author":"M. M\u00f6ller","year":"2004","unstructured":"M\u00f6ller, M., Olderog, E.-R., Rasch, H., Wehrheim, H.: Linking CSP-OZ with UML and Java: A case study. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol.\u00a02999, pp. 267\u2013286. Springer, Heidelberg (2004)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-39958-2_16","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"H. Rasch","year":"2003","unstructured":"Rasch, H., Wehrheim, H.: Checking Consistency in UML Diagrams: Classes and State Machines. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.\u00a02884, pp. 229\u2013243. Springer, Heidelberg (2003)"},{"key":"5_CR19","series-title":"Series in Computer Science. Prentice Hall Europe","volume-title":"The Theory and Practice of Concurrency","author":"W. Roscoe","year":"1998","unstructured":"Roscoe, W.: The Theory and Practice of Concurrency. Series in Computer Science. Prentice Hall Europe. Prentice-Hall, Englewood Cliffs (1998)"},{"key":"5_CR20","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)"},{"key":"5_CR21","series-title":"Advances in Formal Methods","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer, Dordrecht (2000)"},{"key":"5_CR22","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1998","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Oriel College, Oxford (1998)","edition":"2"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"St\u00f6rrle, H.: Semantics of Interactions in UML 2.0. In: Intl. Workshop on Visual Languages and Formal Methods, Auckland, NZ (2003)","DOI":"10.1109\/HCC.2003.1260216"},{"key":"5_CR24","unstructured":"Tsiolakis, A., Ehrig, H.: Consistency Analysis of UML Class and Sequence Diagrams using Attributed Graph Grammars. In: Ehrig, H., Taentzer, G. (eds.) GRATRA 2000, TU Berlin, FB Informatik, TR No. 2000-2, March 2000, pp. 77\u201386 (2000)"},{"key":"5_CR25","unstructured":"OMG Unified Modeling Language specification, version 1.5 (March 2003), \n                    \n                      http:\/\/www.omg.org"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Open Object-Based Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11494881_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T00:43:33Z","timestamp":1553129013000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11494881_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261810","9783540315568"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11494881_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}