Interfacing Oz with the PCTE OMS

This paper details our experiment interfacing Oz with the Object Management System (OMS) of PCTE. Oz is a process-centered multi-user software development environment. PCTE is a specification which defines a language independent interface providing support mechanisms for software engineering environments (SEE) populated with CASE tools. Oz is, in theory, a SEE that can be built (or extended) using the services provided by PCTE. Oz historically has had a native OMS component whereas the PCTE OMS is an open data repository with an API for external software tools. Our experiment focused on changing Oz to use the PCTE OMS. This paper describes how several Oz components were changed in order to make the Oz server interface with the PCTE OMS. The resulting system of our experiment is an environment that has process control and integration services provided by Oz, data integration services provided by PCTE, and tool integration services provided by both. We discusses in depth the concurrency control problems that arise in such an environment and their solutions. The PCTE implementation used in our experiment is the Emeraude PCTE V 12.5.1 supplied by Transtar Software Incorporation

PROSET — A Language for Prototyping with Sets

We discuss the prototyping language PROSET(Prototyping with Sets) as a language for experimental and evolutionary prototyping, focusing its attention on algorithm design. Some of PROSET’s features include generative communication, flexible exception handling and the integration of persistence. A discussion of some issues pertaining to the compiler and the programming environment conclude the pape

Study of Tools Interoperability

Interoperability of tools usually refers to a combination of methods and techniques that address the problem of making a collection of tools to work together. In this study we survey different notions that are used in this context: interoperability, interaction and integration. We point out relation between these notions, and how it maps to the interoperability problem. We narrow the problem area to the tools development in academia. Tools developed in such environment have a small basis for development, documentation and maintenance. We scrutinise some of the problems and potential solutions related with tools interoperability in such environment. Moreover, we look at two tools developed in the Formal Methods and Tools group1, and analyse the use of different integration techniques

Open environments to support systems engineering tool integration: A study using the Portable Common Tool Environment (PCTE)

A study of computer engineering tool integration using the Portable Common Tool Environment (PCTE) Public Interface Standard is presented. Over a 10-week time frame, three existing software products were encapsulated to work in the Emeraude environment, an implementation of the PCTE version 1.5 standard. The software products used were a computer-aided software engineering (CASE) design tool, a software reuse tool, and a computer architecture design and analysis tool. The tool set was then demonstrated to work in a coordinated design process in the Emeraude environment. The project and the features of PCTE used are described, experience with the use of Emeraude environment over the project time frame is summarized, and several related areas for future research are summarized

ELISA, a demonstrator environment for information systems architecture design

This paper describes an approach of reusability of software engineering technology in the area of ground space system design. System engineers have lots of needs similar to software developers: sharing of a common data base, capitalization of knowledge, definition of a common design process, communication between different technical domains. Moreover system designers need to simulate dynamically their system as early as possible. Software development environments, methods and tools now become operational and widely used. Their architecture is based on a unique object base, a set of common management services and they host a family of tools for each life cycle activity. In late '92, CNES decided to develop a demonstrative software environment supporting some system activities. The design of ground space data processing systems was chosen as the application domain. ELISA (Integrated Software Environment for Architectures Specification) was specified as a 'demonstrator', i.e. a sufficient basis for demonstrations, evaluation and future operational enhancements. A process with three phases was implemented: system requirements definition, design of system architectures models, and selection of physical architectures. Each phase is composed of several activities that can be performed in parallel, with the provision of Commercial Off the Shelves Tools. ELISA has been delivered to CNES in January 94, currently used for demonstrations and evaluations on real projects (e.g. SPOT4 Satellite Control Center). It is on the way of new evolutions

An approach to impact analysis in software maintenance

Impact analysis is a software maintenance activity, which consists of determining the scope of a requested change, as a basis for planning and implementing it. After a change request has been specified (change understanding) and the initial part of the system to be changed has been identified (change localization), impact analysis helps to understand consequences of the change on other parts of the system. Induced changes, also named ripple effects, among software components are detected. Most existing approaches perform impact analysis for changes occurring at the code level. In this thesis, concepts developed to perform impact analysis at the code level are applied to trace changes occurring at the design level. The method consists of proposing an activity model addressing the different steps of impact analysis and a data model on which propagations of changes can be traced. The method is validated with a case study applied to a system from the aerospace field. The tools we developed on PCTE help for consistency checks in HOOD based designs during editing. Our data-model based on an Entity Relationship notation describes a way to model HOOD diagrams in PCTE and further on to propagate changes on the repository. Examples chosen address the design phase of a simple engine system. We show that addressing modifications at a higher level of abstraction than the code eases understanding and localization of changes. It also limits the propagation of ripple effects (i.e., unexpected behaviour of the system) by detecting secondary changes at an earlier stage

Synthesis of semiconductor nanoparticles and characterization of physical and optical properties

Nanoparticles are of great interest to a broad scientific community. Because of quantum effects, nanoscale materials exhibit many unique properties that may be exploited for biomedical, defense, and energy applications. Extensive synthetic effort is described for II-VI semiconductor materials. The materials were morphologically confined to zero- or one-dimensional structures. The nanoparticles discussed herein present similar chemical, optical, and physical properties to previously synthesized materials; however, the processes used to obtain these particles are more environmentally benign and use safer chemicals for the researcher and the laboratory environment. These nanomaterials have been extensively characterized to ascertain high quality optical, morphological, and electronic properties as well as viability with biomolecular and cellular conjugation assays

Carbon and Boron Nitride Nanotube Fabricated Supercapacitors

The fabrication of supercapacitor devices consisting of boron nitride nanotubes (BNNTs) and carbon nanotubes (CNTs) has great theoretical capabilities of high specific capacitance, energy density, and power density. Various methods of dispersion and deposition are utilized to optimize such supercapacitors with BNNTs and CNTs, and also to produce devices with only CNTs to use as a benchmark. In addition to capacitance measurements, BNNTs that were exposed to nitric acid were compared to fabricated devices without acid exposure. Dispersion has been accomplished through the trial of many solvents and surfactants for both CNTs and BNNTs. Deposition techniques that are utilized rely heavily on vacuum filtration and spray deposition techniques. The resultants of fabrication have been tested with capacitance voltage measurements and transmission electron microscopic images are used to analyze solutions. The highest specific capacitance was found in a fabricated device without including BNNTs, as a device fabricated from CNTs as the electrode, a polymer electrolyte, a dielectric separator of nafion, and foil contacts, had a specific capacitance of 0.51 mF/g. This device also had 0.13 Wh/kg for energy density, and 3.02 kW/kg for power density. However, despite this measurement of highest specific capacitance achieved without using BNNTs, a device made of only CNTs, BNNTs, foil contacts, and electrolyte, had the highest energy density of 0.15 Wh/kg and power density of 4.29 kW/kg. This device also had one of the highest measured specific capacitances of 0.27 mF/g. The CNTs and BNNTs were chosen to be used together because of costs and availability and their ideal structures for use as an electrode and a separator, respectively. Both materials have lattice structures that can be rolled into tubes to create bonds and also strengthen the material between walls. The porous structures also allow an electrolyte to seep into the pores to promote charge separation. Carbon is an ideal electrode and boron nitride has high dielectric properties suited for a capacitor separator. The devices showed consistent capacitance characteristics with higher power density than energy density. The techniques used for fabrication, measurement, and further optimization are mentioned throughout this paper. Cleaning BNNTs in nitric acid proved to promote better physical and electrical properties for the resultant solutions and devices

Using metamodels and workflows in a software maintenance environment

The objective of Software Engineering Environments (SEE) is to allow the integrated and automatic management and control of a specific process or group of processes of the software (ISO/IEC, 2000). In broader terms, the MANTIS project aims to define and construct an integral environment for the management of Software Maintenance Process (SMP). Due to the large number of different aspects that have to be considered, we have defined an architecture with 4 conceptual levels. Each of these levels incorporates concepts at a specific level of abstraction and generality. We present a proposal of a metamodel for the SMP based on the ontology formulated by Kitchenham et al.(1999) and in the Workflow Reference Model of the Workflow Management Coalition (WFMC, 1995). In so doing our aim is to incorporate in the said ontology, the aspects of process enaction that the workflow technology resolves in what we consider to be a satisfactory fashion.Eje: Ingeniería de softwareRed de Universidades con Carreras en Informática (RedUNCI

Systematic design of cell membrane coating to improve tumor targeting of nanoparticles

Cell membrane (CM) coating technology is increasingly being applied in nanomedicine, but the entire coating procedure including adsorption, rupture, and fusion is not completely understood. Previously, we showed that the majority of biomimetic nanoparticles (NPs) were only partially coated, but the mechanism underlying this partial coating remains unclear, which hinders the further improvement of the coating technique. Here, we show that partial coating is an intermediate state due to the adsorption of CM fragments or CM vesicles, the latter of which could eventually be ruptured under external force. Such partial coating is difficult to self-repair to achieve full coating due to the limited membrane fluidity. Building on our understanding of the detailed coating process, we develop a general approach for fixing the partial CM coating: external phospholipid is introduced as a helper to increase CM fluidity, promoting the final fusion of lipid patches. The NPs coated with this approach have a high ratio of full coating (similar to 23%) and exhibit enhanced tumor targeting ability in comparison to the NPs coated traditionally (full coating ratio of similar to 6%). Our results provide a mechanistic basis for fixing partial CM coating towards enhancing tumor accumulation.Peer reviewe