{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:28Z","timestamp":1775053288343,"version":"3.50.1"},"reference-count":38,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1979,1,1]],"date-time":"1979-01-01T00:00:00Z","timestamp":283996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Languages"],"published-print":{"date-parts":[[1979,1]]},"DOI":"10.1016\/0096-0551(79)90009-2","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T19:11:16Z","timestamp":1060283476000},"page":"49-66","source":"Crossref","is-referenced-by-count":15,"title":["An approach to software system modelling and analysis"],"prefix":"10.1016","volume":"4","author":[{"given":"William E.","family":"Riddle","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0096-0551(79)90009-2_BIB1","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/0096-0551(79)90008-0","article-title":"An approach to software system behavior description","volume":"4","author":"Riddle","year":"1979","journal-title":"Computer Languages"},{"key":"10.1016\/0096-0551(79)90009-2_BIB2","series-title":"Introduction to Operating System Design","author":"Habermann","year":"1976"},{"key":"10.1016\/0096-0551(79)90009-2_BIB3_1","first-page":"467","article-title":"The architecture of complexity","volume":"106","author":"Simon","year":"1962"},{"key":"10.1016\/0096-0551(79)90009-2_BIB3_2","series-title":"Sciences of The Artificial","author":"Simon","year":"1969"},{"key":"10.1016\/0096-0551(79)90009-2_BIB4","series-title":"Current Trends in Programming Methodology","article-title":"A formal method for the design of operating system software","author":"Robinson","year":"1977"},{"key":"10.1016\/0096-0551(79)90009-2_BIB5","series-title":"Proc. ACM natl Conf.","article-title":"The hierarchical modelling of operating system structure and behavior","author":"Riddle","year":"1972"},{"key":"10.1016\/0096-0551(79)90009-2_BIB6","series-title":"Proc. 2nd Texas Conf. on Computing","first-page":"2\/8","article-title":"A design methodology for complex software systems","author":"Riddle","year":"1973"},{"key":"10.1016\/0096-0551(79)90009-2_BIB7","article-title":"An introduction to modelling parallel systems with dynamic structure","author":"Wileden","year":"1977"},{"key":"10.1016\/0096-0551(79)90009-2_BIB8","article-title":"Modelling parallel systems with dynamic structure","author":"Wileden","year":"1978"},{"key":"10.1016\/0096-0551(79)90009-2_BIB9","series-title":"Proc. IFIP Congress 74","article-title":"A comparison of models of parallel computation","author":"Peterson","year":"1974"},{"key":"10.1016\/0096-0551(79)90009-2_BIB10","doi-asserted-by":"crossref","DOI":"10.1016\/S0022-0000(76)80047-5","article-title":"Computation sequence sets","volume":"13","author":"Peterson","year":"1976","journal-title":"J. Comput. Syst. Sci."},{"key":"10.1016\/0096-0551(79)90009-2_BIB11","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1145\/363219.363222","article-title":"On multiprogramming, machine coding, and computer organization","volume":"12","author":"Wirth","year":"1969","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90009-2_BIB12","series-title":"CS-71-702","article-title":"Communicating semaphores","author":"Saal","year":"1971"},{"key":"10.1016\/0096-0551(79)90009-2_BIB13","first-page":"139","article-title":"A multi-processor system design","volume":"24","author":"Conway","year":"1963"},{"key":"10.1016\/0096-0551(79)90009-2_BIB14_1","doi-asserted-by":"crossref","first-page":"238","DOI":"10.1145\/362258.362278","article-title":"The nucleus of a multiprogramming system","volume":"13","author":"Brinch Hansen","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90009-2_BIB14_2","first-page":"250","article-title":"The nucleus of a multiprogramming system","volume":"13","author":"Brinch Hansen","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90009-2_BIB15","first-page":"409","article-title":"Control of sequence and parallelism in modular systems","volume":"32","author":"Constantine","year":"1968"},{"key":"10.1016\/0096-0551(79)90009-2_BIB16","article-title":"Communication with automata","volume":"Vol. 1","author":"Petri","year":"1966"},{"key":"10.1016\/0096-0551(79)90009-2_BIB17","series-title":"SRM\/97","article-title":"The equivalence of Petri nets and message transmission models","author":"Riddle","year":"1974"},{"key":"10.1016\/0096-0551(79)90009-2_BIB18","series-title":"Ph.D. thesis","article-title":"Modelling and analysis of supervisory systems","author":"Riddle","year":"1972"},{"key":"10.1016\/0096-0551(79)90009-2_BIB19","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1145\/321239.321249","article-title":"Derivatives of regular expressions","volume":"11","author":"Brzozowski","year":"1964","journal-title":"J. Ass. comput. Mach."},{"key":"10.1016\/0096-0551(79)90009-2_BIB20","series-title":"RSSM\/\u03b22","article-title":"Performance prediction in an operating system design methodology","author":"Sanguinetti","year":"1977"},{"key":"10.1016\/0096-0551(79)90009-2_BIB21","series-title":"Proc. 5th Annual Symp. on Switching Theory and Logic Design","first-page":"95","article-title":"Fault detecting experiments for sequential circuits","author":"Hennie","year":"1964"},{"key":"10.1016\/0096-0551(79)90009-2_BIB22","series-title":"Tech. Report 77-3","article-title":"The decidability of the reachability problem for vector addiction systems","author":"Sacerdote","year":"1977"},{"key":"10.1016\/0096-0551(79)90009-2_BIB23","series-title":"Tech. Report","article-title":"The reachability problem requires exponential space","author":"Lipton","year":"1975"},{"key":"10.1016\/0096-0551(79)90009-2_BIB24","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1145\/355598.362740","article-title":"A formalism for translator interactions","volume":"73","author":"Early","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90009-2_BIB25","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/361405.361409","article-title":"Interference between communicating sequential processes","volume":"15","author":"Gilbert","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90009-2_BIB26","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/361268.361277","article-title":"Synchronization of communicating processes","volume":"15","author":"Habermann","year":"1972","journal-title":"Comm. ACM"},{"key":"10.1016\/0096-0551(79)90009-2_BIB27","series-title":"Proc. Fourth Texas Conf. On Computing Systems","first-page":"3A\/2.1","article-title":"Computer augmented design of complex software systems","author":"Riddle","year":"1975"},{"key":"10.1016\/0096-0551(79)90009-2_BIB28","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/1010730.1010731","article-title":"An introduction to the DREAM software design system","volume":"2","author":"Riddle","year":"1977","journal-title":"Software Engineering Notes"},{"key":"10.1016\/0096-0551(79)90009-2_BIB29","series-title":"Proc. 1978 natl Computer Conf.","article-title":"A description scheme to aid the design of collections of concurrent processes","author":"Riddle","year":"1978"},{"key":"10.1016\/0096-0551(79)90009-2_BIB30","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1978.231513","article-title":"Behavior modelling during software design","volume":"SE-4","author":"Riddle","year":"1978","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10.1016\/0096-0551(79)90009-2_BIB31","article-title":"Hierarchial description of software system structure","author":"Riddle","year":"1977"},{"key":"10.1016\/0096-0551(79)90009-2_BIB32","article-title":"Abstract process types","author":"Riddle","year":"1977"},{"key":"10.1016\/0096-0551(79)90009-2_BIB33","series-title":"Proc. 3rd Jerusalem Conf. on Info. Tech.","article-title":"DREAM: A software design aid system","author":"Riddle","year":"1978"},{"key":"10.1016\/0096-0551(79)90009-2_BIB34","article-title":"Philosophy of the DREAM System","author":"Sayler","year":"1977"},{"key":"10.1016\/0096-0551(79)90009-2_BIB35","unstructured":"A. R. Segal, Design Description Management. RSSM\/45, Dept. of Computer and Comm. Sciences, University of Michigan, Ann Arbor, Mich. in preparation."},{"key":"10.1016\/0096-0551(79)90009-2_BIB36","article-title":"Behavior specification in a software design system","author":"Wileden","year":"1978"}],"container-title":["Computer Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055179900092?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0096055179900092?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T05:20:33Z","timestamp":1552627233000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0096055179900092"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,1]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1979,1]]}},"alternative-id":["0096055179900092"],"URL":"https:\/\/doi.org\/10.1016\/0096-0551(79)90009-2","relation":{},"ISSN":["0096-0551"],"issn-type":[{"value":"0096-0551","type":"print"}],"subject":[],"published":{"date-parts":[[1979,1]]}}}