{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:31Z","timestamp":1761611311876,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":20,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475710182"},{"type":"electronic","value":"9780387355207"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/978-0-387-35520-7_19","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T12:32:14Z","timestamp":1344601934000},"page":"371-395","source":"Crossref","is-referenced-by-count":9,"title":["A Formal Specification of the CORBA Event Service"],"prefix":"10.1007","author":[{"given":"R\u00e9mi","family":"Bastide","sequence":"first","affiliation":[]},{"given":"Ousmane","family":"Sy","sequence":"additional","affiliation":[]},{"given":"David","family":"Navarre","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Organizers","author":"G Agha","year":"1995","unstructured":"Agha, Gul, and De Cindio, Fiorella. \u201cWorkshop on Object-Oriented Programming and Models of Concurrency.\u201d 16 th International Conference on Application and Theory of Petri Nets, ICATPN\u201995, Torino, Italy. Gul Agha, and Fiorella De Cindio, organizers. (1995)"},{"key":"19_CR2","volume-title":"Fiorella and Yonezawa, Akinori. 2d International Workshop on Object-Oriented Programming and Models of Concurrency. 17h International Conference on Application and Theory of Petri Nets, ICATPN96, Osaka, Japan","author":"G Agha","year":"1996","unstructured":"Agha, Gul, De Cindio, Fiorella and Yonezawa, Akinori. \u201c2\u201dd International Workshop on Object-Oriented Programming and Models of Concurrency.\u201c 17\u2019 h International Conference on Application and Theory of Petri Nets, ICATPN\u201996, Osaka, Japan. Gul Agha, Fiorella De Cindio, and Akinori Yonezawa, editors. (1996)"},{"key":"19_CR3","first-page":"73","volume-title":"Overview and Theory for Unit Testing of Object-Oriented Software Tagungsband \u201cQualit\u00e4tsmanagement Der Objektorientierten Software-Entwicklung","author":"S Barbey","year":"1996","unstructured":"Barbey, St\u00e9phane, Buchs, Didier and P\u00e9raire, C\u00e9cile. \u201cOverview and Theory for Unit Testing of Object-Oriented Software.\u201d Tagungsband \u201cQualit\u00e4tsmanagement Der Objektorientierten Software-Entwicklung\u201d, Basel, Switzerland. (1996) 73\u2013112."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Barbey, St\u00e9phane, Buchs, Didier and P\u00e9raire, C\u00e9cile. \u201cA Theory of Specification-Based Testing for Object-Oriented Software.\u201d European Dependable Computing Conference (EDDC2), Taormina, Italy. Lecture Notes in Computer Science, no. 1150. Springer-Verlag (1996) 303\u201320.","DOI":"10.1007\/3-540-61772-8_45"},{"key":"19_CR5","unstructured":"Bastide, R\u00e9mi. \u201cObjets Coop\u00e9ratifs: Un Formalisme Pour La Mod\u00e9lisation Des Syst\u00e8mes Concurrents.\u201d Ph.D. thesis, Universit\u00e9 Toulouse I II (1992)."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Bastide, R\u00e9mi, and Palanque, Philippe. \u201cA Petri-Net Based Environment for the Design of Event-Driven Interfaces.\u201d 16th International Conference on Applications and Theory of Petri Nets, ICATPN\u201995, Torino, Italy. Giorgio De Michelis, and Michel Diaz, Volume editors. Lecture Notes in Computer Science, no. 935. Springer (1995) 66\u201383.","DOI":"10.1007\/3-540-60029-9_34"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Bastide, R\u00e9mi, Palanque, Philippe, Sy, Ousmane, Le, Duc-Hoa and Navarre, David. \u201cPetri-Net Based Behavioural Specification of CORBA Systems.\u201d 20\u2019 h International Conference on Applications and Theory of Petri Nets, ICATPN\u201999, Williamsburg, VA, USA. Susanna Donatelli, and Jetty Kleijn, Volume editors. Lecture Notes in Computer Science, no. 1639. Springer (1999) 66\u201385.","DOI":"10.1007\/3-540-48745-X_5"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Bastide, R\u00e9mi, Sy, Ousmane and Palanque, Philippe. \u201cFormal Specification and Prototyping of CORBA Systems.\u201d 13\u2019 h European Conference on Object-Oriented Programming, ECOOP\u201999, Lisbon, Portugal. Rachid Guerraoui, Volume editor. Lecture Notes in Computer Science, no. 1628. Springer (1999) 474\u201394.","DOI":"10.1007\/3-540-48743-3_22"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1109\/DOA.1999.794042","volume-title":"\u201cFormal Support for the Engineering of CORBA-Based Distributed Object Systems.\u201d IEEE International Symposium on Distributed Objects and Applications (DOA99)","author":"R Bastide","year":"1999","unstructured":"Bastide, R\u00e9mi, Sy, Ousmane and Palanque, Philippe. \u201cFormal Support for the Engineering of CORBA-Based Distributed Object Systems.\u201d IEEE International Symposium on Distributed Objects and Applications (DOA\u201999), Edinburgh, Scotland. IEEE Computer Society (1999) 264\u201372."},{"key":"19_CR10","volume-title":"\u201cFormal Specification and Design of Distributed Systems.\u201d IFIP TC6\/WG6. I First International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS96), Paris, France","author":"A Diagne","year":"1997","unstructured":"Diagne, Alioune, and Estraillier, Pascal. \u201cFormal Specification and Design of Distributed Systems.\u201d IFIP TC6\/WG6. I First International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201996), Paris, France. Elie Najm, and Jean-Bernard Stefani. Chapman & Hall, UK (1997)"},{"key":"19_CR11","first-page":"82","volume-title":"\u201cTesting Can Be Formal, Too.\u201d TAPSOFT 95: Theory and Practice of Software Development. 6th International Joint Conference CAAP\/FASE, Aarhus, Denmark. Lecture Notes In Computer Science, eds. G. Goos, J. Hartmanis, and J. van Leeuwen, no. 915","author":"M-C Gaudel","year":"1995","unstructured":"Gaudel, Marie-Claude. \u201cTesting Can Be Formal, Too.\u201d TAPSOFT \u201885: Theory and Practice of Software Development. 6th International Joint Conference CAAP\/FASE, Aarhus, Denmark. Lecture Notes In Computer Science, eds. G. Goos, J. Hartmanis, and J. van Leeuwen, no. 915. Springer Verlag, Heidelberg (1995) 82\u2013126."},{"key":"19_CR12","unstructured":"James, P. R., and Gaudel, Marie-Claude. \u201cTesting Algebraic Data Types and Processes: a Unifying Theory.\u201d Formal Aspects of Computing 10, no. Special issue. Best papers of FMICS98 (1999) 436\u201351."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Lakos, Charles. \u201cA General Systematic Approach to Arc Extensions for Coloured Petri Nets.\u201d 15` h International Conference on Application and Theory of Petri Nets, ICATPN\u201994. Lecture Notes in Computer Science, no. 815. Springer (1994) 338\u201357.","DOI":"10.1007\/3-540-58152-9_19"},{"issue":"6","key":"19_CR14","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B Liskov","year":"1994","unstructured":"Liskov, Barbara, and Wing, Jeannette M. \u201cA Behavioral Notion of Subtyping.\u201d ACM TOPLAS 16, no. 6 (1994) 1811\u201341.","journal-title":"Acm Toplas"},{"key":"19_CR15","unstructured":"Object Management Group. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2 \/98\u201302\u201301, Framingham, MA (1998)."},{"key":"19_CR16","unstructured":"Object Management Group. Common Object Services Specification \/98\u201307\u201305, Framingham, MA (1998)."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Sibertin-Blanc, Christophe. \u201cCooperative Nets.\u201d 15` h International Conference on Application and Theory of Petri Nets, ICATPN\u201994. Lecture Notes in Computer Science, no. 815. Springer (1994) 471\u201390.","DOI":"10.1007\/3-540-58152-9_26"},{"key":"19_CR18","unstructured":"Sy, Ousmane, and R\u00e9mi Bastide. Compte Rendu De Tests D\u2019Une S\u00e9lection D\u2019Impl\u00e9mentations Du COS Event Service. SERPICO\/Lot 1\/FOR3. Laboratoire LIHS - FROGIS, Universit\u00e9 Toulouse I, 1999."},{"key":"19_CR19","unstructured":"Sy, Ousmane, and R\u00e9mi Bastide. Correction De La Sp\u00e9cification Du COS Event Pour Le Mod\u00e8le Push. SERPICO\/Lot 1\/FOR4. Laboratoire LIHS - FROGIS, Universit\u00e9 Toulouse I, 1999."},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"van der Aalst, W. M. P., and Basten, T. \u201cLife-Cycle Inheritance, a Petri-Net Based Approach.\u201d 18` h International Conference on Application and Theory of Petri Nets, ICATPN\u201997, Tulouse, France. Pierre Az\u00e9ma, and Gianfranco Balbo, editors. Lecture Notes in Computer Science, no. 1248. Springer (1997) 62\u201381.","DOI":"10.1007\/3-540-63139-9_30"}],"container-title":["IFIP Advances in Information and Communication Technology","Formal Methods for Open Object-Based Distributed Systems IV"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35520-7_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,12]],"date-time":"2020-07-12T12:51:09Z","timestamp":1594558269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35520-7_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781475710182","9780387355207"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35520-7_19","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2000]]}}}