| J.R Kiniry, "The Specification of Dynamic Distributed Component Systems", M.Sc. Thesis, Department of Computer Science, California Institute of Technology, also Technical Report CS-TR-98-08, July 1998, available at ftp://ftp.cs.caltech.edu/tr/cstr98 -08.ps.Z |
....tradeoff between precision and usability. Formality provides precise, complete and consistent descriptions of components, besides the only way to eliminate ambiguity is to be formal [39] But, the complexity of formal specification languages makes them difficult to use limiting their popularity [40]. Specification matching at a high level of formality has been studied in the past and can provide various kinds of matching [41] while at the same time the high level of formality provides more alternatives even at the signature matching level [42] The matching process at this level requires ....
J.R Kiniry, "The Specification of Dynamic Distributed Component Systems", M.Sc. Thesis, Department of Computer Science, California Institute of Technology, also Technical Report CS-TR-98-08, July 1998, available at ftp://ftp.cs.caltech.edu/tr/cstr98 -08.ps.Z
....COMPONENT MODEL . 19 FIGURE 2 3 BINARY REPRESENTATION OF A COM INTERFACE [SZY98] 25 FIGURE 2 4 USING BEHAVIOURAL ELEMENTS TO DENOTE THE INTERFACE OF A COMPONENT [KIN98] . 33 FIGURE 3 1 AN EXAMPLE OF EJB REFERENCES IN A DEPLOYMENT DESCRIPTOR. 51 FIGURE 3 2 THE BEANBAG HIGH LEVEL ARCHITECTURE . 51 FIGURE 3 3 METHODS2BEANS TABLE ....
....deployed on a laptop, and supports Java1.1 and 1.2 clients. 2.5 Component Description Languages A lot has to happen to make software componentization and reuse a reality. One of the biggest hurdles is the lack of standards that let an application know what a particular component can be used for [Kin98]. If components are going to live up to the promise of reuse, then standards are needed for describing what a component does, so that relevant components can be retrieved. Component Description Languages do exist, and in this section a number of them are examined to investigate if they can ....
[Article contains additional citation context not shown here]
Joseph R. Kiniry. (1998). The Specification of Dynamic Distributed Component Systems. OOPSLA '98.
....theoretician, in thinking about this problem I have come to the conclusion that a new conceptual artifact with complementary practical tools, with a firm theoretical grounding, is necessary to help solve these problems. My first published thoughts on the matter can be found in my second M.S. thesis[32] as well as in a recent paper[9] The further reification and refinement of these ideas resulted in a new conceptual construct that I call a kind. Why introduce kind now Before going into details about what a kind is and how it can be used, we should consider the more relevant question: Why ....
Joseph R. Kiniry. The specification of dynamic distributed component systems. Master's thesis, California Institute of Technology, May 1998.
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