{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T08:54:05Z","timestamp":1725699245471},"publisher-location":"Boston, MA","reference-count":23,"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_12","type":"book-chapter","created":{"date-parts":[[2012,8,10]],"date-time":"2012-08-10T12:32:14Z","timestamp":1344601934000},"page":"233-256","source":"Crossref","is-referenced-by-count":1,"title":["A Practical Approach to Incremental Specification"],"prefix":"10.1007","author":[{"given":"Charles","family":"Lakos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Glenn","family":"Lewis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","first-page":"62","volume-title":"Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science","author":"WMP Aalst","year":"1997","unstructured":"W.M.P. van der Aalst and T. Basten. Life-cycle Inheritance: A Petri-NetBased Approach. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets\n                           1997, volume 1248 of Lecture Notes in Computer Science, pages 62\u201381, Tolouse, France, 1997. Springer-Verlag."},{"key":"12_CR2","unstructured":"C. Balzarotti, F. DeCindio, and L. Pomello. Observation Equivalences for the Semantics of Inheritance. In IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems,Florence, Italy, February 15\u201318, 1999. Chapman and Hall."},{"key":"12_CR3","volume-title":"Petri-Netze: Grundlagen und Anwendungen","author":"B Baumgarten","year":"1990","unstructured":"B. Baumgarten. Petri-Netze: Grundlagen und Anwendungen. Mannheim: BI-Wissenschaftsverlag, 1990."},{"key":"12_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35261-9","volume-title":"Second IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. Chapman and Hall","author":"H Bowman","year":"1997","unstructured":"H. Bowman, C. Briscoe-Smith, J. Derrick, and B Strulo. On Behavioural Subtyping in LOTOS. In Second IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. Chapman and Hall, 1997."},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BFb0018345","volume-title":"Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science","author":"L Cardelli","year":"1989","unstructured":"L. Cardelli and J. C. Mitchell. Operations on Records. In D. H. Pitt, D. E. Rydeheard, P. Dybjer, A. M. Pitts, and A. Poign\u00e9, editors, Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, pages 75\u201381, Berlin, September 1989. Springer."},{"key":"12_CR6","volume-title":"Edition","author":"A Diller","year":"1994","unstructured":"A. Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, 2nd edition, 1994."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/3-540-61363-3_9","volume":"1091","author":"DJ Floreani","year":"1996","unstructured":"D. J. Floreani, J. Billington, and A. Dadej. Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design\/CPN. Lecture Notes in Computer Science, 1091: 153\u2013171, 1996.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR8","volume-title":"University of South Australia","author":"DJ Floreani","year":"1996","unstructured":"D.J. Floreani. The Interconnection of Tactical Packet Radio Networks and BISDN. PhD thesis, School of Physics and Electronic Systems Engineering, University of South Australia, 1996."},{"key":"12_CR9","volume-title":"Addison-Wesley","author":"A Goldberg","year":"1983","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: The Language and its Implementation. Addison-Wesley, 1983."},{"key":"12_CR10","volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume 1, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag","author":"K Jensen","year":"1992","unstructured":"K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use: Volume\n                           1, Analysis Methods. Monographs in Theoretical Computer Science. Springer-Verlag, Berlin, Germany, 1992."},{"key":"12_CR11","volume-title":"Meta Software Corporation","author":"K Jensen","year":"1992","unstructured":"K. Jensen, S. Christensen, P. Huber, and M. Holla. Design\/CPN\n                           TM\n                           : A Reference Manual. MetaSoftware Corporation, 1992."},{"key":"12_CR12","first-page":"42","volume-title":"Lecture Notes in Computer Science: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June 1997, volume 1248","author":"C Lakos","year":"1997","unstructured":"C. Lakos. On the Abstraction of Coloured Petri Nets. In P. Az\u00e9ma and G. Balbo, editors, Lecture Notes in Computer Science: 18th International Conference on Application and Theory of Petri Nets, Toulouse, France, June\n                           1997, volume 1248, pages 42\u201361. Springer-Verlag, June 1997."},{"key":"12_CR13","volume-title":"Proceedings of the 21st International Conference on Applications and Theory of Petri Nets (to apppear)","author":"C Lakos","year":"2000","unstructured":"C. Lakos. Composing Abstractions of Coloured Petri Nets. In Proceedings of the 21st International Conference on Applications and Theory of Petri Nets (to apppear), Aarhus, Denmark, June 2000."},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BFb0097772","volume":"1605","author":"C Lakos","year":"1999","unstructured":"C. Lakos and J. Lamp. The Incremental Modelling of the Z39.50 Protocol with Object Petri Nets. Lecture Notes in Computer Science, 1605: 37\u201368, 1999.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR15","volume-title":"University of Adelaide","author":"C Lakos","year":"1999","unstructured":"C. Lakos and G. Lewis. A Catalogue of Incremental Changes for Coloured Petri Nets. Technical report TR99\u201302, Department of Computer Science, University of Adelaide, 1999."},{"key":"12_CR16","unstructured":"W. LaLonde and J. Pugh. Subclassing 0 Subtyping 0 Is-a. Journal of Object-Oriented Programming, pages 57\u201360, January 1991."},{"key":"12_CR17","volume-title":"University of Tasmania","author":"G Lewis","year":"1999","unstructured":"G. Lewis and C. Lakos. Incremental Reachability Algorithms. Technical report TR99\u201301, Department of Electrical Engineering and Computer Science, University of Tasmania, 1999."},{"key":"12_CR18","volume-title":"Object-Oriented Software Construction","author":"B Meyer","year":"1988","unstructured":"B Meyer. Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, first edition, 1988."},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BFb0097774","volume":"1605","author":"AB Mnaouer","year":"1999","unstructured":"A. B. Mnaouer, T. Sekiguchi, Y. Fujii, and T. Ito. Coloured Petri Nets Based Modelling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol. Lecture Notes in Computer Science, 1605: 93\u2013130, 1999.","journal-title":"Lecture Notes in Computer Science"},{"issue":"10","key":"12_CR20","first-page":"1","volume":"28","author":"O Nierstrasz","year":"1993","unstructured":"O. Nierstrasz. Regular Types for Active Objects. ACM Sigplan Notices, 28 (10): 1\u201315, October 1993. Proceedings of the 8th. annual conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA\u201993, Washington DC, 1993.","journal-title":"October 1993. Proceedings of the 8th. annual conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA93, Washington DC"},{"key":"12_CR21","first-page":"63","volume":"255","author":"W Reisig","year":"1987","unstructured":"W. Reisig. Petri Nets in Software Engineering. Lecture Notes in Computer Science, 255: 63\u201396, 1987.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/3-540-45910-3_4","volume":"322","author":"P Wegner","year":"1988","unstructured":"P. Wegner and S. B. Zdonik. Inheritance as an Incremental Modification Mechanism or What Like Is and Isn\u2019t Like. Lecture Notes in Computer Science, 322: 55\u201377, 1988.","journal-title":"Lecture Notes in Computer Science"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Glynn Winskel. Petri Nets, Algebras, Morphisms, and Compositionality Information and Computation, 72 (3): 197\u2013238, March 1987.","DOI":"10.1016\/0890-5401(87)90032-0"}],"container-title":["IFIP Advances in Information and Communication Technology","Formal Methods for Open Object-Based Distributed Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35520-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T00:35:45Z","timestamp":1557189345000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35520-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9781475710182","9780387355207"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35520-7_12","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2000]]}}}