A Multidatabase Platform to Support. Prototyping Environments. Omar Boucelma, Jean-Claude Franchitti, and Roger King.
|
|
- Eustace Mason
- 5 years ago
- Views:
Transcription
1 A Multidatabase Platform to Support Prototyping Environments Omar Boucelma, Jean-Claude Franchitti, and Roger King Department of Computer Science University of Colorado at Boulder Campus Box 430 Boulder, Colorado April 11, 1994 ARPA-ProtoTech Quarterly Report, # Abstract The ProtoTech program aims to supply software developers with a general purpose prototyping environment. This environment must provide particular persistence services, services that may be imported from various ARPA Persistent Object Base platforms. However, importing these services imposes serious interoperability problems at various levels of semantics. We are developing a multidatabase interoperability platform, Amalgame, that will allow ProtoTech tools to access the future POB infrastructure. This material is based on work sponsored by the Advanced Research Projects Agency under Grant Numbers N J The content of the information does not necessarily reect the position or the policy of the U.S. Government, and no ocial endorsement should be inferred. 1
2 1 Introduction The ARPA-POB program [Wie92] has isolated a certain number of requirements for a persistent object base (POB). As a consequence of these requirements, a POB must support a wide variety of languages, it also must \provide a consistent layer of persistent object services over all facilities served by the operating system" [Wie92]. Hence a POB must evolve as technology will evolve, in providing the integration of existing legacy applications. To provide a demonstrable POB infrastructure, ARPA is supporting a certain number of projects. Each project is focusing on an interesting part of the persistence problem. For instance, the TI-OOOB system [WBT92] aims to fulll the openness and the seamlessness requirements, the Brown Object Store Systems [ZL92] focuses on distribution, and the SHORE system [CWF + 94] will provide a high-performance and scalable POB for the Mach system. We believe that a suitable combination of the POB systems with commercial products will cover most of the persistence needs identied in the ARPA ProtoTech program. However, these combination poses serious interoperability problems at various levels and granularities of semantics. These problems are hardly studied, and some standards for dening interoperability support mechanisms [Cat93, OMG91] are emerging. To validate the proposed solutions, there is a need for experimentation in various application domains. There is also a need for testing the global or individual eectiveness of the various proposed methodologies. To fulll these needs, and to provide the interoperation of various ARPA persistence platforms, we are currently developing a multidatabase interoperability toolkit called Amalgame [FK93b, FK93a, Fra93]. Although Amalgame is intended as a general purpose heterogeneous application integration toolkit, we initially limited the scope of our research to supporting the incremental integration of heterogeneous database applications. These applications are software systems which are pieced together from existing database application components. In previous experiments, we discovered that Amalgame's integration mechanisms were well adapted to the composition of multidatabase applications. To better support this particular domain, we developed specic extensible support modules to assist the integration of various database systems. In particular, communication, programming language integration, and persistence modules were built into the Amalgame extensible support library. To start our Amalgame experiments within the ProtoTech program, we focused on providing persistence to prototyping languages. The ProtoTech program is one of the ARPA programs that provides an excellent framework for studying interoperability. In addition the prototyping tools integration imposes challenging requirements for multidatabase support. Indeed, objects created during the development process are variable sized, complex, heterogeneous structures. These structures are highly inter-related, with logical connections that span many individual database systems. These objects must be maintained in a consistent state while being shared by dierent tools and being accessed by multiple users. We describe in this paper the design of two Amalgame persistence experiments in the context of the ProtoTech program. We also discuss future work we intend to pursue in the context of the design and the development of a common prototyping infrastructure. 2
3 2 The Amalgame Persistence Experiments This section outlines two suggested experiments. The rst experiment demonstrates the use of Amalgame to quickly develop a persistence layer for the Grin prototyping language [Tea92]. The second experiment denes an Amalgame persistence programmable service module which can be used to add persistence to a programming language 2.1 An Amalgame Generated Persistence Layer for Grin Grin already supports persistence via an interface to PLinda 1 [AS92]. Therefore, our intent is to generate a exible alternative to the existing solution. In particular, our layer will provide the added benet of supporting a selectable set of underlying POBs. Our persistence layer could easily be tailored to support other applications, written in dierent languages. This last feature is particularly useful. Indeed, prototyping languages which do not currently implement persistence could make direct use of the Amalgame generated layer. Figure 1 below illustrates the proposed modications to the existing Grin PLindabased persistence layer. In this gure, we use dashes to outline the PLinda interface components. To implement the proposed solution, we use Amalgame and its persistence module to generate a PAM and an Amalgame generated server which emulates the interface of the existing PLinda-based server. Griffin program Amalgame Environment Amalgame Persistent Layer Persistent Linda TIOODB Griffin Physical Storage Figure 1: Grin Persistence Layer Specifying the proposed PAM interface using Amalgame is straightforward. Indeed, we simply use the low-level persistence interface to PLinda specied by the Grin team and 1 "Persistent Linda" 3
4 create a corresponding Amalgame component which encapsulates the existing interface. In the following, we give a concise explanation of the various steps required to implement our experiment using Amalgame. We then show commented Amalgame scripts to further illustrate the implementation process. Step 1 The PAM interface is specied using the Amalgame Specication Language (ASL). The ASL allows the denition of a PAM interface component within Amalgame. To do so, we rst dene an Amalgame environment which acts as a container for the PAM encapsulated component. The corresponding ASL script portion is shown in Figure Create a new Amalgame environment for the PLinda components -- Specify remote environment name Attach Environment PLINDA ENVIRONMENT -- Specify remote environment specifics With "UNAME:SunOS-4.1.2","USL:Eiffel" -- Specify Amalgame environment name To A PLINDA Figure 2: Creating an Amalgame Environment Step 2 We then specify an Amalgame component which will contain the PAM encapsulated interface. The corresponding ASL script portion is illustrated in Figure Specify an encapsulated Amalgame component which will communicate with the remote -- PLinda application to support read object requests given the persistent id of -- an object and the persistent id of the persistent collection where it is stored. Encapsulate From PLINDA ENVIRONMENT -- Specify as Amalgame sub-component type Type Is "SUBCOMPONENT" -- Specify Amalgame environment name In A PLINDA -- Specify Amalgame component name As LIBRARY.READ VALUE OBJECT Figure 3: Dening an Amalgame Encapsulated Component 4
5 Step 3 Figure 4 illustrates the actual encapsulation of the "read value object" function dened in the original PLinda interface. We use Eiel to code the PAM interface encapsulation. Eiel is the only Underlying Support Language (USL) currently supported by Amalgame. Low-levels Eiel libraries are provided by Amalgame to interface the various passive services required to support our application. Examples of such passive services are the Amalgame RPC software bus and persistence module. Figure 4 illustrates the practical use of these Amalgame services in the context of our Grin experiment. In particular, we use the Amalgame RPC service to generate a serverized component. Also, in our example we use TI OOODB for physical storage and concurrency control. However, any of the underlying stores currently supported by the Amalgame persistence module could be used as an alternative. Finally, Figure 4 illustrates various support methods for implementing the server component instantiation (create method) and the server main processing loop (execute method). To use our Amalgame generated persistence server, Grin programs requests are sent to the PAM server instead of the PLinda server. Storage requests are interpreted by our encapsulated PAM interface and directed to TI OOODB. To conclude the presentation of this rst experiment, we point out the benets and drawbacks of its suggested approach. First, the use of Amalgame and its persistence module reduce implementation costs. Second, the approach provides a seamless interface to a selectable set of underlying POBs (including the Unix le system). Third, the approach allows other languages or applications to reuse and possibly customize the Amalgame generated persistence layer. However, a drawback of the proposed approach is that it does not allow Grin application designers to control persistence from within the Grin language itself. Instead, the approach suggested in this rst experiment acts at the low-level persistence interface to PLinda originally outlined by the Grin team. As a result, the approach does not allow persistence model or underlying store selection directly from the application code. An second approach which alleviates this limitation is discussed in the next section. 5
6 -- Specify PAM interface component using Eiffel as a USL With Specication -> -- USL specification for encapsulated component starts inherit -- We use the Amalgame Q module to implement this server APC RPC SERVER, ADR RPC dene -- Since the inherited APC RPC SERVER class defers the implementation of the -- execute method, execute needs to be tailored to the requirements of our server execute feature -- The Amalgame ENVIRONMENT class provides a seamless interface to multiple POBs. env: POB ENV; -- Underlying POB interface object Create is do -- Setup underlying POB and initialize Q server to accept env.set pob name("tiooodb"); -- Name store server.initialize; end; (...) -- The read value object function requests an object value given the persistent, -- object id and the persistent id of the collection where it is stored read value object(process Id: do Transaction Id: PCollection Id: PValue Id: result buffer: env.set pob type(pob); INTEGER, TRANSACTION ID TYPE, COLLECTION ID TYPE, VALUE ID TYPE, env.open(pcollection Id); (...) STRING) is -- Select proper store result buffer:= env.retrieve(pvalue Id); (...) env.close; end; -- read value object (...) -- The execute method is called from the generic low-level server component -- generated by Amalgame.The execute method decodes the result buffer and returns -- either an error, or an array of bytes corresponding to the requested -- object value and an integer corresponding to the value length. execute is local (...) result buffer: do (...) end; -- execute STRING; <- -- end of USL specification for Encapsulate construct Figure 4: Specifying an Amalgame Encapsulation 6
7 2.2 A Platform for a Flexible and Scalable Persistent System Our previous experiment focused on using the Amalgame persistence module as a passive service. Using this approach, we implemented an alternative way of supporting orthogonal persistence in the Grin prototyping language. Obviously, this rst approach cannot be used to add persistence support to a non-persistent language. However, the intent of this second section is to show how Amalgame can be used, in a limited scope, to address this more general problem. Adding persistence to a programming language is a complex task which leads to several open questions: (i) What is the most suitable persistence model for that language?, (ii) How to implement a particular model in that language without impacting the process of building applications, or aecting the run-time eciency of resulting programs?, (iii) What underlying persistent stores are more suited for a given language?, (iv) How to access multiple persistent stores (simultaneously)?, and (v) How could selection of the underlying store be made transparent to the user? Of course, these are only the most important questions and lots of other issues would require careful evaluation. It is beyond the scope of this section to answer all of these questions. However, our research in the area of persistence support has allowed us to answer some of them. For instance, the Amalgame persistence module supplies a seamless interface to various persistent stores, and it supplies generation of tailorable PAMs. To some extent, the current Amalgame persistence approach does provide answers to questions (iv), (v), and (iii). Question (i) is neither an Amalgame goal, nor a trivial task: hence it will not be covered in the following. To limit the scope of our discussion, we focus on showing how Amalgame can be used to provide an acceptable answer to question (ii). Our proposed solution relies on dening an Amalgame programmable service to support the process of adding persistence to various languages. We briey explain and illustrate the use of an Amalgame programmable service to add persistence to a given language L. Actually, if L is a given Amalgame USL, it is already treated by Amalgame as a programmable service. A component which has been encapsulated using L as a USL is be compiled at packaging time according to the process dened in an associated extension component. Extension components associated to programmable language services usually amount to simple compile scripts. The above described model, currently supported in Amalgame, can be extended to support persistence extensions to a given language L. Let us assume that a persistent version of the language L, say LP, includes additional constructs for specifying a persistence model, or an underlying persistent store. Figure 5 below provides illustrative code fragments written in pseudo code for L and LP. We assume that LP supports the keyword "persistent" to specify objects which should be made persistent. LP also supports the keyword "use" to specify a selected underlying store. To dene LP as a Amalgame programmable service, we associate an extension component to LP which corresponds to a precompiler script. The LP precompiler translates the persistent source code written in LP into source code written in L. The resulting source code written in L performs calls to a PAM interface generated by the LP precompiler. In order to generate this PAM interface, the LP precompiler uses the Amalgame persistence 7
8 Language L item *p; p = new item; Language LP use "TIOOODB" persistent item *p; p = pnew item; Figure 5: Sample Persistence Extension to a Given Language module as a passive service as described in the rst section of this document. The generated PAM and its associated interface match the requirements originally specied using LP constructs. From a programming language standpoint, a PAM is a set of function calls that interpret persistent statements. Syntactically these statements depend on the model of persistence and the underlying language. For example, in the ODE system [AG89], persistent objects are referenced by pointers and allocated (and deallocated) in a manner similar to the transient objects. The syntax used in the LP code fragment in Figure 5 is compatible with the syntax proposed in the ODE system. At this stage the above described experiment is still under development. In particular, we are currently adding USL support to Amalgame. This support includes incremental language conversion tools which will be used to support the conversion between the L and LP languages as suggested above. Once these various extensions are operational, the Amalgame extensible architecture will provide an excellent environment for developing persistent systems. A particular class of such systems is referred to as Persistent Application Systems (PAS) in the database research community. PAS are characterized as providers of reliable persistence support, and cooperative work across various computers. A typical PAS uses various building blocks such as Graphical User Interfaces, DBMS, programming languages, integration and communication tools. 3 Future ProtoTech Developments In the last ProtoTech quarterly meeting [Gro94], the ProtoTech working groups isolated a certain number of research directions, and suggested a vision for the prototyping environment. To provide the ProtoTech community with an improved interoperablity platform, we intend to focus our research eort in the following directions: 1. Interoperability A prototyping environment requires support for heterogeneous components residing in a hub environment. This environment may use multiple underlying databases to store components specied in various hub languages. Applications resulting from the composition of such components involve type and execution models interoperability problems. These problems require further study and experimentation to help dene and validate upcoming interoperability standards 2. Algebra of compositions Using Amalgame, we have explored the construction of component-based applications. We took the approach of encapsulating software components in an objectoriented framework. This process is formally well understood as long as components 8
9 are viewed as static objects. However, software components interoperability requires an improved formal description when components are viewed as communicating objects at runtime. Existing related formal work such -calculus [Mil91] should be extended to help provide a better understanding of interoperability among heterogeneous software components. 3. Integrated testbed support As a result of our interoperability experiments, we realized the need for an integrated, extensible multidatabase platform to support prototyping and software engineering environments. In order to be used as a testbed for prototyping technology, such a platform should be tightly integrated with the hub environment. The platform should also provide an extensible set of services such as: language translation mechanisms, software buses, multidatabase support modules, packagers, etc. In addition, the platform should adhere to upcoming standards (OMG, ODMG, SQL-3, etc.), and should exploit commercial tools as much as possible References [AG89] [AS92] [Cat93] R. Agrawal and N. Gehani. Ode: The language and the data model. In Proceedings of the International Conference SIGMOD, Portland, Oregon, B. Anderson and D. Shasha. Persistent Linda: Linda + Transactions + Query Processing. Lecture Notes in Computer Science, 574, R.G.G. Cattell. The Object Database Standard: ODMG-93. Morgan Kaufmann, [CWF + 94] M. Carey, D. J. De Witt, M. Franklin, N. Hall, M. McAulie J. F. Naughton, and al. Shoring Up Persistent Applications. In Proceedings of the ACM SIG- MOD Conference, Minneapolis, May, 24{ ACM. [FK93a] [FK93b] [Fra93] J. C. Franchitti and R. King. A Language for Composing Heterogeneous, Persistent Applications. In Proceedings of the Workshop on Interoperability of Database Systems and Database Applications, Fribourg, Switzerland, October Springer-Verlag, LNCS.. J. C. Franchitti and R. King. Amalgame: A Tool for Creating Interoperating, Persistent, Heterogeneous Components. In Advanced Database Systems, pages 313{336. Springer-Verlag, LNCS #759, Nabil R. Adam and Bharat K. Bhargava (Eds.). J. C. Franchitti. Amalgame: An Extensible Toolkit for Composing Heterogeneous, Persistent Applications. PhD thesis, University of Colorado, Boulder, Department of Computer Science, University of Colorado, Boulder, CO 80309, [Gro94] The ProtoTech Working Groups. Minutes from the Prototech Environment Working Groups. In ProtoTech Workshop, Washington, DC,
10 [Mil91] R. Milner. The Ployadic -Calculus: a Tutorial. Technical report, Laboratory of Foundations for Computer Sciences, Department of Computer Science, University of Edinburgh, [OMG91] [Tea92] [WBT92] [Wie92] [ZL92] OMG. The Common Object Request Broker: Architecture and Specication. Technical Report , Revision 1.1, OMG, December Grin Team. GRIFFIN: Language Reference Manual. New York University, New York, NY 10012, October Version D. L. Wells, J. A. Blakeley, and G. W. Thompson. Architecture of an open object-oriented database system. Computer, 25(10):74{82, October G. Wiederhold. Objectives of the Persistent Object Base Program. In DARPA Software Technology Conference, pages 256{258, Los Angeles, CA, April, 28{ DARPA. S. B. Zdonik and D. E. Langworthy. The Brown Object Storage System. In DARPA Software Technology Conference, pages 275{276, Los Angeles, CA, April, 28{ DARPA. 10
Transparent Access to Legacy Data in Java. Olivier Gruber. IBM Almaden Research Center. San Jose, CA Abstract
Transparent Access to Legacy Data in Java Olivier Gruber IBM Almaden Research Center San Jose, CA 95120 Abstract We propose in this paper an extension to PJava in order to provide a transparent access
More informationStackable Layers: An Object-Oriented Approach to. Distributed File System Architecture. Department of Computer Science
Stackable Layers: An Object-Oriented Approach to Distributed File System Architecture Thomas W. Page Jr., Gerald J. Popek y, Richard G. Guy Department of Computer Science University of California Los Angeles
More informationOn Object Orientation as a Paradigm for General Purpose. Distributed Operating Systems
On Object Orientation as a Paradigm for General Purpose Distributed Operating Systems Vinny Cahill, Sean Baker, Brendan Tangney, Chris Horn and Neville Harris Distributed Systems Group, Dept. of Computer
More informationSAMOS: an Active Object{Oriented Database System. Stella Gatziu, Klaus R. Dittrich. Database Technology Research Group
SAMOS: an Active Object{Oriented Database System Stella Gatziu, Klaus R. Dittrich Database Technology Research Group Institut fur Informatik, Universitat Zurich fgatziu, dittrichg@ifi.unizh.ch to appear
More informationSteering. Stream. User Interface. Stream. Manager. Interaction Managers. Snapshot. Stream
Agent Roles in Snapshot Assembly Delbert Hart Dept. of Computer Science Washington University in St. Louis St. Louis, MO 63130 hart@cs.wustl.edu Eileen Kraemer Dept. of Computer Science University of Georgia
More informationAutomatic Code Generation for Non-Functional Aspects in the CORBALC Component Model
Automatic Code Generation for Non-Functional Aspects in the CORBALC Component Model Diego Sevilla 1, José M. García 1, Antonio Gómez 2 1 Department of Computer Engineering 2 Department of Information and
More informationand easily tailor it for use within the multicast system. [9] J. Purtilo, C. Hofmeister. Dynamic Reconguration of Distributed Programs.
and easily tailor it for use within the multicast system. After expressing an initial application design in terms of MIL specications, the application code and speci- cations may be compiled and executed.
More informationWeb site Image database. Web site Video database. Web server. Meta-server Meta-search Agent. Meta-DB. Video query. Text query. Web client.
(Published in WebNet 97: World Conference of the WWW, Internet and Intranet, Toronto, Canada, Octobor, 1997) WebView: A Multimedia Database Resource Integration and Search System over Web Deepak Murthy
More informationAdvanced Database Systems: From Monoliths to Unbundled Components. Abstract
110 Jurgen Zimmermann, Thomas Kudra Advanced Database Systems: From Monoliths to Unbundled Components Jurgen Zimmermann Thomas Kudra Abstract The unbundling of components from a (monolithic) database management
More informationto automatically generate parallel code for many applications that periodically update shared data structures using commuting operations and/or manipu
Semantic Foundations of Commutativity Analysis Martin C. Rinard y and Pedro C. Diniz z Department of Computer Science University of California, Santa Barbara Santa Barbara, CA 93106 fmartin,pedrog@cs.ucsb.edu
More informationTHE IMPLEMENTATION OF A DISTRIBUTED FILE SYSTEM SUPPORTING THE PARALLEL WORLD MODEL. Jun Sun, Yasushi Shinjo and Kozo Itano
THE IMPLEMENTATION OF A DISTRIBUTED FILE SYSTEM SUPPORTING THE PARALLEL WORLD MODEL Jun Sun, Yasushi Shinjo and Kozo Itano Institute of Information Sciences and Electronics University of Tsukuba Tsukuba,
More informationITCS Jing Yang 2010 Fall. Class 16: Object and Object- Relational Databases (ch.11) References
ITCS 3160 Jing Yang 2010 Fall Class 16: Object and Object- Relational Databases (ch.11) Slides come from: References Michael Grossniklaus, Moira Norrie (ETH Zürich): Object Oriented Databases (Version
More informationRance Cleaveland The Concurrency Factory is an integrated toolset for specication, simulation,
The Concurrency Factory Software Development Environment Rance Cleaveland (rance@csc.ncsu.edu) Philip M. Lewis (pml@cs.sunysb.edu) y Scott A. Smolka (sas@cs.sunysb.edu) y Oleg Sokolsky (oleg@ccc.com) y
More informationSolve the Data Flow Problem
Gaining Condence in Distributed Systems Gleb Naumovich, Lori A. Clarke, and Leon J. Osterweil University of Massachusetts, Amherst Computer Science Department University of Massachusetts Amherst, Massachusetts
More informationNatural Semantics [14] within the Centaur system [6], and the Typol formalism [8] which provides us with executable specications. The outcome of such
A Formal Executable Semantics for Java Isabelle Attali, Denis Caromel, Marjorie Russo INRIA Sophia Antipolis, CNRS - I3S - Univ. Nice Sophia Antipolis, BP 93, 06902 Sophia Antipolis Cedex - France tel:
More informationDo! environment. DoT
The Do! project: distributed programming using Java Pascale Launay and Jean-Louis Pazat IRISA, Campus de Beaulieu, F35042 RENNES cedex Pascale.Launay@irisa.fr, Jean-Louis.Pazat@irisa.fr http://www.irisa.fr/caps/projects/do/
More informationOutline. Computer Science 331. Information Hiding. What This Lecture is About. Data Structures, Abstract Data Types, and Their Implementations
Outline Computer Science 331 Data Structures, Abstract Data Types, and Their Implementations Mike Jacobson 1 Overview 2 ADTs as Interfaces Department of Computer Science University of Calgary Lecture #8
More informationSoftware Component Relationships. Stephen H. Edwards. Department of Computer Science. Virginia Polytechnic Institute and State University
Software Component Relationships Stephen H. Edwards Department of Computer Science Virginia Polytechnic Institute and State University 660 McBryde Hall Blacksburg, VA 24061-0106 Tel: (540)-231-7537 Email:
More informationConstruction of Application Generators Using Eli. Uwe Kastens, University of Paderborn, FRG. Abstract
Construction of Application Generators Using Eli Uwe Kastens, University of Paderborn, FRG Abstract Application generators are a powerful means for reuse of software design. They produce special purpose
More informationTECHNICAL RESEARCH REPORT
TECHNICAL RESEARCH REPORT A Resource Reservation Scheme for Synchronized Distributed Multimedia Sessions by W. Zhao, S.K. Tripathi T.R. 97-14 ISR INSTITUTE FOR SYSTEMS RESEARCH Sponsored by the National
More informationInter-Project Dependencies in Java Software Ecosystems
Inter-Project Dependencies Inter-Project Dependencies in Java Software Ecosystems in Java Software Ecosystems Antonín Procházka 1, Mircea Lungu 2, Karel Richta 3 Antonín Procházka 1, Mircea Lungu 2, Karel
More informationLanguage-Based Parallel Program Interaction: The Breezy Approach. Darryl I. Brown Allen D. Malony. Bernd Mohr. University of Oregon
Language-Based Parallel Program Interaction: The Breezy Approach Darryl I. Brown Allen D. Malony Bernd Mohr Department of Computer And Information Science University of Oregon Eugene, Oregon 97403 fdarrylb,
More informationA taxonomy of race. D. P. Helmbold, C. E. McDowell. September 28, University of California, Santa Cruz. Santa Cruz, CA
A taxonomy of race conditions. D. P. Helmbold, C. E. McDowell UCSC-CRL-94-34 September 28, 1994 Board of Studies in Computer and Information Sciences University of California, Santa Cruz Santa Cruz, CA
More informationGeneralized Document Data Model for Integrating Autonomous Applications
6 th International Conference on Applied Informatics Eger, Hungary, January 27 31, 2004. Generalized Document Data Model for Integrating Autonomous Applications Zsolt Hernáth, Zoltán Vincellér Abstract
More informationMigrating to Object Data Management
Migrating to Object Data Management Arthur M. Keller * Stanford University and Persistence Software Paul Turner Persistence Software Abstract. We discuss issues of migrating to object data management.
More informationA Boolean Expression. Reachability Analysis or Bisimulation. Equation Solver. Boolean. equations.
A Framework for Embedded Real-time System Design? Jin-Young Choi 1, Hee-Hwan Kwak 2, and Insup Lee 2 1 Department of Computer Science and Engineering, Korea Univerity choi@formal.korea.ac.kr 2 Department
More informationINTERNET-BASED COMPUTER-AIDED DESIGN: LEVERAGING PRODUCT MODEL, DISTRIBUTED OBJECT, AND WORLD WIDE WEB STANDARDS
PAPER REFERENCE: T191-4 INTERNET-BASED COMPUTER-AIDED DESIGN: LEVERAGING PRODUCT MODEL, DISTRIBUTED OBJECT, AND WORLD WIDE WEB STANDARDS Charles S. Han, John C. Kunz, Kincho H. Law EXTENDED ABSTRACT Non-Internet
More informationBrowsing in the tsimmis System. Stanford University. into requests the source can execute. The data returned by the source is converted back into the
Information Translation, Mediation, and Mosaic-Based Browsing in the tsimmis System SIGMOD Demo Proposal (nal version) Joachim Hammer, Hector Garcia-Molina, Kelly Ireland, Yannis Papakonstantinou, Jerey
More informationA practical and modular implementation of extended transaction models
Oregon Health & Science University OHSU Digital Commons CSETech January 1995 A practical and modular implementation of extended transaction models Roger Barga Calton Pu Follow this and additional works
More informationA Component-based Programming Model for Composite, Distributed Applications
NASA/CR-2001-210873 ICASE Report No. 2001-15 A Component-based Programming Model for Composite, Distributed Applications Thomas M. Eidson ICASE, Hampton, Virginia ICASE NASA Langley Research Center Hampton,
More informationThe Compositional C++ Language. Denition. Abstract. This document gives a concise denition of the syntax and semantics
The Compositional C++ Language Denition Peter Carlin Mani Chandy Carl Kesselman March 12, 1993 Revision 0.95 3/12/93, Comments welcome. Abstract This document gives a concise denition of the syntax and
More informationcomputer science department technical report no. 386 A Case Study of the Use of Formal Techniques to Achieve June 1993
indiana university computer science department technical report no 386 System Factorization in Codesign A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition Bhaskar Bose,
More informationDAVID M. MALON, EDWARD N. MAY. University of Illinois at Chicago Chicago, IL, USA. Lawrence Berkeley National Laboratory Berkeley, CA, USA
I b 111.4 Y Y I,,,.. ""...-..-----.. by a contractor of the US. Gwemment under contract No. W-31.104ENG-38. Accordingly, the s. Government retains a nonexclusive, royalty-free license to publish nr.-r
More informationVirtual Multi-homing: On the Feasibility of Combining Overlay Routing with BGP Routing
Virtual Multi-homing: On the Feasibility of Combining Overlay Routing with BGP Routing Zhi Li, Prasant Mohapatra, and Chen-Nee Chuah University of California, Davis, CA 95616, USA {lizhi, prasant}@cs.ucdavis.edu,
More informationEliminating Annotations by Automatic Flow Analysis of Real-Time Programs
Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs Jan Gustafsson Department of Computer Engineering, Mälardalen University Box 883, S-721 23 Västerås, Sweden jangustafsson@mdhse
More informationFor our sample application we have realized a wrapper WWWSEARCH which is able to retrieve HTML-pages from a web server and extract pieces of informati
Meta Web Search with KOMET Jacques Calmet and Peter Kullmann Institut fur Algorithmen und Kognitive Systeme (IAKS) Fakultat fur Informatik, Universitat Karlsruhe Am Fasanengarten 5, D-76131 Karlsruhe,
More informationDeveloping Software Applications Using Middleware Infrastructure: Role Based and Coordination Component Framework Approach
Developing Software Applications Using Middleware Infrastructure: Role Based and Coordination Component Framework Approach Ninat Wanapan and Somnuk Keretho Department of Computer Engineering, Kasetsart
More informationOODB. DEFCLASS Person () ((born :accessor born :type integer)...) DEFMETHOD getage ((self person)) (...) )
Toward Painless Polylingual Persistence Alan Kaplan and Jack C. Wileden Department of Computer Science University of Massachusetts Amherst, Massachusetts 01003 USA fkaplan,wiledeng@cs.umass.edu February
More informationThe Architecture of a System for the Indexing of Images by. Content
The Architecture of a System for the Indexing of s by Content S. Kostomanolakis, M. Lourakis, C. Chronaki, Y. Kavaklis, and S. C. Orphanoudakis Computer Vision and Robotics Laboratory Institute of Computer
More informationApplying the Semantic Web Layers to Access Control
J. Lopez, A. Mana, J. maria troya, and M. Yague, Applying the Semantic Web Layers to Access Control, IEEE International Workshop on Web Semantics (WebS03), pp. 622-626, 2003. NICS Lab. Publications: https://www.nics.uma.es/publications
More informationUtilizing Linux Kernel Components in K42 K42 Team modified October 2001
K42 Team modified October 2001 This paper discusses how K42 uses Linux-kernel components to support a wide range of hardware, a full-featured TCP/IP stack and Linux file-systems. An examination of the
More informationSCOS-2000 Technical Note
SCOS-2000 Technical Note MDA Study Prototyping Technical Note Document Reference: Document Status: Issue 1.0 Prepared By: Eugenio Zanatta MDA Study Prototyping Page: 2 Action Name Date Signature Prepared
More informationASPECT GENERATOR. Audit Trail WEAVER. Aspect Editor. Weaving Strategies Editor. Model Editor. Mapping. Instructions. Original Model (XMI)
Tool Support for Aspect-Oriented Design Francois Mekerke 1, Geri Georg 2, Robert France 3, and Roger Alexander 3 1 Ecole Nationale Superieure des Etudes et Techniques d'armement, Brest, France mekerkfr@ensieta.fr
More informationUser Interface Modelling Based on the Graph Transformations of Conceptual Data Model
User Interface Modelling Based on the Graph Transformations of Conceptual Data Model Martin Molhanec Department of e-technology, Faculty of Electrical Engineering Czech Technical University in Prague Technická
More informationDewayne E. Perry. Abstract. An important ingredient in meeting today's market demands
Maintaining Consistent, Minimal Congurations Dewayne E. Perry Software Production Research, Bell Laboratories 600 Mountain Avenue, Murray Hill, NJ 07974 USA dep@research.bell-labs.com Abstract. An important
More informationTowards a formal model of object-oriented hyperslices
Towards a formal model of object-oriented hyperslices Torsten Nelson, Donald Cowan, Paulo Alencar Computer Systems Group, University of Waterloo {torsten,dcowan,alencar}@csg.uwaterloo.ca Abstract This
More informationARQo: The Architecture for an ARQ Static Query Optimizer
ARQo: The Architecture for an ARQ Static Query Optimizer Markus Stocker, Andy Seaborne Digital Media Systems Laboratory HP Laboratories Bristol HPL-2007-92 June 26, 2007* semantic web, SPARQL, query optimization
More informationA Parallel Intermediate Representation based on. Lambda Expressions. Timothy A. Budd. Oregon State University. Corvallis, Oregon.
A Parallel Intermediate Representation based on Lambda Expressions Timothy A. Budd Department of Computer Science Oregon State University Corvallis, Oregon 97331 budd@cs.orst.edu September 20, 1994 Abstract
More informationUsing Architectural Models at Runtime: Research Challenges
Proceedings of the European Workshop on Software Architectures, St. Andrews, Scotland, May 2004. Using Architectural Models at Runtime: Research Challenges David Garlan and Bradley Schmerl Department of
More informationFlowBack: Providing Backward Recovery for Workflow Management Systems
FlowBack: Providing Backward Recovery for Workflow Management Systems Bartek Kiepuszewski, Ralf Muhlberger, Maria E. Orlowska Distributed Systems Technology Centre Distributed Databases Unit ABSTRACT The
More informationAdaptive Methods for Distributed Video Presentation. Oregon Graduate Institute of Science and Technology. fcrispin, scen, walpole,
Adaptive Methods for Distributed Video Presentation Crispin Cowan, Shanwei Cen, Jonathan Walpole, and Calton Pu Department of Computer Science and Engineering Oregon Graduate Institute of Science and Technology
More informationToward a Standard Rule Language for Semantic Integration of the DoD Enterprise
1 W3C Workshop on Rule Languages for Interoperability Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise A MITRE Sponsored Research Effort Suzette Stoutenburg 28 April 2005
More informationA Preprocessor Approach to Persistent C++ Cem Evrendilek, Asuman Dogac and Tolga Gesli
A Preprocessor Approach to Persistent C++ Cem Evrendilek, Asuman Dogac and Tolga Gesli Software Research and Development Center Scientific and Technical Research Council of Türkiye E-Mail:asuman@vm.cc.metu.edu.tr
More informationAn Architecture for Recoverable Interaction Between. Applications and Active Databases. Eric N. Hanson Roxana Dastur Vijay Ramaswamy.
An Architecture for Recoverable Interaction Between Applications and Active Databases (extended abstract) Eric N. Hanson Roxana Dastur Vijay Ramaswamy CIS Department University of Florida Gainseville,
More informationComparing the performance of object and object relational database systems on objects of varying complexity
Comparing the performance of object and object relational database systems on objects of varying complexity Kalantari, R and Bryant, CH http://dx.doi.org/10.1007/978 3 642 25704 9_8 Title Authors Type
More informationIntelligent Caching: Selecting, Representing, and Reusing Data in an Information Server. Marina del Rey, CA farens,
Intelligent Caching: Selecting, Representing, and Reusing Data in an Information Server Yigal Arens 1 and Craig A. Knoblock 1 2 1 Information Sciences Institute and 2 Department of Computer Science University
More informationAgent-Oriented Software Engineering
Agent-Oriented Software Engineering Lin Zuoquan Information Science Department Peking University lz@is.pku.edu.cn http://www.is.pku.edu.cn/~lz/teaching/stm/saswws.html Outline Introduction AOSE Agent-oriented
More informationDeveloping InfoSleuth Agents Using Rosette: An Actor Based Language
Developing InfoSleuth Agents Using Rosette: An Actor Based Language Darrell Woelk Microeclectronics and Computer Technology Corporation (MCC) 3500 Balcones Center Dr. Austin, Texas 78759 InfoSleuth Architecture
More informationBallista Design and Methodology
Ballista Design and Methodology October 1997 Philip Koopman Institute for Complex Engineered Systems Carnegie Mellon University Hamershlag Hall D-202 Pittsburgh, PA 15213 koopman@cmu.edu (412) 268-5225
More informationCIS 1.5 Course Objectives. a. Understand the concept of a program (i.e., a computer following a series of instructions)
By the end of this course, students should CIS 1.5 Course Objectives a. Understand the concept of a program (i.e., a computer following a series of instructions) b. Understand the concept of a variable
More informationAn Editor for the Rapid Prototyping of. Cadlab, Fuerstenalle 11, Paderborn, Germany
s3 s1 s2 s3 s23 s5 An Editor for the Rapid Prototyping of EXPRESS-G Models R. Zhao, W. Mueller, H.-J. Kaufmann, Th. Kern, F. Buijs Cadlab, Fuerstenalle 11, 33102 Paderborn, Germany 1 Introduction The new
More informationAn Object Model for Multiparadigm
1 of 7 03/02/2007 15:37 http://www.dmst.aueb.gr/dds/pubs/conf/1994-oopsla-multipar/html/mlom.html This is an HTML rendering of a working paper draft that led to a publication. The publication should always
More informationwebmethods EntireX for ESB: Leveraging Platform and Application Flexibility While Optimizing Service Reuse
December 2008 webmethods EntireX for ESB: Leveraging Platform and Application Flexibility While Optimizing Service Reuse By Chris Pottinger, Sr. Manager Product Development, and Juergen Lind, Sr. Product
More information100 Mbps DEC FDDI Gigaswitch
PVM Communication Performance in a Switched FDDI Heterogeneous Distributed Computing Environment Michael J. Lewis Raymond E. Cline, Jr. Distributed Computing Department Distributed Computing Department
More informationConcurrent Programming Constructs and First-Class Logic Engines
Concurrent Programming Constructs and First-Class Logic Engines Paul Tarau University of North Texas tarau@cs.unt.edu Multi-threading has been adopted in today s Prolog implementations as it became widely
More informationThe Design of an Open System with. Distributed Real-Time Requirements. Abstract
The Design of an Open System with Distributed Real-Time Requirements Roman Ginis and Victor Fay Wolfe Department of Computer Science University of Rhode Island Kingston, RI 02881 lastname@cs.uri.edu J.
More informationOntology-based Model Transformation
Ontology-based Model Transformation Stephan Roser Advisor: Bernhard Bauer Progamming of Distributed Systems Institute of Computer Science, University of Augsburg, Germany [roser,bauer]@informatik.uni-augsburg.de
More informationReconciling Dierent Semantics for Concept Denition (Extended Abstract) Giuseppe De Giacomo Dipartimento di Informatica e Sistemistica Universita di Ro
Reconciling Dierent Semantics for Concept Denition (Extended Abstract) Giuseppe De Giacomo Dipartimento di Informatica e Sistemistica Universita di Roma \La Sapienza" Via Salaria 113, 00198 Roma, Italia
More informationDHANALAKSHMI COLLEGE OF ENGINEERING, CHENNAI
DHANALAKSHMI COLLEGE OF ENGINEERING, CHENNAI Department of Computer Science and Engineering IT6801 - SERVICE ORIENTED ARCHITECTURE Anna University 2 & 16 Mark Questions & Answers Year / Semester: IV /
More informationBrian Drabble, Je Dalton and Austin Tate
Technical Report O-Plan Tasking Specication Brian Drabble, Je Dalton and Austin Tate Approved for public release; distribution is unlimited Articial Intelligence Applications Institute University of Edinburgh
More information2 Texts and Text Styles The texts considered for generation in the current stage of the AGILE project are simplied versions of routine passages occurr
Text Structuring in a Multilingual System for Generation of Instructions Ivana Kruij-Korbayova and Geert-Jan M. Kruij Institute of Formal and Applied Linguistics ( UFAL) Faculty of Mathematics and Physics,
More information(Preliminary Version 2 ) Jai-Hoon Kim Nitin H. Vaidya. Department of Computer Science. Texas A&M University. College Station, TX
Towards an Adaptive Distributed Shared Memory (Preliminary Version ) Jai-Hoon Kim Nitin H. Vaidya Department of Computer Science Texas A&M University College Station, TX 77843-3 E-mail: fjhkim,vaidyag@cs.tamu.edu
More informationCOMPOSABILITY, PROVABILITY, REUSABILITY (CPR) FOR SURVIVABILITY
AFRL-IF-RS-TR-2002-61 Final Technical Report April 2002 COMPOSABILITY, PROVABILITY, REUSABILITY (CPR) FOR SURVIVABILITY Kestrel Institute Sponsored by Defense Advanced Research Projects Agency DARPA Order
More informationArchitectural Blueprint
IMPORTANT NOTICE TO STUDENTS These slides are NOT to be used as a replacement for student notes. These slides are sometimes vague and incomplete on purpose to spark a class discussion Architectural Blueprint
More informationDistributed Scheduling for the Sombrero Single Address Space Distributed Operating System
Distributed Scheduling for the Sombrero Single Address Space Distributed Operating System Donald S. Miller Department of Computer Science and Engineering Arizona State University Tempe, AZ, USA Alan C.
More informationObject Query Standards by Andrew E. Wade, Ph.D.
Object Query Standards by Andrew E. Wade, Ph.D. ABSTRACT As object technology is adopted by software systems for analysis and design, language, GUI, and frameworks, the database community also is working
More informationASL: Hierarchy, Composition, Heterogeneity, and Multi-Granularity in Concurrent Object-Oriented Programming. Abstract
ASL: Hierarchy, Composition, Heterogeneity, and Multi-Granularity in Concurrent Object-Oriented Programming Alfredo Weitzenfeld Computer Science Department University of Southern California Los Angeles,
More informationChapter Outline. Chapter 2 Distributed Information Systems Architecture. Layers of an information system. Design strategies.
Prof. Dr.-Ing. Stefan Deßloch AG Heterogene Informationssysteme Geb. 36, Raum 329 Tel. 0631/205 3275 dessloch@informatik.uni-kl.de Chapter 2 Distributed Information Systems Architecture Chapter Outline
More informationAbstract formula. Net formula
{ PEP { More than a Petri Net Tool ABSTRACT Bernd Grahlmann and Eike Best The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL
More informationCHAPTER 1. Topic: UML Overview. CHAPTER 1: Topic 1. Topic: UML Overview
CHAPTER 1 Topic: UML Overview After studying this Chapter, students should be able to: Describe the goals of UML. Analyze the History of UML. Evaluate the use of UML in an area of interest. CHAPTER 1:
More informationIn the RasDaMan system, an object-oriented approach to the modeling, storage, manipulation, and retrieval of MDD in databases is followed which is dom
Object-Oriented Design of a Database Engine for Multidimensional Discrete Data P. Furtado 1, R. Ritsch, N. Widmann, P. Zoller, P. Baumann FORWISS (Bavarian Research Center for Knowledge-Based Systems)
More informationData integration supports seamless access to autonomous, heterogeneous information
Using Constraints to Describe Source Contents in Data Integration Systems Chen Li, University of California, Irvine Data integration supports seamless access to autonomous, heterogeneous information sources
More informationMeta-Model Guided Error Correction for UML Models
Final Thesis Meta-Model Guided Error Correction for UML Models by Fredrik Bäckström and Anders Ivarsson LITH-IDA-EX--06/079--SE 2006-12-13 Final Thesis Meta-Model Guided Error Correction for UML Models
More informationCustomized Software bus base-bus h/w & s/w system providing interconnection primitives
A Programming System for the Development of TINA Services Titos SARIDAKIS, Christophe BIDAN, Valerie ISSARNY IRISA/INRIA IRISA { Campus de Beaulieu, 35042 Rennes Cedex, FRANCE. Abstract Programming environments
More informationA new international standard for data validation and processing
A new international standard for data validation and processing Marco Pellegrino (marco.pellegrino@ec.europa.eu) 1 Keywords: Data validation, transformation, open standards, SDMX, GSIM 1. INTRODUCTION
More informationData Models: The Center of the Business Information Systems Universe
Data s: The Center of the Business Information Systems Universe Whitemarsh Information Systems Corporation 2008 Althea Lane Bowie, Maryland 20716 Tele: 301-249-1142 Email: Whitemarsh@wiscorp.com Web: www.wiscorp.com
More informationThe Object Model Overview. Contents. Section Title
The Object Model 1 This chapter describes the concrete object model that underlies the CORBA architecture. The model is derived from the abstract Core Object Model defined by the Object Management Group
More informationSoftware Engineering
Software Engineering chap 4. Software Reuse 1 SuJin Choi, PhD. Sogang University Email: sujinchoi@sogang.ac.kr Slides modified, based on original slides by Ian Sommerville (Software Engineering 10 th Edition)
More informationCity Research Online. Permanent City Research Online URL:
Kloukinas, C., Saridakis, T. & Issarny, V. (1999). Fault Tolerant Access to Dynamically Located Services for CORBA Applications. Paper presented at the Computer Applications in Industry and Engineering
More informationSynthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures
Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures Dietmar Schreiner 1,2 and Karl M. Göschka 1 1 Vienna University of Technology Institute of Information
More informationTowards Compositional Domain Specific Languages
Andreas Horst, Bernhard Rumpe Software Engineering RWTH Aachen University, Germany http://www.se-rwth.de/ 1 Introduction The deployment of Domain Specific Languages (DSL) and in particular Domain Specific
More informationSOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND. Queensland 4072 Australia TECHNICAL REPORT
SOFTWARE VERIFICATION RESEARCH CENTRE DEPARTMENT OF COMPUTER SCIENCE THE UNIVERSITY OF QUEENSLAND Queensland 4072 Australia TECHNICAL REPORT No. 94-2 Integration of semantic tools into document editors
More informationAn Annotation Tool for Semantic Documents
An Annotation Tool for Semantic Documents (System Description) Henrik Eriksson Dept. of Computer and Information Science Linköping University SE-581 83 Linköping, Sweden her@ida.liu.se Abstract. Document
More informationEnhancing Integrated Layer Processing using Common Case. Anticipation and Data Dependence Analysis. Extended Abstract
Enhancing Integrated Layer Processing using Common Case Anticipation and Data Dependence Analysis Extended Abstract Philippe Oechslin Computer Networking Lab Swiss Federal Institute of Technology DI-LTI
More informationOntology Extraction from Heterogeneous Documents
Vol.3, Issue.2, March-April. 2013 pp-985-989 ISSN: 2249-6645 Ontology Extraction from Heterogeneous Documents Kirankumar Kataraki, 1 Sumana M 2 1 IV sem M.Tech/ Department of Information Science & Engg
More informationKeyNote: Trust Management for Public-Key. 180 Park Avenue. Florham Park, NJ USA.
KeyNote: Trust Management for Public-Key Infrastructures Matt Blaze 1 Joan Feigenbaum 1 Angelos D. Keromytis 2 1 AT&T Labs { Research 180 Park Avenue Florham Park, NJ 07932 USA fmab,jfg@research.att.com
More informationOASIS: Architecture, Model and Management of Policy
OASIS: Architecture, Model and Management of Policy Ken Moody Computer Laboratory, University of Cambridge 1 Overview OASIS : Architecture, Model and Policy 1. background to the research people, projects
More informationFedX: A Federation Layer for Distributed Query Processing on Linked Open Data
FedX: A Federation Layer for Distributed Query Processing on Linked Open Data Andreas Schwarte 1, Peter Haase 1,KatjaHose 2, Ralf Schenkel 2, and Michael Schmidt 1 1 fluid Operations AG, Walldorf, Germany
More information3.4 Data-Centric workflow
3.4 Data-Centric workflow One of the most important activities in a S-DWH environment is represented by data integration of different and heterogeneous sources. The process of extract, transform, and load
More informationIdentity Management and Resource Allocation in the Network Virtualization Environment
Identity Management and Resource Allocation in the Network Virtualization Environment Mosharaf Chowdhury School of Computer Science University of Waterloo January 21, 2009 1 NETWORK VIRTUALIZATION January
More information