P. S. C. Alencar, D. D. Cowan, and C. J. P. Lucena, "A Logical Theory of Interfaces and Objects", IEEE Transactions on Software Engineering, Vol. 28, No. 6, June 2002.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....The Abstract Data Type (ADT) with its emphasis on information hiding, is a very important concept in software engineering, but is incomplete. The views model extends the concept of the ADT by providing an interface that acts as a buffer between an ADT and the external world or other ADTs [3]. The views model has two basic constructs: objects and their interfaces (views) An object should be designed to be independent of the external world as it is the job of the view to connect the object to that world. The way in which the internal states of an object are presented to the external ....

....of Object, and View A s has access to Object s public operations, View B can indirectly examine and alter the state of Object through View A. View B must display the state of View A that is consistent with View A s display of the state of Object. The advantages of using a views model are clear [3]: The views model emphasizes loose coupling between modules . This separation of concerns improves reusability since modules are not closely linked together . The higher level of abstraction makes a designer s visualization of a software system easier . The designer need only formally specify ....

P. S. C. Alencar, D. D. Cowan, and C. J. P. Lucena, "A Logical Theory of Interfaces and Objects", IEEE Transactions on Software Engineering, Vol. 28, No. 6, June 2002.

.... types, and inheritance of specifications [1, 2, 3] The preliminary semantics for these specification constructors were given in terms of textual substitution in the same style used by Hoare in [29] Subsequent work provided a formal semantics for the ADV theory using logic and category theory [5]. The work on formal semantics considerably improved our understanding of the theory but we could not rely on the formalisms to produce practical designs with ADVs. For that purpose we need to introduce the notion of ADV ADO abstract schemas, that are useful tools for both formal and informal ....

P.S.C. Alencar, D.D. Cowan, and C.J.P. Lucena. A Logical Theory of Interfaces and Objects. ftp://csg.uwaterloo.ca/pub/ADV/theory/interobj.ps.gz, 1995.

....of the code production for the particular instantiation of a design pattern [2] Substituting formally defined components into an instantiation could permit a formal reasoning process about the resulting system. We currently have established two different frameworks for reasoning about designs[8, 9] of this type. Recent investigations[9] have shown how both a formal model and a prototype can be derived from a single component based specification, thus providing a strong link between formalism and implementation. The formally defined components are based on the Abstract Data View (ADV) ....

....have shown how both a formal model and a prototype can be derived from a single component based specification, thus providing a strong link between formalism and implementation. The formally defined components are based on the Abstract Data View (ADV) approach[10, 11, 12] which uses a formal model [8, 13] to achieve separation by dividing designs into two types of components: objects and object views, and by strictly following a set of design rules. Specific instantiations of views as represented by Abstract Data Views (ADVs) and objects called Abstract Data Objects (ADOs) are substituted into the ....

[Article contains additional citation context not shown here]

P.S.C. Alencar, D.D. Cowan, and C.J.P. Lucena, "A Logical Theory of Interfaces and Objects", Tech. Rep. CS-95-15, University of Waterloo, Waterloo, Ontario, Canada, 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC