{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,4]],"date-time":"2024-05-04T23:29:25Z","timestamp":1714865365252},"reference-count":30,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":4289,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1995,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>There is an increasing interest in the study of software architectures; however, it still unclear which kind of formalisms and techniques should be used in their design. We study the suitability of a rule\u2010based, parallel logic language in the specification of the architecture of a complex software system, i.e. a software development environment. We have used as a case study SMILE, an environment for programming\u2010in\u2010the\u2010large. Because of the declarative, concurrent and object\u2010oriented features of parallel logic programming, we have been able to design a software architecture that emphasizes the dynamics of co\u2010ordination inside the software development environment. The result of this experience shows the usefulness and some weaknesses of logic languages for specifying and prototyping the software architecture of a distributed interactive system.<\/jats:p>","DOI":"10.1002\/spe.4380250204","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T18:01:27Z","timestamp":1163786487000},"page":"143-174","source":"Crossref","is-referenced-by-count":2,"title":["Declarative specification of the architecture of a software development environment"],"prefix":"10.1002","volume":"25","author":[{"given":"V.","family":"Ambriola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Ciancarini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Corradini","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","first-page":"1","volume-title":"Advances in Software Engineering and Knowledge Engineering","author":"Garlan D.","year":"1992"},{"key":"e_1_2_1_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(91)90085-K"},{"key":"e_1_2_1_4_2","unstructured":"R.Balzer \u2018Living in the next generation operating system\u2019 IFIP 86 1986 pp.283\u2013291."},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.75417"},{"key":"e_1_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380120505"},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380170903"},{"key":"e_1_2_1_8_2","volume-title":"Formal Specification of Advanced AI Architectures","author":"Craig I.","year":"1991"},{"key":"e_1_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54834-3_5"},{"key":"e_1_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313007"},{"key":"e_1_2_1_11_2","volume-title":"Concurrent Prolog: Collected Papers","author":"Shapiro E.","year":"1987"},{"key":"e_1_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/5001.5390"},{"key":"e_1_2_1_13_2","unstructured":"K.Ueda \u2018Guarded Horn clauses\u2019 in Reference 10 pp.140\u2013156."},{"key":"e_1_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"e_1_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/141874.141884"},{"key":"e_1_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/69610.357982"},{"key":"e_1_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.21745"},{"key":"e_1_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/72551.72555"},{"key":"e_1_2_1_20_2","unstructured":"N.Suzuki \u2018Experience with specification and verification of a complex computer using concurrent Prolog\u2019 in M. van Caneghem and D. Warren (eds) Logic Programming and Its Applications Ablex 1986 pp.105\u2013116."},{"key":"e_1_2_1_21_2","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(90)90107-W"},{"key":"e_1_2_1_22_2","unstructured":"D.Katzenellenbogen S.CohenandE.Shapiro \u2018An architecture of a distributed window system and its FCP implementation\u2019 in Reference 10 pp.101\u2013139."},{"key":"e_1_2_1_23_2","unstructured":"W.Silverman M.Hirsch A.HouriandE.Shapiro \u2018The Logix system user manual\u2019 in Reference 10 pp.46\u201377."},{"key":"e_1_2_1_24_2","volume-title":"Advances in Software Engineering and Knowledge Engineering","author":"Ciancarini P.","year":"1992"},{"key":"e_1_2_1_25_2","unstructured":"K.Furukawaet al. \u2018Mandala: a logic based knowledge programming system\u2019 Proc. Fifth Generation Comp. Systems Tokyo 1984 pp.613\u2013622."},{"key":"e_1_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380190404"},{"key":"e_1_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/32.87277"},{"key":"e_1_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037020"},{"key":"e_1_2_1_29_2","first-page":"287","volume-title":"Implementations of Distributed Prolog","author":"Glasser U.","year":"1992"},{"key":"e_1_2_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/52.10000"},{"key":"e_1_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/323648.323739"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380250204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380250204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T03:00:02Z","timestamp":1698375602000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380250204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":30,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["10.1002\/spe.4380250204"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380250204","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}