{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:56:20Z","timestamp":1756000580409},"reference-count":37,"publisher":"Wiley","issue":"14","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":5722,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Concurrency: Pract. Exper."],"published-print":{"date-parts":[[2000,12,10]]},"DOI":"10.1002\/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","type":"journal-article","created":{"date-parts":[[2002,8,25]],"date-time":"2002-08-25T17:56:59Z","timestamp":1030298219000},"page":"1379-1403","source":"Crossref","is-referenced-by-count":11,"title":["A formal notation and tool for the engineering of CORBA systems"],"prefix":"10.1002","volume":"12","author":[{"given":"R\ufffdmi","family":"Bastide","sequence":"first","affiliation":[]},{"given":"Ousmane","family":"Sy","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Palanque","sequence":"additional","affiliation":[]}],"member":"311","published-online":{"date-parts":[[2000]]},"reference":[{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB1","author":"Object Management Group","year":"1998","unstructured":"Object Management Group. The Common Object Request Broker: Architecture and Specification. CORBA IIOP 2.2 orbos\/98-02-01, Framingham, MA, 1998."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/286238.286246","volume":"41","author":"Siegel","year":"1998","journal-title":"Communications of the ACM"},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB3","author":"Gaspari","year":"1999","unstructured":"A process algebraic specification of the new asynchronous CORBA messaging service. 13th European Conference on Object-Oriented Programming, ECOOP'99, Lisbon, Portugal, June 14-18, 1999."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB4","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/286238.286247","volume":"41","author":"Vinoski","year":"1998","journal-title":"Communications of the ACM"},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB5","first-page":"80","volume-title":"Current Trends in Programming Methodology","author":"Goguen","year":"1978","unstructured":"An initial algebra approach to the specification, correctness and implementation of abstract data types. Current Trends in Programming Methodology, (ed). Prentice-Hall: Englewood Cliffs, New Jersey, 1978; 80-149."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB6","author":"Object Management Group","year":"1998","unstructured":"Object Management Group. Common Object Services Specification orbos\/98-07-05. Framingham, MA, 1998."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB7","volume-title":"19th International Conference on Application and Theory of Petri Nets, ICATPN'98","author":"R\u00fcdiger","year":"1998","unstructured":"Petri Nets as token objects: an introduction to elementary object nets. 19th International Conference on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998. Springer, 1998."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB8","author":"Lakos","year":"1994","unstructured":"LOOPN++: a new language for object-oriented Petri nets. European Simulation Multiconference, Barcelona, Spain, June 1994."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB9","series-title":"Lecture Notes","first-page":"82","volume-title":"18th International Conference on Application and Theory of Petri Nets, ICATPN'97","volume":"1248","author":"Moldt","year":"1997","unstructured":"Multi-agent-systems based on coloured Petri nets. 18th International Conference on Application and Theory of Petri Nets, ICATPN'97, Toulouse France, June 1997 (Lecture Notes In Computer Science, no. 1248), (eds.). Springer, 1997; 82-101."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB10","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/162685.162705","volume":"36","author":"Meyer","year":"1993","journal-title":"Communications of the ACM"},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB11","volume-title":"Object-Oriented Behavioral Specifications","author":"Kilov","year":"1996","unstructured":"(eds.). Object-Oriented Behavioral Specifications. Kluwer Academic: Boston, MA, 1996."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB12","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-0-387-35082-0_4","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"Prinz","year":"1997","unstructured":"Describing behaviour in interfaces. Formal Methods for Open Object-Based Distributed Systems, (eds.). Chapman & Hall: London, 1997; 36-43."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB13","series-title":"Lecture Notes","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1007\/BFb0014307","volume-title":"Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96","volume":"1101","author":"Sankar","year":"1996","unstructured":"Introducing formal methods to software engineers through OMG's CORBA environment and interface definition language. Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996 (Lecture Notes In Computer Science, no. 1101), (eds.). Springer, 1996; 52-61."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB14","first-page":"1","volume-title":"Object-Oriented Behavioral Specifications","author":"Bryan","year":"1996","unstructured":"Exactness and clarity in a component-based specification language. Object-Oriented Behavioral Specifications, (eds.). Kluwer Academic: New-York, 1996; 1-15."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB15","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specification","author":"Guttag","year":"1993","unstructured":"Larch: Languages and Tools for Formal Specification. Springer-Verlag: New-York, 1993."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB16","author":"Leavens","year":"1995","unstructured":"Extending CORBA IDL to Specify Behavior with LARCH. TR #93-20, Iowa State University, Department of Computer Science, 1995."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB17","author":"Sivaprasad","year":"1995","unstructured":"Larch\/CORBA: Specifying the Behavior of CORBA-IDL Interfaces. TR #95-27a, Iowa State University, Department of Computer Science, 1995."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB18","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-0-585-27524-6_2","volume-title":"Object-Oriented Behavioral Specifications","author":"Bryant","year":"1996","unstructured":"A formal basis for specifying object behaviour. Object-Oriented Behavioral Specifications, (eds.). Kluwer Academic: New-York, 1996; 17-30."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB19","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/978-0-387-35082-0_2","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"Puntigam","year":"1997","unstructured":"Types for active objects based on trace semantics. Formal Methods for Open Object-Based Distributed Systems, (eds.). Chapman & Hall: London, 1997; 4-19."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"Harel","year":"1997","journal-title":"IEEE Computer"},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB21","author":"Rational Software Corporation","year":"1997","unstructured":"Rational Software Corporation. UML Notation Guide. 1.1 ed. 1997."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB22","author":"Rational Software Corporation","year":"1997","unstructured":"Rational Software Corporation. UML Semantics. 1.1 ed. 1997."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB23","author":"Agha","year":"1995","unstructured":"Workshop on object-oriented programming and models of concurrency. 16th International Conference on Application and Theory of Petri Nets, ICATPN'95, Torino, Italy, June 26-30, 1995. Gul Agha, and Fiorella De Cindio, organizers, 1995."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB24","author":"Agha","year":"1996","unstructured":"2nd International workshop on object-oriented programming and models of concurrency. 17th International Conference on Application and Theory of Petri Nets, ICATPN'96, Osaka, Japan, 24 June 1996."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB25","volume-title":"Concurrent Object-Oriented Programming and Petri Nets","author":"Bastide","year":"1998","unstructured":"Modeling a groupware editing tool with cooperative objects. Concurrent Object-Oriented Programming and Petri Nets, (eds.). Springer-Verlag: Wien, 1998."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB26","author":"Bastide","year":"1992","unstructured":"Objets coop\u00e9ratifs : un formalisme pour la mod\u00e9lisation des syst\u00e9mes concurrents. PhD Thesis, Universit\u00e9 Toulouse III, 1992."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB27","series-title":"Lecture Notes","first-page":"471","volume-title":"15th International Conference on Application and Theory of Petri Nets, ICATPN'94","volume":"815","author":"Sibertin-Blanc","year":"1994","unstructured":"Cooperative nets. 15th International Conference on Application and Theory of Petri Nets, ICATPN'94, Zaragoza, June 1994 (Lecture Notes in Computer Science, no. 815), (ed). Springer: Berlin, 1994; 471-90."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB28","volume-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981","unstructured":"Petri Net Theory and the Modeling of Systems. Prentice-Hall: Englewood Cliffs, New Jersey, 1981."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB29","series-title":"Basic Concept","volume":"2","author":"Jensen","year":"1996","unstructured":"Coloured Petri nets. Basic Concepts, Analysis Methods and Practical Use. (2nd edn.), vol. 2. Springer-Verlag: Berlin, 1996."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB30","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"Genrich","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB31","series-title":"Lecture Notes","first-page":"338","volume-title":"15th International Conference on Application and Theory of Petri Nets, ICATPN'94","volume":"815","author":"Lakos","year":"1994","unstructured":"A general systematic approach to arc extensions for coloured Petri nets. 15th International Conference on Application and Theory of Petri Nets, ICATPN'94, Zaragoza, June 1994 (Lecture Notes in Computer Science, no. 815), (ed). Springer: Berlin, 1994; 338-57."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB32","series-title":"Cambridge Tra","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","volume":"40","author":"Desel","year":"1995","unstructured":"Free Choice Petri Nets (Cambridge Tracts on Computer Science, vol. 40). Cambridge University Press: Cambridge, UK, 1995."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB33","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","volume":"6","author":"Ramamoorthy","year":"1980","journal-title":"IEEE Transactions of Software Enginnering"},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB34","series-title":"Lecture Notes","first-page":"66","volume-title":"16th International Conference on Applications and Theory of Petri Nets, ICATPN'95","volume":"935","author":"Bastide","year":"1995","unstructured":"A Petri-net based environment for the design of event-driven interfaces. 16th International Conference on Applications and Theory of Petri Nets, ICATPN'95, Torino, Italy, June 1995 (Lecture Notes in Computer Science, no. 935), (eds.). Springer: Heidelberg, 1995; 66-83."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB35","series-title":"Lecture Notes","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/BFb0096118","volume-title":"18th International Conference on Application and Theory of Petri Nets, ICATPN'97","volume":"1248","author":"van der Aalst","year":"1997","unstructured":"Life-cycle inheritance, a petri-net based approach. 18th International Conference on Application and Theory of Petri Nets, ICATPN'97, Toulouse, France, June 1997 (Lecture Notes in Computer Science, no. 1248), (eds.). Springer, 1997; 62-81."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB36","author":"Merle","year":"1998","unstructured":"The CorbaScript language. ORBOS OMG Meeting on Scripting Languages, Helsinki, Finland, 27-31 July 1998, ftp:\/\/ftp.omg.org\/pub\/docs\/orbos\/98-07-02.pdf."},{"key":"10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B-BIB37","author":"Netscape Communications Inc.","year":"1998","unstructured":"Netscape Communications Inc. CORBA Component Scripting OMG TC Revised Joint Submission. Orbos\/98-07-02, Framingham, MA, 1998."}],"container-title":["Concurrency: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F1096-9128(20001210)12:14%3C1379::AID-CPE514%3E3.0.CO;2-B","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/1096-9128(20001210)12:14%3C1379::AID-CPE514%3E3.0.CO;2-B","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T10:24:33Z","timestamp":1625135073000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/1096-9128(20001210)12:14<1379::AID-CPE514>3.0.CO;2-B"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"references-count":37,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2000,12,10]]}},"URL":"https:\/\/doi.org\/10.1002\/1096-9128(20001210)12:14<1379::aid-cpe514>3.0.co;2-b","relation":{},"ISSN":["1040-3108","1096-9128"],"issn-type":[{"value":"1040-3108","type":"print"},{"value":"1096-9128","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}