{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:25Z","timestamp":1725663745510},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525318"},{"type":"electronic","value":"9783540470144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52531-9_143","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:35:45Z","timestamp":1330205745000},"page":"225-234","source":"Crossref","is-referenced-by-count":0,"title":["Graphical object oriented executable specification for an automation oriented paradigm of software development"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Russi","sequence":"first","affiliation":[]},{"given":"Roberto","family":"Zompi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"key":"26_CR1","first-page":"63","volume-title":"Petri Nets: Applications and relations to Other Models of Concurrency","author":"W. Reisig","year":"1986","unstructured":"W. Reisig. Petri nets for software engineering. In Petri Nets: Applications and relations to Other Models of Concurrency, pages 63\u201396, Springer-Verlag, Berlin, 1986."},{"key":"26_CR2","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P. Zave","year":"1984","unstructured":"P. Zave. The operational versus the conventional approach to software development. Comm. of the ACM, 27:104\u2013118, February 1984.","journal-title":"Comm. of the ACM"},{"key":"26_CR3","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1109\/TSE.1986.6312937","volume":"SE-12","author":"G. Booch","year":"1986","unstructured":"G. Booch. Object oriented development. IEEE Trans. on Soft. Eng., SE-12:211\u2013221, February 1986.","journal-title":"IEEE Trans. on Soft. Eng."},{"unstructured":"IEEE Computer special issue on visual programming. August 1985.","key":"26_CR4"},{"key":"26_CR5","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1983.1654237","volume":"16","author":"R. Balzer","year":"1983","unstructured":"R. Balzer, T.E. Cheatham, and C. Green. Software technology in the 1990's: using a new paradigm. Computer, 16:39\u201345, November 1983.","journal-title":"Computer"},{"unstructured":"T. De Marco. Structured analysis and system specification. Prentice Hall, 1979.","key":"26_CR6"},{"unstructured":"D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House Publishing, 1987.","key":"26_CR7"},{"unstructured":"P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, 1985.","key":"26_CR8"},{"key":"26_CR9","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TSE.1982.235254","volume":"SE-8","author":"P. Zave","year":"1982","unstructured":"P. Zave. An operational approach to requirement specification for embedded systems. IEEE Trans. on Soft. Eng., SE-8:250\u2013269, May 1982.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"657","DOI":"10.1109\/TSE.1985.232516","volume":"SE-11","author":"V. Berzins","year":"1985","unstructured":"V. Berzins and M. Gray. Analysis and design in MSG.84: formalizing functional specifications. IEEE Trans. on Soft. Eng., SE-11:657\u2013670, August 1985.","journal-title":"IEEE Trans. on Soft. Eng."},{"unstructured":"IEEE Software special issue on CASE. March 1988.","key":"26_CR11"},{"key":"26_CR12","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K. Jensen","year":"1981","unstructured":"K. Jensen. Coloured Petri nets and the invariant-method. Theoretical Comput. Sci., 14:317\u2013336, 1981.","journal-title":"Theoretical Comput. Sci."},{"key":"26_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H.J. Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach. System modelling with high level Petri nets. Theoretical Comput. Sci., 13:109\u2013136, 1981.","journal-title":"Theoretical Comput. Sci."},{"key":"26_CR14","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TSE.1986.6312948","volume":"SE-12","author":"G. Bruno","year":"1986","unstructured":"G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Soft. Eng., SE-12:346\u2013357, February 1986.","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"26_CR15","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/BFb0016225","volume-title":"Advances in Petri nets 1985","author":"G.R. Wheeler","year":"1986","unstructured":"G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, and J.A. Gilmour. Protocol analysis using numerical Petri nets. In Advances in Petri nets 1985, pages 435\u2013452, Springer-Verlag, Berlin, 1986."},{"unstructured":"J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages. In Proc. Application and Theory of Petri Nets, pages 207\u2013241, Oxford, June 1986.","key":"26_CR16"},{"key":"26_CR17","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1109\/TSE.1983.235118","volume":"SE-9","author":"R.A. Nelson","year":"1983","unstructured":"R.A. Nelson, L.M. Haibt, and P.B. Sheridan. Casting Petri nets into programs. IEEE Trans. on Soft. Eng., SE-9:590\u2013602, September 1983.","journal-title":"IEEE Trans. on Soft. Eng."},{"doi-asserted-by":"crossref","unstructured":"G. Bruno and A. Balsamo. Petri net-based object-oriented modeling of distributed systems. In ACM Conf. on Object-oriented Programming, pages 284\u2013293, Portland Oregon, October 1986.","key":"26_CR18","DOI":"10.1145\/960112.28725"},{"unstructured":"G. Bruno and A. Elia. Extending the entity-relationship approach for dinamic modeling purposes. In 5th International Conference On Entity-Relationship Approach, pages 327\u2013339, Dijon, France, November 1986.","key":"26_CR19"},{"unstructured":"G. Bruno and A. Elia. Operational specification of process control systems: execution of PROT nets using OPS5. In 10th World IFIP Congress, pages 35\u201340, Dublin, September 1986.","key":"26_CR20"},{"unstructured":"L. Brownston, R. Furrell, and E. Kant. Programming expert systems in OPS5. Addison Wesley, 1985.","key":"26_CR21"},{"key":"26_CR22","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1007\/978-3-642-69028-0_18","volume-title":"Informatik-Fachberichte 66: Application and Theory of Petri nets","author":"R. Valette","year":"1983","unstructured":"R. Valette, M. Courvoisier, and D. Mayeux. Control of flexible production systems and Petri nets. In Informatik-Fachberichte 66: Application and Theory of Petri nets, pages 264\u2013277, Springer-Verlag, Berlin, 1983."},{"doi-asserted-by":"crossref","unstructured":"J. Martinez, P. Muro, and M. Silva. Modeling, validation and software implementation of production systems using high level Petri nets. In IEEE Int. Conf. on Robotics and Automation, pages 1180\u20131185, Raleigh NC, March 1987.","key":"26_CR23","DOI":"10.1109\/ROBOT.1987.1087860"},{"doi-asserted-by":"crossref","unstructured":"Y. Sagiv Concurrent operation on B-Tree with overtaking. In Journ. of computer and system science N.33, pages 275\u2013296 1986.","key":"26_CR24","DOI":"10.1016\/0022-0000(86)90021-8"},{"issue":"4","key":"26_CR25","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1145\/319628.319663","volume":"6","author":"P.L. Lehman","year":"1981","unstructured":"P.L. Lehman, S.B. Yao Efficient locking for concurrent operation on B-trees. In ACM Trans. on database systems, vol.6, No. 4, Dec. 1981, pages 650\u2013670.","journal-title":"ACM Trans. on database systems"},{"doi-asserted-by":"crossref","unstructured":"M.Baldassari G.Bruno V.Russi R.Zompi PROTOB A Hierarchical Object Oriented CASE tool for Distributed Systems In Lectures note in computer science: ESEC '89 Proceedings vol. 387 pag. 424\u2013445","key":"26_CR26","DOI":"10.1007\/3-540-51635-2_53"},{"unstructured":"S. Shaler, S. Mellor Object Oriented Systems Analysis Yourdon Press computing series 1988, Prentice Hall","key":"26_CR27"},{"doi-asserted-by":"crossref","unstructured":"J. Bigelow Hypertext and CASE In IEEE Software march 1988, pages 23\u201327.","key":"26_CR28","DOI":"10.1109\/52.2007"},{"unstructured":"P.Coad, E.Yourdon Object Oriented Analysis Yourdon Press computing series 1990, Prentice Hall","key":"26_CR29"},{"doi-asserted-by":"crossref","unstructured":"R. Balzer Trasformational Implementation: An example. In IEEE transaction on software engineering Jan 1981, pages 3\u201314.","key":"26_CR30","DOI":"10.1109\/TSE.1981.230814"},{"doi-asserted-by":"crossref","unstructured":"T.Taylor, T.A.Standish Initial thoughts on rapid prototyping techniques. In ACM SIGSOFT, software engineering notes Dec 1982, pages 160\u2013166.","key":"26_CR31","DOI":"10.1145\/1006259.1006286"}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52531-9_143.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:30Z","timestamp":1605648270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52531-9_143"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525318","9783540470144"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-52531-9_143","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}