Joseph R. Kiniry  Home/Search
Context Related
| caltech.edu/tr/cstr9808.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: caltech.edu/~kiniry/projects/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Modern computing systems are terribly complicated --- so complex that most system designers and developers can only hope to understand their small piece of the larger project. The primary technologies that help system builders manage this complexity are object-oriented and/or component-centric, and the primary tools are those that assist in system modeling and specification. It is my belief that the next stage in managing system complexity comes in the form of system specification through... (Update)
Context of citations to this paper: More
...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...
.... [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...
Cited by: More
Towards a Semantically Enhanced Component Trader Architecture - Terzis, Nixon (2000) (Correct)
BeanBag - An Extensible Framework for Describing, Storing and.. - O'Reilly (1999) (Correct)
A New Construct for Systems Modeling and Theory: The Kind - Kiniry (1998) (Correct)
Similar documents (at the sentence level):
9.6%: Webs of Archived Distributed Computations for Asynchronous.. - Chandy, Kiniry, Al. (1997) (Correct)
Active bibliography (related documents): More All
5.4: The Specification of Dynamic Distributed Component Systems - Kiniry (1998) (Correct)
0.5: CDL: A Component Description Language - Kiniry (1999) (Correct)
0.5: A Framework for Structured Distributed Object Computing - Chandy, Kiniry, Rifkin.. (1997) (Correct)
Similar documents based on text: More All
0.4: Application Development using Compositional Performance Analysis - Rifkin (1999) (Correct)
0.4: A Structured Approach to Parallel Programming - Massingill (1998) (Correct)
0.3: A Cottage Industry of Software Publishing: Implications.. - Chandy, Sivilotti.. (1998) (Correct)
Related documents from co-citation: More All
2: Component Software - Beyond Object-Oriented Programming (context) - Szyperski - 1998
2: Enterprise JavaBeans Specification (context) - JavaBeans, java et al.
BibTeX entry: (Update)
Joseph R. Kiniry. The specification of dynamic distributed component systems. Master's thesis, California Institute of Technology, May 1998. http://citeseer.ist.psu.edu/article/kiniry98specification.html More
@techreport{ kiniry98specification,
author = "Joseph R. Kiniry",
title = "The Specification of Dynamic Distributed Component Systems",
number = "1998.cs-tr-98-08",
month = "29,",
pages = "96",
year = "1998",
url = "citeseer.ist.psu.edu/article/kiniry98specification.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
1363 The Common Object Request Broker: Architecture and Specifica.. (context) - Group
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha - 1991
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
1274 Object-Oriented Software Construction (context) - Meyer - 1988
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
917 and the ordering of events in a distributed system (context) - Lamport, clocks - 1978
756 Aspect-oriented programming - Kiczales, Lamping et al. - 1997
737 The Java Programming Language (context) - Arnold - 1998
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
689 Systematic Software Development Using VDM - Jones - 1986
681 Unified Modeling Language User Guide (context) - Booch, Rumbaugh et al. - 1997
673 Actors: A Model of Concurrent Computation in Distributed Sys.. (context) - Agha - 1986
653 Object-Oriented Analysis and Design with Applications (context) - Booch - 1994
616 Notation: A Reference Manual (context) - Spivey - 1992
585 Extensible Markup Language (context) - Bray, Paoli et al. - 1998
572 Distributed snapshots: Determining the global states of dist.. (context) - Chandy, Lamport - 1985
554 Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
542 Object-Oriented Software Engineering --- A Use Case Driven A.. (context) - Jacobson - 1992
537 Component Software: Beyond Object-Oriented Programming (context) - Szyperski - 1997
484 Common Lisp: The Language (context) - Steele - 1990
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
372 Unified Modeling Language Reference Manual (context) - Rumbaugh, Jacobson et al. - 1997
362 ML for the Working Programmer (context) - Paulson - 1996
351 Resource Description Framework (context) - Lassila, Swick - 1998
342 Eiffel: The Language (context) - Meyer - 1992
290 IP Illustrated (context) - Stevens - 1994
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
264 A language with distributed scope - Cardelli - 1995
257 Smalltalk-80: The Language and its Implementation (context) - Goldberg, Robson - 1983
235 Object-Oriented Development: The Fusion Method (context) - Coleman - 1993
199 Designing Object-Oriented Software (context) - Wirfs-Brock, Wilkerson et al. - 1990
183 Executable object modeling with statecharts - Harel, Gery - 1996
170 Java Remote Method Invocation Specification (context) - Microsystems - 1997
162 Programming in Modula (context) - Wirth - 1982
154 A Specification Language and its Formal Semantics (context) - Spivey - 1988
151 An Introduction to Mathematical Logic and Type Theory: To Tr.. (context) - Andrews - 1986
143 Subject-oriented programming (context) - Harrison, Ossher - 1993
142 An Introduction to Formal Specification and Z (context) - Potter, Sinclair et al. - 1991
141 The Origins of Order: Self-Organization and Selection in Evo.. (context) - Kauffman - 1993
137 The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
135 Computer Networks: A Systems Approach (context) - Peterson, Davie - 1996
133 Adaptive Object-Oriented Software: The Demeter Method with P.. - Lieberherr - 1996
133 Adaptation in Natural and Artificial Systems: An Introductor.. (context) - Holland - 1975
127 Systems Programming with Modula (context) - Nelson - 1991
122 Temporal Logic: Mathematical Foundations and Computational A.. (context) - Gabbay, Hodkinson et al. - 1994
115 A specification language advocated for the description of st.. (context) - Duke, Rose et al. - 1994
111 Common Lisp Object System Specification (context) - Bobrow, Demichiel et al. - 1988
100 Object-Oriented Programming in the Beta Programming Language (context) - Madsen, Moller-Pedersen et al. - 1993
99 Object Life Cycles: Modeling the World in State (context) - Shlaer, Mellor - 1991
86 Obliq --- a language with distributed scope - Cardelli - 1994
83 Object-Oriented Programming in Common Lisp: A Programmer's G.. (context) - Keene - 1989
82 The STATEMATE semantics of statecharts - Harel, Naamad - 1996
77 Object-Oriented Systems Analysis: Modeling the World in Data (context) - Shlaer, Mellor - 1988
77 Type Theory and Functional Programming (context) - Thompson - 1991
76 Rational Software Corporation (context) - Corporation, version et al. - 1997
76 Rational Software Corporation (context) - Corporation, Guide et al. - 1997
76 Rational Software Corporation (context) - Corporation, version et al. - 1997
75 Designing Object Systems: Object-Oriented Modelling with Syn.. (context) - Cook, Daniels - 1994
67 ACM Transactions on Programming Languages and Systems (context) - Palsberg, Xiao et al. - 1995
66 Industrial Dynamics (context) - Forrester - 1961
63 Lclint: A tool for using specifications to check code - Evans, Guttag et al. - 1994
61 A worldwide distributed system using Java and the Internet - Chandy, Rifkin et al. - 1996
60 Using Formal Description Techniques: An Introduction to Este.. (context) - Turner - 1993
59 Hidden Order: How Adaptation Builds Complexity (context) - Holland - 1995
58 Project Oberon --- The Design of an Operating System and Com.. (context) - Wirth, Gutknecht - 1992
48 Meta-Level Architectures and Reflection (context) - Maes, Nardi - 1988
48 a and Alan Wills. Objects, Components, and Frameworks with U.. (context) - D'Souz - 1998
46 Reflection and semantics in LISP (context) - Smith - 1984
46 Object-Oriented Programming: The CLOS Perspective (context) - Paepcke - 1993
46 SIMULA begin (context) - Birtwistle, Dahl et al. - 1979
45 Interactive foundations of computing - Wegner - 1997
45 The programming language PASCAL (context) - Wirth - 1971
45 Object-Oriented Software Engineering (context) - Jacobson, Christerson et al. - 1992
42 Object-Oriented Programming (context) - Cox, Novabilsky - 1987
41 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
40 Programming in Oberon: Steps Beyond Pascal and Modula (context) - Reiser, Wirth - 1992
40 Proof in VDM: A Practitioner's Guide (context) - Bicarregui, Fitzgerald et al. - 1994
39 Algebraic Theory of Processes (context) - Hennessy - 1988
36 The Formal Description Technique LOTOS (context) - van Eijk, Vissers et al. - 1989
34 Theoretical Aspects of Object-Oriented Programming (context) - Gunter, Mitchell - 1993
33 The BETA Programming Language (context) - Kristensen, Madsen et al. - 1987
32 An evolutionary approach to synthetic biology: Zen and the a.. - Ray - 1994
30 Organizing programs without classes - Ungar, Chambers et al. - 1991
29 Proofs and Types (context) - Girard - 1989
29 Number 828 in Lecture Notes in Computer Science (context) - Paulson, Theorem - 1994
27 Springer--Verlag (context) - Adabi, Cardelli et al. - 1996
26 Lisp and Symbolic Computation (context) - Ungar, Smith et al. - 1991
25 Systematic composition of objects in distributed Internet ap.. - Chandy, Rifkin - 1997
25 Internet Programming with Python (context) - Watters, van Rossum et al. - 1996
23 Dylan --- an object-oriented dynamic language (context) - Eastern, Technology - 1992
22 CLOS: Integrating object-oriented and functional programming (context) - Gabriel, White et al. - 1991
22 iBus --- the Java intranet software bus (context) - Maffeis - 1997
21 Coordinating Distributed Objects: An Actor-Based Approach to.. (context) - Frolund - 1996
20 rational.com/products/ rose (context) - Corporation, ROSE et al.
18 JavaBeans API specification (context) - Microsystems - 1997
18 Business Objects: Delivering Cooperative Objects for Client-.. (context) - Sims - 1994
16 At Home in the Universe: The Search for Laws of Self-Organiz.. (context) - Kauffman - 1995
16 An event-based object model for distributed programming - Starovic, Cahill et al. - 1995
14 Using events to build large scale distributed applications - Hayton, Bacon et al. - 1996
14 A framework for structured distributed object computing - Chandy, Kiniry et al. - 1997
14 Using announce-listen with global events to develop distribu.. - Chandy, Rifkin et al. - 1998
14 A framework for structured distributed object computing - Chandy, Kiniry et al. - 1997
13 programmer's reference manual (context) - Agesen, Bak et al. - 1993
13 Object-Oriented Programming Techniques (context) - Pinson, Wiener - 1991
13 a formal specification language for object-oriented designs (context) - Durr, van Katwijk et al. - 1992
13 Cogito: A methodology and system for formal software develop.. (context) - Bloesch, Kazmierczak et al. - 1995
12 Digital Equipment Corporation Systems Research Center (context) - Garland, Guttag et al. - 1991
12 World Wide Web Consortium (context) - Bray, Hollander et al. - 1998
11 World Wide Web Consortium (context) - Maler, DeRose et al. - 1998
11 World Wide Web Consortium (context) - Maler, DeRose et al. - 1998
10 A general resource reservation framework for scientific comp.. - Ramamoorthi, Rifkin et al. - 1997
9 Object protocols as functional parsers (context) - Florijn - 1995
9 Superdistribution: Objects As Property on the Electronic Fro.. (context) - Cox - 1996
8 Corporation for National Research Initiatives (context) - van Rossum, manual - 1997
8 Object-Oriented Methods (context) - Martin, Odell - 1997
7 Object-Oriented Methods Pragmatic Considerations (context) - Martin, Odell - 1996
7 A Transfinite Type Theory with Type Variables (context) - Andrews - 1965
7 Java Shared Data Toolkit User Guide (context) - Burridge - 1998
7 Webs of archived distributed computations for asynchronous c.. - Chandy, Kiniry et al. - 1997
6 UML Toolkit (context) - Eriksson, Penker - 1998
6 Design for open systems in Java (context) - Lea - 1997
6 Prentice-Hall International Series in Computer Science (context) - Woodcock, Davies et al. - 1996
6 OOA: Object-Oriented Analysis (context) - Coad, Yourdon - 1990
6 Yeast: A general purpose event-action system (context) - Krishnamurthy, Rosenblum - 1995
5 Logic and its Applications (context) - Burke, Foxley - 1996
5 A behavioral semantics for Linda (context) - Butcher - 1991
4 Department of Computer Science (context) - Gaspari, Zavattaro et al. - 1997
4 Component pascal language report (context) - microsystems - 1997
3 Semantics of Type Theory: Correctness (context) - Streicher - 1991
3 Providing easier access to remote objects in distributed sys.. (context) - Aldrich, Dooley et al. - 1998
3 Creating Agile Organizations with the OOCL Method (context) - Swanstrom - 1998
3 Developing peer-to-peer applications on the Internet: The di.. (context) - Thomas, Suchter et al. - 1997
3 User's guide to the Demeter Tools/C (context) - Hursch - 1991
3 The Infospheres Group. The Infospheres Infrastructure versio.. (context) - Group, Infrastructure et al. - 1998
3 The Infospheres Group. The Infospheres Infrastructure versio.. (context) - Group, Infrastructure et al. - 1998
3 Department of Computer Sciences (context) - Kaltenbach, for et al. - 1994
3 The Infospheres Group. The Infospheres Infrastructure versio.. (context) - Group, Infrastructure et al. - 1996
3 An Introduction to Discrete Mathematics (context) - Ince - 1992
3 The Incompleteness Phenomenon: A New Course in Mathematical .. (context) - Goldstern, Judah - 1995
3 OMG event object service (context) - Schmidt, Vinoski - 1997
3 Conceptual Knowledge Markup Language (context) - Markup, DTD et al.
3 The Art and Practice of Learning Organization (context) - Senge, Discipline - 1990
3 Research Directions in Object-Oriented Programming (context) - Agha, Hewitt - 1987
2 Productivity Press (context) - Forrester - 1969
2 Agilis Corporation (context) - Swanstrom - 1997
2 A preliminary investigation into dynamic distributed workflo.. (context) - Zimmerman - 1998
2 A reference model for object-oriented distributed systems (context) - Wright - 1988
2 The Unified Process: A Software Engineering Process Using th.. (context) - Jacobson, Booch et al. - 1998
2 Constructing client-server multi-player asynchronous games u.. - Zimmerman, Rothstein et al. - 1997
2 Programming with object-pascal (context) - Wiener - 1989
2 Paradigm Plus: Methods Manual Addendum (context) - technology, Bowman et al. - 1997
2 ifad.dk/products/vdmtools (context) - VDM, http
2 Collected Papers of Jay W (context) - Forrester - 1975
2 OOD: Object-Oriented Design (context) - Coad, Yourdon - 1990
2 Productivity Press (context) - Forrester - 1971
1 A universal modelar ACTOR formalism for AI (context) - Hewitt, Bishop et al. - 1973
1 Available as ftp://ftp (context) - Misra, of et al. - 1996
1 Object-oriented programming and the Objective-C language (context) - Larkin, Wilson - 1993
1 Analysis and Design: Comparison of Methods (context) - Hutt - 1994
1 Virtual swap meet: A distributed agent marketplace (context) - Matefy, Walton - 1997
1 DRAFT - NOT FOR DISTRIBUTION 10 : 43 July (context) - Language, DTD et al.
1 DRAFT - NOT FOR DISTRIBUTION 10 : 43 July (context) - Lutz, O'Reilly et al. - 1996
1 Analysis and Design: Description of Methods (context) - Hutt - 1994
1 Java ACE homepage (context) - Jain, Schmidt
1 dist-obj Mailing List: http://www (context) - Johnson, communication - 1998
1 ML Frequently Asked Questions and Answers (context) - LANG
1 DRAFT - NOT FOR DISTRIBUTION 10 : 43 July (context) - Senge, Discipline et al. - 1994
1 DRAFT - NOT FOR DISTRIBUTION 10 : 43 July (context) - Dahl, Nygaard et al. - 1966
1 Available as http://www (context) - web - 1998
1 Object Solutions --- Managing the Object-Oriented Product (context) - Booch - 1996
1 DALI: A distributed artificial life simulator infrastructure (context) - Kiniry, Nicolson et al. - 1997
1 Smalltalk-80: The Language edition = Revised (context) - Goldberg, Rubin - 1995
Documents on the same site (http://www.infospheres.caltech.edu/~kiniry/projects/): More
Webs of Archived Distributed Computations for Asynchronous.. - Chandy, Kiniry, Al. (1997) (Correct)
A New Construct for Systems Modeling and Theory: The Kind - Kiniry (1998) (Correct)
A New Construct for Systems Modeling and Theory: The Kind - Kiniry (1998) (Correct)
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