{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T12:05:03Z","timestamp":1777637103302,"version":"3.51.4"},"reference-count":8,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2013,4]]},"abstract":"<jats:p>The objective of this paper is to explain the notion of fine-grain transformations (FGTs), showing how they can be used as prototypical building blocks for constructing refactorings of a design-level system description. FGT semantics are specified in terms of pre- and postconditions which, in turn, also determines the sequential dependency relationships between them. An algorithm is provided which uses sequential dependency relationships to convert an FGT-list to a set of so-called FGT-DAGs. It is shown how to compute the precondition of such ordered collections of FGTs. The paper introduces a new approach to deal with refactoring pre- and postconditions by defining them at two different levels. To give these concepts syntactical form, we rely on the Prolog formats used by an FGT-based refactoring prototype tool. An example is provided to illustrate the various concepts and to demonstrate that, because of their simplicity, well-defined pre-post semantics and their intuitive nature, FGTs provide a pragmatic basis for building refactorings.<\/jats:p>","DOI":"10.1142\/s0218194013500095","type":"journal-article","created":{"date-parts":[[2013,7,10]],"date-time":"2013-07-10T04:51:04Z","timestamp":1373431864000},"page":"309-339","source":"Crossref","is-referenced-by-count":1,"title":["REFACTORING WITH ORDERED COLLECTIONS OF FINE-GRAIN TRANSFORMATIONS"],"prefix":"10.1142","volume":"23","author":[{"given":"EMMAD","family":"SAADEH","sequence":"first","affiliation":[{"name":"Computerized Information Systems, An-Najah National University, Nablus, Palestine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DERRICK G.","family":"KOURIE","sequence":"additional","affiliation":[{"name":"Espresso Research Group, University of Pretoria, Pretoria, South Africa"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2013,7,9]]},"reference":[{"key":"rf1","volume-title":"Refactoring: Improving the Design of Existing Code","author":"Fowler M.","year":"1999"},{"key":"rf5","doi-asserted-by":"publisher","DOI":"10.1002\/smr.316"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-006-0044-6"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.03.002"},{"key":"rf20","doi-asserted-by":"crossref","DOI":"10.3233\/FI-1996-263410","volume":"26","author":"Engels G.","year":"1996","journal-title":"Fundamenta Informaticae"},{"key":"rf22","unstructured":"T.\u00a0Mens, Generative and Transformational Techniques in Software Engineering (2005)\u00a0pp. 67\u201398."},{"key":"rf23","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80626-1"},{"key":"rf29","volume-title":"The Java Developers Guide to Eclipse","author":"Shavor J.","year":"2003"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194013500095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,30]],"date-time":"2020-07-30T07:21:04Z","timestamp":1596093664000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194013500095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":8,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2013,7,9]]},"published-print":{"date-parts":[[2013,4]]}},"alternative-id":["10.1142\/S0218194013500095"],"URL":"https:\/\/doi.org\/10.1142\/s0218194013500095","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4]]}}}