{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T04:36:19Z","timestamp":1759206979323},"reference-count":26,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1999,4,1]],"date-time":"1999-04-01T00:00:00Z","timestamp":922924800000},"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":["Knowledge-Based Systems"],"published-print":{"date-parts":[[1999,4]]},"DOI":"10.1016\/s0950-7051(99)00004-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T08:51:28Z","timestamp":1027587088000},"page":"13-26","source":"Crossref","is-referenced-by-count":2,"title":["Rule-based systems formalized within a software architectural style"],"prefix":"10.1016","volume":"12","author":[{"given":"R.F","family":"Gamble","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.R","family":"Stiger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.T","family":"Plant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-7051(99)00004-0_BIB1","unstructured":"J. Goguen, The dry and wet. Monograph PRG-100, Programming Research Goup, Oxford University Computer Laboratory England."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB2","article-title":"Software development: Fashioning the Baroque","author":"Ince","year":"1988"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB3","series-title":"Pratical Program Development Using JSP: A Manual of Program Design Using the Design Method Developed by M.A. Jackson","author":"Storer","year":"1986"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB4","unstructured":"A. Abd-Allah, Composing Heterogeneous Software Architectures, Ph.D. Dissertation, Department of Computer Science, University of Southern California, August 1996."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB5","unstructured":"G. Abowd, R. Allen, D. Garlan, Formalizing Style to Understand Description of Software Architecture, ACM TOSEM, submitted for publication."},{"issue":"4","key":"10.1016\/S0950-7051(99)00004-0_BIB6","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","article-title":"Correct architecture refinement","volume":"21","author":"Moriconi","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB7","unstructured":"S. Murrell, R. Plant, R. Gamble, Defining architectural styles for knowledge-based systems, AAAI-95, Workshop on Verification and Validation of Knowledge Based Systems and Subsystems, August 1996, pp. 51\u201358."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB8","doi-asserted-by":"crossref","unstructured":"P.R. Stiger, R.F. Gamble, Blackboard Systems Formalized within a Software Architectural Style, International Conference on Systems, Man, Cybernetics, October 1997.","DOI":"10.1109\/ICSMC.1997.638114"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB9","series-title":"Introducing Z: A Specification Language and its Formal Semantics","author":"Spivey","year":"1988"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB10","series-title":"Software Architecture: Perspectives on an Emerging Discipline","author":"Shaw","year":"1996"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB11","unstructured":"P.R. Stiger, An assessment of architectural styles and integration components, MS Thesis, Department of Mathematical and Computer Sciences, University of Tulsa, January 1998."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB12","doi-asserted-by":"crossref","unstructured":"R. Allen, D. Garlan, A Formal Basis for Architecture Connection, ACM TOSEM, 1997, submitted for publication.","DOI":"10.1145\/258077.258078"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB13","unstructured":"D. Mularz, Pattern-based integration architectures, PloP 1994."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB14","unstructured":"A.D. Preece, Validation and Verification of Knowledge-based Systems, Working Notes AAAI 1993, Washington D.C."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB15","doi-asserted-by":"crossref","unstructured":"R.T. Plant, Validation and Verification of Knowledge-based Systems, Working Notes AAAI 1994, Seattle, Washington.","DOI":"10.1007\/978-3-662-02933-6_11"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB16","unstructured":"R.Gamble, C. Landauer, Validation and Verification of Knowledge-based Systems, Working Notes IJCAI 1995, Montreal, Quebec, Canada."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB17","unstructured":"J. Schmolze, Vermesan, A., Validation and Verification of Knowledge-based Systems, Working Notes AAAI 1996, Portland, Oregon."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB18","unstructured":"R.T. Plant, G. Antoniou, Validation and Verification of Knowledge-based Systems, Working Notes AAAI 1997, Providence, RI."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB19","unstructured":"J. Cardenosa, P. Meseguer, Proceedings of EUROVAV 1993: European Symposium on the Verification and Validation of Knowledge-based Systems, Univ. Polit. De Madrid, Spain."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB20","unstructured":"M. Ayel, M. Rousset, Proceedings of EUROVAV 1995: European Symposium on the Verification and Validation of Knowledge-based Systems, St Baldoph-Chambery, France."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB21","unstructured":"J. Vanthienen, F. van Harmelen, Proceedings of EUROVAV 1997: European Symposium on the Verification and Validation of Knowledge-based Systems, Leuven, Belgium."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB22","doi-asserted-by":"crossref","unstructured":"S. Murrell, R.T. Plant, A Survey of Tools for the Validation and Verification of Knowledge-based Systems: 1985\u20131995. Decision Support Systems 633 (1997).","DOI":"10.1016\/S0167-9236(97)00047-X"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB23","unstructured":"D.E. O\u2019Leary, Verification of Multiple Agent Knowledge-Based Systems, AAAI-97, Workshop on Verification and Validation of Knowledge Based Systems and Subsystems, August 1997, pp. 13\u201323."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB24","article-title":"Advances in Software Engineering and Knowledge Engineering","author":"Garlan","year":"1993"},{"key":"10.1016\/S0950-7051(99)00004-0_BIB25","unstructured":"C. Gacek, Detecting architectural mismatches during systems composition, TR USC\/CSE-97-TR-506. University of Southern California, Center for Software Engineering, 1997."},{"key":"10.1016\/S0950-7051(99)00004-0_BIB26","unstructured":"M. Brodie, M. Stonebroker, Migrating Legacy Systems, Morgan Kaufmann, San Francisco, CA, 1995."}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705199000040?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705199000040?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T08:29:28Z","timestamp":1578472168000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705199000040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,4]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1999,4]]}},"alternative-id":["S0950705199000040"],"URL":"https:\/\/doi.org\/10.1016\/s0950-7051(99)00004-0","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1999,4]]}}}