{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:28Z","timestamp":1748072788553},"reference-count":0,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[1998,12]]},"abstract":"<jats:p> We have developed a framework for specifying high-level software designs. The core of the framework is a very simple visual notation. This notation enables designers to document designs as labelled rectangles and directed edges. In addition to the notation, our framework features a supporting formalism, called ISF (Interconnection Style Formalism). This formalism enables designers to customize the simple design notation by specifying the type of entities, relations, legal configurations of entities and relations, as well as scoping rules of the custom notation. <\/jats:p><jats:p> In this paper we present the formal definition of ISF and use ISF to specify two custom design notations. We also describe how ISF specifications, using deductive database technology, are used to generate supporting tools for these custom notations. <\/jats:p>","DOI":"10.1142\/s0218194098000285","type":"journal-article","created":{"date-parts":[[2003,8,20]],"date-time":"2003-08-20T09:30:13Z","timestamp":1061371813000},"page":"517-540","source":"Crossref","is-referenced-by-count":2,"title":["ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design"],"prefix":"10.1142","volume":"08","author":[{"given":"Spiros","family":"Mancoridis","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science, Drexel University, 3141 Chestnut Street, Philadelphia, PA 19104, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194098000285","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T16:02:50Z","timestamp":1565193770000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194098000285"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,12]]},"references-count":0,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[1998,12]]}},"alternative-id":["10.1142\/S0218194098000285"],"URL":"https:\/\/doi.org\/10.1142\/s0218194098000285","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[1998,12]]}}}