{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T05:28:35Z","timestamp":1737437315633,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752080"},{"type":"electronic","value":"9783540752097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_42","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T07:42:37Z","timestamp":1189496557000},"page":"620-634","source":"Crossref","is-referenced-by-count":2,"title":["Formally Defining a Graphical Language for Monitoring and Checking Object Interactions"],"prefix":"10.1007","author":[{"given":"Kai","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donglin","family":"Liang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"Auguston, M., Jeffery, C., Underwood, S.: A framework for automatic debugging. Technical Report TR-CS-004\/2002, New Mexico State University (2002)","DOI":"10.1109\/ASE.2002.1115015"},{"key":"42_CR2","volume-title":"Testing Object-Oriented Systems","author":"R. Binder","year":"1999","unstructured":"Binder, R.: Testing Object-Oriented Systems. Addison-Wesley Professional, Reading (1999)"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Ducasse, M.: Coca: An automated debugger for C. In: ICSE 1999, pp. 504\u2013513 (May 1999)","DOI":"10.1145\/302405.302682"},{"key":"42_CR4","volume-title":"Introduction to Parallel Computing","author":"A. Grama","year":"2003","unstructured":"Grama, A., Karypis, G., Kumar, V., Gupta, A.: Introduction to Parallel Computing, 2nd edn. Addison Wesley, Reading (2003)","edition":"2"},{"key":"42_CR5","doi-asserted-by":"crossref","unstructured":"Harel, D., Maoz, S.: Assert and negate revisited: modal semantics for uml sequence diagrams. In: ICSE. Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, pp. 13\u201320 (2006)","DOI":"10.1145\/1138953.1138958"},{"key":"42_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","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)"},{"key":"42_CR7","unstructured":"ITU-T. Recommendation Z.120 (10\/96), Message Sequence Chart (MSC). International Telecommunication Union, Geneva (1996)"},{"key":"42_CR8","unstructured":"ITU-T. Recommendation Z.120 (11\/99), Message Sequence Chart (MSC). International Telecommunication Union, Geneva (1999)"},{"key":"42_CR9","volume-title":"The Unified Software Development Process","author":"I. Jacobson","year":"1999","unstructured":"Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)"},{"key":"42_CR10","unstructured":"Kiviluoma, K., Koskinen, J., Mikkonen, T.: Run-time monitoring of behavioral profiles with aspects. In: The 3rd Nordic Workshop on UML and Software Modeling (2005)"},{"key":"42_CR11","volume-title":"IEEE Asia-Pacific Software Engineering Conference","author":"D. Liang","year":"2005","unstructured":"Liang, D., Xu, K.: Monitoring with behavior view diagrams for scenario-driven debugging. In: IEEE Asia-Pacific Software Engineering Conference, IEEE Computer Society Press, Los Alamitos (2005)"},{"issue":"17","key":"42_CR12","doi-asserted-by":"publisher","first-page":"1785","DOI":"10.1016\/S1389-1286(99)00060-2","volume":"31","author":"S. Mauw","year":"1999","unstructured":"Mauw, S., Reniers, M.A.: Operational Semantics for MSC\u201996. Computer Networks\u00a031(17), 1785\u20131799 (1999)","journal-title":"Computer Networks"},{"issue":"2","key":"42_CR13","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1002\/spe.4380210207","volume":"21","author":"R.A. Olsson","year":"1991","unstructured":"Olsson, R.A., Cawford, R.H., Ho, W.W.: A dataflow approach to event-based debugging. Software - Practice and Experience\u00a021(2), 209\u2013230 (1991)","journal-title":"Software - Practice and Experience"},{"key":"42_CR14","unstructured":"OMG. UML 2.0 superstructure. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2004-10-02"},{"key":"42_CR15","unstructured":"Voas, J., Kassab, L.: Using assertions to make untestable software more testable. Software Quality Professional Journal\u00a01(4) (1999)"},{"key":"42_CR16","unstructured":"Xu, K., Liang, D.: Supporting scenario-driven debugging with behavior view diagrams. Technical Report 06-002, Dept. of CSE, Univ. of Minnesota (2006)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75209-7_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T23:12:33Z","timestamp":1737414753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}