A Multidatabase Platform to Support. Prototyping Environments. Omar Boucelma, Jean-Claude Franchitti, and Roger King.

Size: px
Start display at page:

Download "A Multidatabase Platform to Support. Prototyping Environments. Omar Boucelma, Jean-Claude Franchitti, and Roger King."

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 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 information

Stackable 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. 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 information

On Object Orientation as a Paradigm for General Purpose. Distributed Operating Systems

On 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 information

SAMOS: 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 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 information

Steering. Stream. User Interface. Stream. Manager. Interaction Managers. Snapshot. Stream

Steering. 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 information

Automatic Code Generation for Non-Functional Aspects in the CORBALC Component Model

Automatic 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 information

and 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. [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 information

Web site Image database. Web site Video database. Web server. Meta-server Meta-search Agent. Meta-DB. Video query. Text query. Web client.

Web 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 information

Advanced Database Systems: From Monoliths to Unbundled Components. Abstract

Advanced 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 information

to automatically generate parallel code for many applications that periodically update shared data structures using commuting operations and/or manipu

to 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 information

THE 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 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 information

ITCS Jing Yang 2010 Fall. Class 16: Object and Object- Relational Databases (ch.11) References

ITCS 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 information

Rance Cleaveland The Concurrency Factory is an integrated toolset for specication, simulation,

Rance 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 information

Solve the Data Flow Problem

Solve 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 information

Natural Semantics [14] within the Centaur system [6], and the Typol formalism [8] which provides us with executable specications. The outcome of such

Natural 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 information

Do! environment. DoT

Do! 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 information

Outline. Computer Science 331. Information Hiding. What This Lecture is About. Data Structures, Abstract Data Types, and Their Implementations

Outline. 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 information

Software 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 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 information

Construction 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 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 information

TECHNICAL RESEARCH REPORT

TECHNICAL 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 information

Inter-Project Dependencies in Java Software Ecosystems

Inter-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 information

Language-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. 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 information

A taxonomy of race. D. P. Helmbold, C. E. McDowell. September 28, University of California, Santa Cruz. Santa Cruz, CA

A 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 information

Generalized Document Data Model for Integrating Autonomous Applications

Generalized 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 information

Migrating to Object Data Management

Migrating 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 information

A Boolean Expression. Reachability Analysis or Bisimulation. Equation Solver. Boolean. equations.

A 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 information

INTERNET-BASED COMPUTER-AIDED DESIGN: LEVERAGING PRODUCT MODEL, DISTRIBUTED OBJECT, AND WORLD WIDE WEB STANDARDS

INTERNET-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 information

Browsing in the tsimmis System. Stanford University. into requests the source can execute. The data returned by the source is converted back into the

Browsing 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 information

A practical and modular implementation of extended transaction models

A 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 information

A Component-based Programming Model for Composite, Distributed Applications

A 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 information

The Compositional C++ Language. Denition. Abstract. This document gives a concise denition of the syntax and semantics

The 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 information

computer science department technical report no. 386 A Case Study of the Use of Formal Techniques to Achieve June 1993

computer 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 information

DAVID M. MALON, EDWARD N. MAY. University of Illinois at Chicago Chicago, IL, USA. Lawrence Berkeley National Laboratory Berkeley, CA, USA

DAVID 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 information

Virtual 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 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 information

Eliminating Annotations by Automatic Flow Analysis of Real-Time Programs

Eliminating 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 information

For 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

For 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 information

Developing 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 Developing Software Applications Using Middleware Infrastructure: Role Based and Coordination Component Framework Approach Ninat Wanapan and Somnuk Keretho Department of Computer Engineering, Kasetsart

More information

OODB. DEFCLASS Person () ((born :accessor born :type integer)...) DEFMETHOD getage ((self person)) (...) )

OODB. 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 information

The Architecture of a System for the Indexing of Images by. Content

The 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 information

Applying the Semantic Web Layers to Access Control

Applying 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 information

Utilizing Linux Kernel Components in K42 K42 Team modified October 2001

Utilizing 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 information

SCOS-2000 Technical Note

SCOS-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 information

ASPECT GENERATOR. Audit Trail WEAVER. Aspect Editor. Weaving Strategies Editor. Model Editor. Mapping. Instructions. Original Model (XMI)

ASPECT 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 information

User Interface Modelling Based on the Graph Transformations of Conceptual Data Model

User 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 information

Dewayne E. Perry. Abstract. An important ingredient in meeting today's market demands

Dewayne 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 information

Towards a formal model of object-oriented hyperslices

Towards 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 information

ARQo: The Architecture for an ARQ Static Query Optimizer

ARQo: 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 information

A 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. 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 information

Using Architectural Models at Runtime: Research Challenges

Using 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 information

FlowBack: Providing Backward Recovery for Workflow Management Systems

FlowBack: 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 information

Adaptive Methods for Distributed Video Presentation. Oregon Graduate Institute of Science and Technology. fcrispin, scen, walpole,

Adaptive 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 information

Toward a Standard Rule Language for Semantic Integration of the DoD Enterprise

Toward 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 information

A 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 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 information

An 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. 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 information

Comparing 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 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 information

Intelligent 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. 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 information

Agent-Oriented Software Engineering

Agent-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 information

Developing InfoSleuth Agents Using Rosette: An Actor Based Language

Developing 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 information

Ballista Design and Methodology

Ballista 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 information

CIS 1.5 Course Objectives. a. Understand the concept of a program (i.e., a computer following a series of instructions)

CIS 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 information

An Editor for the Rapid Prototyping of. Cadlab, Fuerstenalle 11, Paderborn, Germany

An 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 information

An Object Model for Multiparadigm

An 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 information

webmethods EntireX for ESB: Leveraging Platform and Application Flexibility While Optimizing Service Reuse

webmethods 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 information

100 Mbps DEC FDDI Gigaswitch

100 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 information

Concurrent Programming Constructs and First-Class Logic Engines

Concurrent 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 information

The Design of an Open System with. Distributed Real-Time Requirements. Abstract

The 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 information

Ontology-based Model Transformation

Ontology-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 information

Reconciling 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 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 information

DHANALAKSHMI COLLEGE OF ENGINEERING, CHENNAI

DHANALAKSHMI 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 information

Brian Drabble, Je Dalton and Austin Tate

Brian 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 information

2 Texts and Text Styles The texts considered for generation in the current stage of the AGILE project are simplied versions of routine passages occurr

2 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

(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 information

COMPOSABILITY, PROVABILITY, REUSABILITY (CPR) FOR SURVIVABILITY

COMPOSABILITY, 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 information

Architectural Blueprint

Architectural 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 information

Distributed Scheduling for the Sombrero Single Address Space Distributed Operating System

Distributed 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 information

Object Query Standards by Andrew E. Wade, Ph.D.

Object 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 information

ASL: Hierarchy, Composition, Heterogeneity, and Multi-Granularity in Concurrent Object-Oriented Programming. Abstract

ASL: 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 information

Chapter Outline. Chapter 2 Distributed Information Systems Architecture. Layers of an information system. Design strategies.

Chapter 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 information

Abstract formula. Net formula

Abstract 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 information

CHAPTER 1. Topic: UML Overview. CHAPTER 1: Topic 1. Topic: UML Overview

CHAPTER 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 information

In the RasDaMan system, an object-oriented approach to the modeling, storage, manipulation, and retrieval of MDD in databases is followed which is dom

In 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 information

Data integration supports seamless access to autonomous, heterogeneous information

Data 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 information

Meta-Model Guided Error Correction for UML Models

Meta-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 information

Customized Software bus base-bus h/w & s/w system providing interconnection primitives

Customized 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 information

A new international standard for data validation and processing

A 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 information

Data Models: The Center of the Business Information Systems Universe

Data 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 information

The Object Model Overview. Contents. Section Title

The 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 information

Software Engineering

Software 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 information

City Research Online. Permanent City Research Online URL:

City 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 information

Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures

Synthesizing 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 information

Towards Compositional Domain Specific Languages

Towards 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 information

SOFTWARE 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 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 information

An Annotation Tool for Semantic Documents

An 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 information

Enhancing 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 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 information

Ontology Extraction from Heterogeneous Documents

Ontology 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 information

KeyNote: Trust Management for Public-Key. 180 Park Avenue. Florham Park, NJ USA.

KeyNote: 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 information

OASIS: Architecture, Model and Management of Policy

OASIS: 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 information

FedX: A Federation Layer for Distributed Query Processing on Linked Open Data

FedX: 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 information

3.4 Data-Centric workflow

3.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 information

Identity Management and Resource Allocation in the Network Virtualization Environment

Identity 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