Framework Programmable Platform for the Advanced Software Development Workstation: Preliminary system design document

The Framework Programmable Software Development Platform (FPP) is a project aimed at combining effective tool and data integration mechanisms with a model of the software development process in an intelligent integrated software environment. Guided by the model, this system development framework will take advantage of an integrated operating environment to automate effectively the management of the software development process so that costly mistakes during the development phase can be eliminated. The focus here is on the design of components that make up the FPP. These components serve as supporting systems for the Integration Mechanism and the Framework Processor and provide the 'glue' that ties the FPP together. Also discussed are the components that allow the platform to operate in a distributed, heterogeneous environment and to manage the development and evolution of software system artifacts

Introducing Dynamic Behavior in Amalgamated Knowledge Bases

The problem of integrating knowledge from multiple and heterogeneous sources is a fundamental issue in current information systems. In order to cope with this problem, the concept of mediator has been introduced as a software component providing intermediate services, linking data resources and application programs, and making transparent the heterogeneity of the underlying systems. In designing a mediator architecture, we believe that an important aspect is the definition of a formal framework by which one is able to model integration according to a declarative style. To this purpose, the use of a logical approach seems very promising. Another important aspect is the ability to model both static integration aspects, concerning query execution, and dynamic ones, concerning data updates and their propagation among the various data sources. Unfortunately, as far as we know, no formal proposals for logically modeling mediator architectures both from a static and dynamic point of view have already been developed. In this paper, we extend the framework for amalgamated knowledge bases, presented by Subrahmanian, to deal with dynamic aspects. The language we propose is based on the Active U-Datalog language, and extends it with annotated logic and amalgamation concepts. We model the sources of information and the mediator (also called supervisor) as Active U-Datalog deductive databases, thus modeling queries, transactions, and active rules, interpreted according to the PARK semantics. By using active rules, the system can efficiently perform update propagation among different databases. The result is a logical environment, integrating active and deductive rules, to perform queries and update propagation in an heterogeneous mediated framework.Comment: Other Keywords: Deductive databases; Heterogeneous databases; Active rules; Update

Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems

International audienceThe purpose of this paper is to contribute to a unified formal framework for complex systems modeling. To this aim, we define a unified semantics for systems including integration operators. We consider complex systems as functional blackboxes (with internal states), whose structure and behaviors can be constructed through a recursive integration of heterogeneous components. We first introduce formal definitions of time (allowing to deal uniformly with both continuous and discrete times) and data (allowing to handle heterogeneous data), and introduce a generic synchronization mechanism for dataflows. We then define a system as a mathematical object characterized by coupled functional and states behaviors. This definition is expressive enough to capture the functional behavior of any real system with sequential transitions. We finally provide formal operators for integrating systems and show that they are consistent with the classical definitions of those operators on transfer functions which model real systems

Modular Heterogeneous Multi-Agent Control Framework with Integrated Payloads

Small unmanned aircraft are being used in an increasing number of applications ranging from emergency response to parcel delivery. Many of these applications are benefited when employed as a multiple-vehicle operation. Such operations often require tight cooperation between heterogeneous vehicles and often depend on integration with sensors and payloads. Multi-agent control algorithms can be implemented to control such systems but often require the development of an underlying vehicle communications framework in addition to a sensors and payloads communications framework. This thesis presents a single unified modular framework, named Clark, and supports heterogeneous multi-agent control and sensor/payload integration. Clark provides a wireless network between agents without relying on pre-existing communications infrastructure, and provides software interfaces for connecting to a variety of payloads. This thesis first reviews small unmanned aircraft systems (SUAS), multi-agent control, multi-agent control testbeds, and wireless networking technologies used on SUAS. Systems engineering is then employed to develop an Identified Need, Concept of Operations (ConOps), and requirements. All Defined, Derived, and Design Requirements are explained and justified. Some requirements are highlighted to demonstrate key features of the Clark framework. The software architecture is explained in detail in a top-down approach. Hardware is selected for prototyping and shown to meet the requirements. Bench tests, ground tests, and flight tests are conducted to verify the framework’s ability to communicate between agents and affect control. Ground testing includes a multi-agent cooperative mission while flight testing features two and three agent missions. Test results are presented and demonstrate the candidacy of Clark as a modular heterogeneous multi-agent control framework with integrated payloads

A Unified Approach for the Integration of Distributed Heterogeneous Software Components

Proceedings of the 2001 Monterey Workshop (Sponsored by DARPA, ONR, ARO and AFOSR), pp: 109-119, Monterey, CA, 2001Distributed systems are omnipresent these days. Creating efficient and robust software for such systems is a highly complex task. One possible approach to developing distributed software is based on the integration of heterogeneous sofwtare components that are scattered across many machines. In this paper, a comprehensive framework that will allow a seamless integration of distributed heterogeneous software components is proposed. This framework involves: a) a metamodel for components and associated hierarchical setup for indicating the contracts and constraints of the components. b) an automatic generation of glues and wrappers, based on a designer's specifications, for achieving interoperability, c) a formal mechanism for precisely describing the meta-model, and d) a formalization of quality of service (QoS) offered by each component and ensemble of components. A case study from the domain of distributed information filtering is described in the context of this framework.This material is based upon work supported by, or in part by, the U.S. Office of Naval Research under award number N00014-01-1-0746. This material is based upon work supported by, or in part by, the U.S. Army Research Laboratory and the U.S. Army Research Office under contract/grant number 40473-MA