{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,23]],"date-time":"2025-05-23T04:07:34Z","timestamp":1747973254657,"version":"3.41.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,11,1]],"date-time":"1997-11-01T00:00:00Z","timestamp":878342400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mobile Networks and Applications"],"published-print":{"date-parts":[[1997,11]]},"DOI":"10.1023\/a:1013697003764","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T23:30:27Z","timestamp":1045697427000},"page":"285-301","source":"Crossref","is-referenced-by-count":1,"title":["Communication protocol design to facilitate re\u2010use based on the object\u2010oriented paradigm"],"prefix":"10.1007","volume":"2","author":[{"given":"Andrew A.","family":"Hanish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tharam S.","family":"Dillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"328982_CR1","doi-asserted-by":"crossref","unstructured":"M.B. Abbott and L.L. Peterson, A language-based approach to protocol implementation, IEEE\/ACM Transactions on Networking 1(1) (February 1993).","DOI":"10.1109\/90.222903"},{"key":"328982_CR2","unstructured":"C.C. Ang, V. Jordan and T.S. Dillon, Application of Petri nets to specify and verify the ISO CASE protocols, in: Proc. Second International Conference on Interoperable Systems, Tokyo (November 1988)."},{"key":"328982_CR3","volume-title":"Object-Oriented Networks","author":"S. Bapat","year":"1994","unstructured":"S. Bapat, Object-Oriented Networks (Prentice-Hall, Englewood Cliffs, NJ, 1994)."},{"issue":"5","key":"328982_CR4","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/362946.362970","volume":"12","author":"K.A. Bartlett","year":"1969","unstructured":"K.A. Bartlett, R.A. Scantlebury and P.T. Wilkinson, A note on reliable full-duplex transmission over half duplex links, CACM 12(5) (May 1969) 260\u2013261.","journal-title":"CACM"},{"key":"328982_CR5","doi-asserted-by":"crossref","unstructured":"E. Berutto et al., Radio protocol architecture of the CODIT UMTS system, in: Mobile Communications - Advanced Systems and Components, ed. C.G. Gunther, Lecture Notes in Computer Science 783 (Springer, Berlin, March 1994) pp. 417\u2013427.","DOI":"10.1007\/3-540-57856-0_38"},{"key":"328982_CR6","doi-asserted-by":"crossref","unstructured":"N.D. Birrell, Pre-emptive retransmission for communication over noisy channels, IEE Proc. Part F 6 (November 1981) 393\u2013400.","DOI":"10.1049\/ip-f-1.1981.0067"},{"key":"328982_CR7","unstructured":"G. Booch, Object-Oriented Analysis and Design with Applications (Benjamin\/Cummings, 2nd ed., 1994)."},{"key":"328982_CR8","unstructured":"A. Bourget, A Petri net tool for service validation in protocol, PSTVVI, IFIP (1987) 281\u2013292."},{"key":"328982_CR9","first-page":"367","volume-title":"High Performance Networking","author":"D. Box","year":"1992","unstructured":"D. Box, D.C. Schmidt and T. Suda, ADAPTIVE - An object-oriented framework for flexible and adaptive communication protocols, in: High Performance Networking, Vol. IV, eds. A. Danthine and O. Spaniol (North-Holland, IFIP, 1992) pp. 367\u2013382."},{"key":"328982_CR10","unstructured":"P. Coad and E. Yourdon, Object-Oriented Analysis (Prentice-Hall, Yourdon Press, 2nd ed., 1991)."},{"key":"328982_CR11","volume-title":"Object-Oriented Conceptual Modelling","author":"T.S. Dillon","year":"1993","unstructured":"T.S. Dillon and P.L. Tan, Object-Oriented Conceptual Modelling (Prentice-Hall, Englewood Clifs, NJ, 1993)."},{"key":"328982_CR12","volume-title":"Data Communications, Computer Networks and OSI","author":"F. Halsall","year":"1988","unstructured":"F. Halsall, Data Communications, Computer Networks and OSI (Addison-Wesley, Reading, MA, 2nd ed., 1988).","edition":"2nd ed."},{"key":"328982_CR13","unstructured":"A. Hanish, Operating systems and communication protocols, in: Proc. Int. Workshop on Object Orientation in Operating Systems (IWOOOS'95), IEEE Computer Society, August 14- 15, Lund, Sweden (1995)."},{"key":"328982_CR14","volume-title":"Part I - Static modelling aspects","author":"A. Hanish","year":"1995","unstructured":"A. Hanish and T. Dillon, Object-oriented modelling of communication protocols for re-use, Part I - Static modelling aspects, Dept. Comp. Sci. and Comp. Eng., TR 2\/95, La Trobe University, Melbourne, Australia (1995)."},{"key":"328982_CR15","volume-title":"Part II - Dynamic modelling aspects","author":"A. Hanish","year":"1995","unstructured":"A. Hanish and T. Dillon, Object-oriented modelling of communication protocols for re-use, Part II - Dynamic modelling aspects, Dept. Comp. Sci. and Comp. Eng., TR 3\/95, La Trobe University, Melbourne, Australia (1995)."},{"key":"328982_CR16","unstructured":"A. Hanish and T. Dillon, Object-oriented modelling of communication protocols for re-use, in: Proc. Fourth Int. Conf. on Computer Communications and Networks, Las Vegas (1995)."},{"key":"328982_CR17","unstructured":"ISO\/IEC, TTCN, DIS 9646- 3."},{"key":"328982_CR18","unstructured":"ISO\/IS, Basic Reference Model, ISO\/IS 7498 (1984)."},{"key":"328982_CR19","unstructured":"B. Jabbari et al., Network issues for wireless communications, in: Proc. IEEE 45th Vehicular Technology Conf., Chicago, IL (July 1995) pp. 902\u2013906."},{"key":"328982_CR20","volume-title":"Object-Oriented Software Engineering","author":"I. Jacobson","year":"1993","unstructured":"I. Jacobson, Object-Oriented Software Engineering (Addison-Wesley, Reading, MA, 1993)."},{"key":"328982_CR21","doi-asserted-by":"crossref","unstructured":"F.J. Jaimes-Romero et al., Modelling handoff and dynamic channel allocation using Petri nets, in: Proc. IEEE 45th Vehicular Technology Conf., Chicago, IL (July 1995) pp. 876\u2013881.","DOI":"10.1109\/VETEC.1995.504994"},{"key":"328982_CR22","doi-asserted-by":"crossref","unstructured":"K. Jensen, Coloured Petri Nets, Vols. 1 and 2 (Springer, Berlin, 1991 and 1995).","DOI":"10.1007\/978-3-662-06289-0_1"},{"key":"328982_CR23","doi-asserted-by":"crossref","unstructured":"J.-P. Katoen, Functional integration of UMTS and B-ISDN, in: Proc. IEEE 45th Vehicular Technology Conf., Chicago, IL (July 1995) pp. 160\u2013164.","DOI":"10.1109\/VETEC.1995.504849"},{"key":"328982_CR24","unstructured":"C.D. Keen and C.A. Lakos, A methodology for the construction of simulation models using object-oriented Petri nets, in: Proc. European Simulation Multiconference (1993)."},{"key":"328982_CR25","volume-title":"Formal description and verification of expert systems","author":"N.K. Liu","year":"1991","unstructured":"N.K. Liu, Formal description and verification of expert systems, Ph.D. Thesis La Trobe University, Melbourne, Australia (1991)."},{"key":"328982_CR26","doi-asserted-by":"crossref","unstructured":"G.Y. Liu and G.Q. Maguire Jr, Efficient mobility management support for wireless data services, in: Proc. IEEE 45th Vehicular Technology Conf., Chicago, IL (July 1995) pp. 902\u2013906.","DOI":"10.1109\/VETEC.1995.504999"},{"key":"328982_CR27","unstructured":"J. Munemori, T. Mizuno and S. Takeda, n extension of SDL for the executable specification of communication systems based upon Petri nets, INTAP, ACM (1988) 111\u2013118."},{"key":"328982_CR28","doi-asserted-by":"crossref","unstructured":"K. Pahlavan and A. Falsafi, Trends in local wireless data networks, in: Proc. IEEE 46th Vehicular Technology Conf., Atlanta, GA (April 1996) pp. 21\u201325.","DOI":"10.1109\/VETEC.1996.503400"},{"key":"328982_CR29","unstructured":"Rational Software Corp., UML-Summary, UML-Notation Guide, UML-For Real-Time Systems Design."},{"key":"328982_CR30","doi-asserted-by":"crossref","unstructured":"W. Reisig, Petri Nets in Software Engineering, Lecture Notes in Computer Science 255 (Springer, Berlin, 1986).","DOI":"10.1007\/3-540-17906-2_22"},{"key":"328982_CR31","doi-asserted-by":"crossref","unstructured":"W. Reisig, A Primer in Petri Net Design (Springer, Berlin, 1992).","DOI":"10.1007\/978-3-642-75329-9"},{"key":"328982_CR32","volume-title":"Object-Oriented Modelling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen, Object-Oriented Modelling and Design (Prentice-Hall, Englewood Cliffs, NJ, 1991)."},{"key":"328982_CR33","first-page":"119","volume-title":"Telecommunication Networks: Protocols, Modelling and Analysis","author":"M. Schwartz","year":"1987","unstructured":"M. Schwartz, Telecommunication Networks: Protocols, Modelling and Analysis (Addison-Wesley, Reading, MA, 1987) Chapter 4 pp. 119\u2013134."},{"key":"328982_CR34","volume-title":"Real-Time Object Oriented Modelling","author":"B. Selic","year":"1994","unstructured":"B. Selic, G. Gullekson and P.T. Ward, Real-Time Object Oriented Modelling (Wiley, New York, 1994)."},{"key":"328982_CR35","doi-asserted-by":"crossref","unstructured":"M.S.K. Sushko, Advanced data services for wireless communication networks, in: Proc. IEEE 45th Vehicular Technology Conf., Chicago, IL (July 1995) pp. 331\u2013335.","DOI":"10.1109\/VETEC.1995.504883"},{"key":"328982_CR36","unstructured":"F.J. Symonds, Modelling and analysis of communication protocols using numerical Petri nets, Ph.D. Thesis, University of Essex (May 1978)."},{"key":"328982_CR37","first-page":"341","volume-title":"PSTV-X","author":"C. Vissers","year":"1990","unstructured":"C. Vissers, FDTs for open distributed systems, A retrospective and a prospective view, in: PSTV-X, eds. L. Logrippo, R. Probert and H. Ural (North-Holland, IFIP, 1990) pp. 341\u2013362."},{"key":"328982_CR38","unstructured":"Y.-D. Yao, A Go-Back-N ARQ scheme for mobile satellite communications under variable channel shadowing conditions, in: Proc. IEEE 45th Vehicular Technology Conf., Chicago, IL (July 1995) pp. 341\u2013345."}],"container-title":["Mobile Networks and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013697003764.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013697003764\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013697003764.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T09:16:58Z","timestamp":1747905418000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013697003764"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,11]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1997,11]]}},"alternative-id":["328982"],"URL":"https:\/\/doi.org\/10.1023\/a:1013697003764","relation":{},"ISSN":["1383-469X","1572-8153"],"issn-type":[{"type":"print","value":"1383-469X"},{"type":"electronic","value":"1572-8153"}],"subject":[],"published":{"date-parts":[[1997,11]]}}}