{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:40Z","timestamp":1725490240518},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540747413"},{"type":"electronic","value":"9783540747420"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74742-0_51","type":"book-chapter","created":{"date-parts":[[2007,8,21]],"date-time":"2007-08-21T11:03:30Z","timestamp":1187694210000},"page":"563-576","source":"Crossref","is-referenced-by-count":0,"title":["On Formal MOM Modeling"],"prefix":"10.1007","author":[{"given":"Hanmei","family":"Cui","sequence":"first","affiliation":[]},{"given":"Jessica","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"51_CR1","volume-title":"Next Generation Application Integration: From Simple Information to Web Services","author":"D.S. Linthicum","year":"2003","unstructured":"Linthicum, D.S.: Next Generation Application Integration: From Simple Information to Web Services, 1st edn. Addison-Wesley, Reading (2003)","edition":"1"},{"key":"51_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/3-540-61474-5_87","volume-title":"Computer Aided Verification","author":"R. Cleaveland","year":"1996","unstructured":"Cleaveland, R., Sims, S.: The NCSU concurrency workbench. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 394\u2013397. Springer, Heidelberg (1996)"},{"key":"51_CR3","doi-asserted-by":"crossref","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023 (1997)","DOI":"10.1109\/32.588521"},{"key":"51_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K.L. McMillan","year":"1993","unstructured":"McMillan, K.L.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"51_CR5","volume-title":"The Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G.: The Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"51_CR6","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker. Formal Aspect of Computing\u00a011, 637\u2013664 (1999)","journal-title":"Formal Aspect of Computing"},{"key":"51_CR7","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/TIM.2006.887405","volume":"56","author":"J. Chen","year":"2007","unstructured":"Chen, J., Cui, H.: DOS middleware instrumentation for ensuring reproducibility of testing procedures. IEEE Transactions on Instrumentation and Measurement\u00a056, 56\u201362 (2007)","journal-title":"IEEE Transactions on Instrumentation and Measurement"},{"key":"51_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/3-540-38093-0_15","volume-title":"Software Engineering and Middleware","author":"J. Chen","year":"2003","unstructured":"Chen, J.: Building test constraints for testing distributed systems with middleware. In: van der Hoek, A., Coen-Porisini, A. (eds.) SEM 2002. LNCS, vol.\u00a02596, pp. 216\u2013232. Springer, Heidelberg (2003)"},{"key":"51_CR9","doi-asserted-by":"crossref","unstructured":"Duval, G.: Specification and verification of an object request broker. In: Proc. of the 20th International Conference on Software Engineering, pp. 43\u201352 (1998)","DOI":"10.1109\/ICSE.1998.671101"},{"key":"51_CR10","unstructured":"Kamel, M., Leue, S.: Validation of remote object invocation and object migration in CORBA GIOP using Promela\/Spin. In: Proceedings of SPIN Workshop 1998, Paris, France (1998)"},{"key":"51_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/11888116_10","volume-title":"Formal Techniques for Networked and Distributed Systems- FORTE 2006","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Ghezzi, C., Mottola, L.: Towards fine-grained automated verification of publish-subscribe architectures. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 131\u2013135. Springer, Heidelberg (2006)"},{"key":"51_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/978-3-540-24732-6_17","volume-title":"Model Checking Software","author":"J. Chen","year":"2004","unstructured":"Chen, J., Cui, H.: Translation from adapted UML to promela for CORBA-based applications. In: Graf, S., Mounier, L. (eds.) Model Checking Software. LNCS, vol.\u00a02989, pp. 234\u2013251. Springer, Heidelberg (2004)"},{"key":"51_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/978-3-540-39656-7_6","volume-title":"Formal Methods for Components and Objects","author":"X. Deng","year":"2003","unstructured":"Deng, X., Dwyer, M., Hatcliff, J., Jung, G., Robby, Singh, G.: Model-checking middleware-based event-driven real-time embedded software. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 154\u2013181. Springer, Heidelberg (2003)"},{"key":"51_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-44829-2_11","volume-title":"Model Checking Software","author":"D. Garlan","year":"2003","unstructured":"Garlan, D., Khersonsky, S., Kim, J.: Model checking publish-subscribe systems. In: Ball, T., Rajamani, S.K. (eds.) Model Checking Software. LNCS, vol.\u00a02648, pp. 166\u2013180. Springer, Heidelberg (2003)"},{"key":"51_CR15","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1109\/ICSE.2003.1201197","volume-title":"Proc. of the 25th International Conference on Software Engineering","author":"J. Hatcliff","year":"2003","unstructured":"Hatcliff, J., Deng, X., Dwyer, M., Jung, G., Ranganath, V.P.: An integrated development, analysis, and verification environment for component-based systems. In: Proc. of the 25th International Conference on Software Engineering, pp. 160\u2013173. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"51_CR16","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/503209.503216","volume-title":"Proc. of the Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9)","author":"N. Kaveh","year":"2001","unstructured":"Kaveh, N., Emmerich, W.: Deadlock detection in distributed object systems. In: Proc. of the Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), pp. 44\u201351. ACM Press, New York (2001)"}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74742-0_51","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T21:30:32Z","timestamp":1550871032000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74742-0_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540747413","9783540747420"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74742-0_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}