{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T14:44:31Z","timestamp":1698072271742},"reference-count":22,"publisher":"Wiley","issue":"8","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":5569,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1991,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The PROTOB object\u2010oriented methodology for the executable specification of large\u2010scale event\u2010driven systems is introduced and described. Two supporting features of PROTOB are also presented: the graphic and textual language that formally describes the behaviour of objects, which is based on high\u2010level Petri nets called \u201cPROT nets\u201d and which is demonstrated to be more powerful than SA\/RT dataflows; and a CASE environment with tools for specification, modelling, simulation and prototyping. Use of PROTOB is illustrated by discussion of the automated generation of distributed systems running on a network of VMS and UNIX computers.<\/jats:p>","DOI":"10.1002\/spe.4380210805","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T18:46:28Z","timestamp":1163789188000},"page":"823-844","source":"Crossref","is-referenced-by-count":20,"title":["PROTOB: An object\u2010oriented case tool for modelling and prototyping distributed systems"],"prefix":"10.1002","volume":"21","author":[{"given":"Marco","family":"Baldassari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giorgio","family":"Bruno","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Castella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Strategies for Real\u2010Time System Specification","author":"Hatley D.","year":"1987"},{"key":"e_1_2_1_3_2","volume-title":"Structured Development of Real\u2010time Systems","author":"Ward P. T.","year":"1985"},{"key":"e_1_2_1_4_2","volume-title":"Structured Analysis and System Specification","author":"De Marco T.","year":"1979"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/69610.357982"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312937"},{"key":"e_1_2_1_7_2","unstructured":"IEEE Computerspecial issue on visual programming August1985."},{"key":"e_1_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1983.1654237"},{"key":"e_1_2_1_9_2","first-page":"1","volume-title":"Advances in Petri nets, Lecture Notes in Computer Science","author":"Baldassari M.","year":"1988"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312948"},{"key":"e_1_2_1_11_2","volume-title":"Object Oriented Programming","author":"Cox B. J.","year":"1986"},{"key":"e_1_2_1_12_2","first-page":"63","volume-title":"Petri Nets: Applications and Relations to Other Models of Concurrency","author":"Reisig W.","year":"1986"},{"key":"e_1_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235254"},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232516"},{"key":"e_1_2_1_15_2","unstructured":"IEEE Softwarespecial issue on CASE March1988."},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"e_1_2_1_18_2","volume-title":"Object Oriented Software Construction","author":"Meyer B.","year":"1988"},{"key":"e_1_2_1_19_2","unstructured":"M.Ajmone L.BarbettaandF.Neri A Petri net simulation model of HDLC TENCON 89 Bombay November1989."},{"key":"e_1_2_1_20_2","doi-asserted-by":"crossref","unstructured":"M.BaldassariandG.Bruno PROTOB an object\u2010oriented methodology for developing discrete event dynamic systems inComputer Languages Volume 16 Number 1 Pergamon Press 1991.","DOI":"10.1016\/0096-0551(91)90016-3"},{"key":"e_1_2_1_21_2","unstructured":"M.BaldassariandG.Bruno Operational software engineering with PROTOB CASE 89 London July1989."},{"key":"e_1_2_1_22_2","doi-asserted-by":"crossref","unstructured":"M.Baldassari G.Bruno V.RussiandR.Zompi PROTOB a hierarchical object\u2010oriented CASE tool for distributed systems European Software Engineering Conference 1989 Coventry September1989.","DOI":"10.1007\/3-540-51635-2_53"},{"key":"e_1_2_1_23_2","volume-title":"Programming Expert Systems in OPS5","author":"Brownston L.","year":"1985"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380210805","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380210805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T14:26:01Z","timestamp":1698071161000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380210805"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,8]]},"references-count":22,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1991,8]]}},"alternative-id":["10.1002\/spe.4380210805"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380210805","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,8]]}}}