{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:17:13Z","timestamp":1649182633988},"reference-count":34,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1994,9,1]],"date-time":"1994-09-01T00:00:00Z","timestamp":778377600000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[1994,9]]},"DOI":"10.1016\/0164-1212(94)90014-0","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T00:31:55Z","timestamp":1060302715000},"page":"233-244","source":"Crossref","is-referenced-by-count":1,"title":["Integrated modeling of distributed object-oriented systems"],"prefix":"10.1016","volume":"26","author":[{"given":"Doris L.","family":"Carver","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(94)90014-0_BIB1","series-title":"Actors: A Model of Concurrent Computation in Distributed Systems","author":"Agha","year":"1986"},{"key":"10.1016\/0164-1212(94)90014-0_BIB2","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/MC.1985.1662863","article-title":"SREM at the Age of Eight: The Distributed Computing Design System","volume":"18","author":"Alford","year":"1985","journal-title":"Computer"},{"key":"10.1016\/0164-1212(94)90014-0_BIB3","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1145\/63485.63491","article-title":"An Object-Oriented Requirements Specification Method","volume":"32","author":"Bailin","year":"1989","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(94)90014-0_BIB4","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1145\/72551.72552","article-title":"Programming Languages for Distributed Computing Systems","volume":"21","author":"Bal","year":"1989","journal-title":"ACM Comp. Surv."},{"key":"10.1016\/0164-1212(94)90014-0_BIB5","series-title":"Object-Oriented Design with Applications","author":"Booch","year":"1991"},{"key":"10.1016\/0164-1212(94)90014-0_BIB6","series-title":"Object-Oriented Analysis","author":"Coad","year":"1990"},{"key":"10.1016\/0164-1212(94)90014-0_BIB7","series-title":"Proceedings of 1st International Conference on Industrial and Engineering Applications of AI and Expert Systems","first-page":"267","article-title":"Knowledge base applications within software engineering: A tool for requirements analysis","author":"Cordes","year":"1988"},{"key":"10.1016\/0164-1212(94)90014-0_BIB8","series-title":"Structured Systems Analysis and Design Methodology","author":"Cutts","year":"1988"},{"key":"10.1016\/0164-1212(94)90014-0_BIB9","series-title":"Proceedings of 7th Symposium on Mathematical Foundations of Computer Science","first-page":"213","article-title":"Facts in place\/transition nets","author":"Genrich","year":"1978"},{"key":"10.1016\/0164-1212(94)90014-0_BIB10","series-title":"Fundamentals of Software Engineering","author":"Ghezzi","year":"1991"},{"key":"10.1016\/0164-1212(94)90014-0_BIB11","series-title":"Proceedings of 9th International Conference on Software Engineering","article-title":"Structuring criteria for real time system design","author":"Gomma","year":"1990"},{"key":"10.1016\/0164-1212(94)90014-0_BIB12","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0164-1212(94)90014-0_BIB13","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","article-title":"Colored Petri Nets and the Invariant Method","volume":"14","author":"Jenson","year":"1981","journal-title":"Theoret. Comp. Sci."},{"key":"10.1016\/0164-1212(94)90014-0_BIB14","series-title":"International Workshop on Software Specification and Design, IEEE Computer Society Press","first-page":"178","article-title":"An eclectic approach to specification","author":"Kampen","year":"1987"},{"key":"10.1016\/0164-1212(94)90014-0_BIB15","series-title":"International Conference on Software Engineering","first-page":"116","article-title":"SEGRAS\u2014A formal and semigraphical language combining Petri nets and abstract data types for the specification of distributed systems","author":"Kramer","year":"1987"},{"key":"10.1016\/0164-1212(94)90014-0_BIB16","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/51696.51701","article-title":"A Survey of Issues to be Considered in the Development of an Object-Oriented Development Methodology for Ada","volume":"13","author":"Ladden","year":"1988","journal-title":"Software Eng. Not."},{"key":"10.1016\/0164-1212(94)90014-0_BIB17","series-title":"Proceedings of 1991 International Modelling and Simulation Conference","article-title":"Modeling the requirments of distributed systems from an object perspective","author":"Lee","year":"1991"},{"key":"10.1016\/0164-1212(94)90014-0_BIB18","first-page":"35","article-title":"Object-Oriented Analysis and Specification: A Knowledge Base Approach","volume":"4","author":"Lee","year":"1991","journal-title":"J. Object-Oriented Progr."},{"key":"10.1016\/0164-1212(94)90014-0_BIB19","series-title":"Object-Oriented Concurrent Programming","first-page":"9","article-title":"Concurrent object-oriented programming in ACT\/1","author":"Lieberman","year":"1987"},{"key":"10.1016\/0164-1212(94)90014-0_BIB20","series-title":"Software Specification Techniques","article-title":"An Appraisal of Program Specifications","author":"Liskov","year":"1986"},{"key":"10.1016\/0164-1212(94)90014-0_BIB21","author":"Luckham","year":"1987"},{"key":"10.1016\/0164-1212(94)90014-0_BIB22","series-title":"Object-Oriented Software Construction","author":"Meyer","year":"1988"},{"key":"10.1016\/0164-1212(94)90014-0_BIB23","first-page":"32","article-title":"A Research Typology for Object-Oriented Analysis and Design","volume":"35","author":"Monarchl","year":"1992","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(94)90014-0_BIB24","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0164-1212(94)90014-0_BIB25","series-title":"Software Engineering: A Practitioner's Approach","author":"Pressman","year":"1992"},{"key":"10.1016\/0164-1212(94)90014-0_BIB26","series-title":"Traditional to Object-Oriented Analysis and Design: A CASE Tool-Based Approach, internal document","author":"Radhakrishnan","year":"1991"},{"key":"10.1016\/0164-1212(94)90014-0_BIB27","series-title":"Software Engineering","author":"Sommerville","year":"1992"},{"key":"10.1016\/0164-1212(94)90014-0_BIB28","article-title":"The Modeling, Analysis, and Design of Distributed Systems Based on Communicating Petri Nets","author":"Song","year":"1988"},{"key":"10.1016\/0164-1212(94)90014-0_BIB29","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1002\/spe.4380190304","article-title":"An Implementation of the Object-Oriented Concurrent Programming Language SINA","volume":"19","author":"Tripathi","year":"1989","journal-title":"Software Pract. Exp."},{"key":"10.1016\/0164-1212(94)90014-0_BIB30","series-title":"Proceedings of the 23rd Annual Hawaii International Conference on System Sciences","first-page":"257","article-title":"OBSERV\u2014A prototyping language and environment combining object-oriented approach, state machines and logic programming","author":"Tuszberowics","year":"1990"},{"key":"10.1016\/0164-1212(94)90014-0_BIB31","series-title":"The Formal Description Technique LOTOS","year":"1989"},{"key":"10.1016\/0164-1212(94)90014-0_BIB32","first-page":"8","article-title":"A Specifier's Introduction to Formal Methods","volume":"24","author":"Wing","year":"1991","journal-title":"IEEE Comp."},{"key":"10.1016\/0164-1212(94)90014-0_BIB33","series-title":"Object-Oriented Concurrent Programming","article-title":"Concurrent programming in Concurrent Smalltalk","author":"Yokote","year":"1987"},{"key":"10.1016\/0164-1212(94)90014-0_BIB34","series-title":"Object-Oriented Concurrent Programming","first-page":"55","article-title":"Modeling and Programming in an Object-Oriented Concurrent Language ABCL\/1","author":"Yonezawa","year":"1987"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900140?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900140?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:58:55Z","timestamp":1552604335000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121294900140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["0164121294900140"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(94)90014-0","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1994,9]]}}}