Design software architecture models using ontology

Software architecture plays an essential role in the high level description of a system design, where the structure and communication are emphasized. Despite its importance in the software engineering process, the lack of formal description and automated verification hinders the development of good software architecture models. In this paper, we present an approach to support the rigorous design and verification of software architecture models using the semantic web technology. We view software architecture models as ontology representations, where their structures and communication constraints are captured by the Web Ontology Language (OWL) and the Semantic Web Rule Language (SWRL). Specific configurations on the design are represented as concrete instances of the ontology, to which their structures and dynamic behaviors must conform. Furthermore, ontology reasoning tools can be applied to perform various automated verification on the design to ensure correctness, such as consistency checking, style recognition, and behavioral inference.

Digital control system programming from process control diagrams

A graphical process control language has been developed as a means of defining process control software. The user configures a block diagram describing the required control system, from a menu of functional blocks, using a graphics software system with graphics terminal. Additions may be made to the menu of functional blocks, to extend the system capability, and a group of blocks may be defined as a composite block. This latter feature provides for segmentation of the overall system diagram and the repeated use of the same group of blocks within the system. The completed diagram is analyzed by a graphics compiler which generates the programs and data structure to realise the run-time software. The run-time software has been designed as a data-driven system which allows for modifications at the run-time level in both parameters and system configuration. Data structures have been specified to ensure efficient execution and minimal storage requirements in the final control software. Machine independence has been accomodated as far as possible using CORAL 66 as the high level language throughout the entire system; the final run-time code being generated by a CORAL 66 compiler appropriate to the target processor.

Cost and time control of construction project: inhibiting factors and mitigating measures in practice

Despite the availability of various control techniques and project control software many construction projects still do not achieve their cost and time objectives. Research in this area so far has mainly been devoted to identifying causes of cost and time overruns. There is limited research geared towards studying factors inhibiting the ability of practitioners to effectively control their projects. To fill this gap, a survey was conducted on 250 construction project organizations in the UK, which was followed by face-to-face interviews with experienced practitioners from 15 of these organizations. The common factors that inhibit both time and cost control during construction projects were first identified. Subsequently 90 mitigating measures have been developed for the top five leading inhibiting factors—design changes, risks/uncertainties, inaccurate evaluation of project time/duration, complexities and non-performance of subcontractors were recommended. These mitigating measures were classified as: preventive, predictive, corrective and organizational measures. They can be used as a checklist of good practice and help project managers to improve the effectiveness of control of their projects.

Using architecture models to support the generation and operation of component-based adaptive systems

Modelling architectural information is particularly important because of the acknowledged crucial role of software architecture in raising the level of abstraction during development. In the MDE area, the level of abstraction of models has frequently been related to low-level design concepts. However, model-driven techniques can be further exploited to model software artefacts that take into account the architecture of the system and its changes according to variations of the environment. In this paper, we propose model-driven techniques and dynamic variability as concepts useful for modelling the dynamic fluctuation of the environment and its impact on the architecture. Using the mappings from the models to implementation, generative techniques allow the (semi) automatic generation of artefacts making the process more efficient and promoting software reuse. The automatic generation of configurations and reconfigurations from models provides the basis for safer execution. The architectural perspective offered by the models shift focus away from implementation details to the whole view of the system and its runtime change promoting high-level analysis. © 2009 Springer Berlin Heidelberg.

Architecting self-aware software systems

Contemporary software systems are becoming increasingly large, heterogeneous, and decentralised. They operate in dynamic environments and their architectures exhibit complex trade-offs across dimensions of goals, time, and interaction, which emerges internally from the systems and externally from their environment. This gives rise to the vision of self-aware architecture, where design decisions and execution strategies for these concerns are dynamically analysed and seamlessly managed at run-time. Drawing on the concept of self-awareness from psychology, this paper extends the foundation of software architecture styles for self-adaptive systems to arrive at a new principled approach for architecting self-aware systems. We demonstrate the added value and applicability of the approach in the context of service provisioning to cloud-reliant service-based applications.

Exchanging uncertainty: interoperable geostatistics?

Traditionally, geostatistical algorithms are contained within specialist GIS and spatial statistics software. Such packages are often expensive, with relatively complex user interfaces and steep learning curves, and cannot be easily integrated into more complex process chains. In contrast, Service Oriented Architectures (SOAs) promote interoperability and loose coupling within distributed systems, typically using XML (eXtensible Markup Language) and Web services. Web services provide a mechanism for a user to discover and consume a particular process, often as part of a larger process chain, with minimal knowledge of how it works. Wrapping current geostatistical algorithms with a Web service layer would thus increase their accessibility, but raises several complex issues. This paper discusses a solution to providing interoperable, automatic geostatistical processing through the use of Web services, developed in the INTAMAP project (INTeroperability and Automated MAPping). The project builds upon Open Geospatial Consortium standards for describing observations, typically used within sensor webs, and employs Geography Markup Language (GML) to describe the spatial aspect of the problem domain. Thus the interpolation service is extremely flexible, being able to support a range of observation types, and can cope with issues such as change of support and differing error characteristics of sensors (by utilising descriptions of the observation process provided by SensorML). XML is accepted as the de facto standard for describing Web services, due to its expressive capabilities which allow automatic discovery and consumption by ‘naive’ users. Any XML schema employed must therefore be capable of describing every aspect of a service and its processes. However, no schema currently exists that can define the complex uncertainties and modelling choices that are often present within geostatistical analysis. We show a solution to this problem, developing a family of XML schemata to enable the description of a full range of uncertainty types. These types will range from simple statistics, such as the kriging mean and variances, through to a range of probability distributions and non-parametric models, such as realisations from a conditional simulation. By employing these schemata within a Web Processing Service (WPS) we show a prototype moving towards a truly interoperable geostatistical software architecture.

Downregulation of ubiquitin-dependent proteolysis by eicosapentaenoic acid in acute starvation

A number of acute wasting conditions are associated with an upregulation of the ubiquitin-proteasome system in skeletal muscle. Eicosapentaenoic acid (EPA) is effective in attenuating the increased protein catabolism in muscle in cancer cachexia, possibly due to inhibition of 15-hydroxyeicosatetraenoic acid (15-HETE) formation. To determine if a similar pathway is involved in other catabolic conditions, the effect of EPA on muscle protein degradation and activation of the ubiquitin-proteasome pathway has been determined during acute fasting in mice. When compared with a vehicle control group (olive oil) there was a significant decrease in proteolysis of the soleus muscles of mice treated with EPA after starvation for 24 h, together with an attenuation of the proteasome 'chymotryptic-like' enzyme activity and the induction of the expression of the 20S proteasome α-subunits, the 19S regulator and p42, an ATPase subunit of the 19S regulator in gastrocnemius muscle, and the ubiquitin-conjugating enzyme E214k. The effect was not shown with the related (n-3) fatty acid docosahexaenoic acid (DHA) or with linoleic acid. However, 2,3,5trimethyl-6-(3-pyridylmethyl)1,4-benzoquinone (CV-6504), an inhibitor of 5-, 12- and 15-lipoxygenases also attenuated muscle protein catabolism, proteasome 'chymotryptic-like' enzyme activity and expression of proteasome 20S α-subunits in soleus muscles from acute fasted mice. These results suggest that protein catabolism in starvation and cancer cachexia is mediated through a common pathway, which is inhibited by EPA and is likely to involve a lipoxygenase metabolite as a signal transducer. © 2001 Academic Press.

Effects of glutathione, N-acetyl-cysteine, α-lipoic acid and dihydrolipoic acid on the cytotoxicity of a 2-pyridylcarboxamidrazone antimycobacterial agent in human mononuclear leucocytes in vitro

A series of antioxidants was used to explore the cytotoxicity of one particularly toxic antimycobacterial 2-pyridylcarboxamidrazone anti-tuberculosis agent against human mononuclear leucocytes (MNL), in comparison with isoniazid (INH) to aid future compound design. INH caused a significant reduction of nearly 40% in cell recovery compared with control (P < 0.0001), although the co-incubation with either glutathione (GSH, 1 mM) or (NAC, 1 mM) showed abolition of INH toxicity. In contrast, the addition of GSH or NAC 1 h after INH failed to protect the cells from INH toxicity (P < 0.0001). The 2-pyridyl-carboxamidrazone 'Compound 1' caused a 50% reduction in cell recovery compared with control (P < 0.001), although this was abolished by the presence of either GSH or NAC. A 1 h post incubation with either NAC or GSH after Compound 1 addition failed to protect the cells from toxicity (P < 0.001). Co-administration of lipoic acid (LA) abolished Compound 1-mediated toxicity, although again, this effect did not occur after LA addition 1 h post incubation with Compound 1 (P < 0.001). However, co-administration of dihydrolipoic acid (DHLA) prevented Compound 1-mediated cell death when incubated with the compound and also after 1 h of Compound 1 alone. Pre-treatment with GSH, then removal of the antioxidant resulted in abolition of Compound 1 toxicity (vehicle control, 63.6 ± 16.7 versus Compound 1 alone 26.1 ± 13.6% versus GSH pre-treatment, 65.7 ± 7.3%). In a cell-free incubation, NMR analysis revealed that GSH does not react with Compound 1, indicating that this agent is not likely to directly deplete membrane thiols. Compound 1's MNL toxicity is more likely to be linked with changes in cell membrane conformation, which may induce consequent thiol depletion that is reversible by exogenous thiols. © 2004 Elsevier B.V. All rights reserved.

The application of robotics to the turbine blade encapsulation process

A survey of the existing state-of-the-art of turbine blade manufacture highlights two operations that have not been automated namely that of loading of a turbine blade into an encapsulation die, and that of removing a machined blade from the encapsulation block. The automation of blade decapsulation has not been pursued. In order to develop a system to automate the loading of an encapsulation die a prototype mechanical handling robot has been designed together with a computer controlled encapsulation die. The robot has been designed as a mechanical handling robot of cylindrical geometry, suitable for use in a circular work cell. It is the prototype for a production model to be called `The Cybermate'. The prototype robot is mechanically complete but due to unforeseen circumstances the robot control system is not available (the development of the control system did not form a part of this project), hence it has not been possible to fully test and assess the robot mechanical design. Robot loading of the encapsulation die has thus been simulated. The research work with regard to the encapsulation die has focused on the development of computer controlled, hydraulically actuated, location pins. Such pins compensate for the inherent positional inaccuracy of the loading robot and reproduce the dexterity of the human operator. Each pin comprises a miniature hydraulic cylinder, controlled by a standard bidirectional flow control valve. The precision positional control is obtained through pulsing of the valves under software control, with positional feedback from an 8-bit transducer. A test-rig comprising one hydraulic location pin together with an opposing spring loaded pin has demonstrated that such a pin arrangement can be controlled with a repeatability of +/-.00045'. In addition this test-rig has demonstrated that such a pin arrangement can be used to gauge and compensate for the dimensional error of the component held between the pins, by offsetting the pin datum positions to allow for the component error. A gauging repeatability of +/- 0.00015' was demonstrated. This work has led to the design and manufacture of an encapsulation die comprising ten such pins and the associated computer software. All aspects of the control software except blade gauging and positional data storage have been demonstrated. Work is now required to achieve the accuracy of control demonstrated by the single pin test-rig, with each of the ten pins in the encapsulation die. This would allow trials of the complete loading cycle to take place.

Oxygen tension modulates the cytokine response of oral epithelium to periodontal bacteria

Background: There is an inverse relationship between pocket depth and pocket oxygen tension with deep pockets being associated with anaerobic bacteria. However, little is known about how the host tissues respond to bacteria under differing oxygen tensions within the periodontal pocket. Aim: To investigate the effect of different oxygen tensions upon nuclear factor-kappa B (NF-?B) activation and the inflammatory cytokine response of oral epithelial cells when exposed to nine species of oral bacteria. Materials and Methods: H400 oral epithelial cells were equilibrated at 2%, 10% or 21% oxygen. Cells were stimulated with heat-killed oral bacteria at multiplicity of infection 10:1, Escherichia coli lipopolysaccharide (15 µg/ml) or vehicle control. Interleukin-8 (IL-8) and tumour necrosis factor-alpha (TNF-a) levels were measured by enzyme-linked immunosorbent assay and NF-?B activation was measured by reporter vector or by immunohistochemical analysis. Results: Tannerella forsythensis, Porphyromonas gingivalis and Prevotella intermedia elicited the greatest epithelial NF-?B activation and cytokine responses. An oxygen-tension-dependent trend in cytokine production was observed with the highest IL-8 and TNF-a production observed at 2% oxygen and lowest at 21% oxygen. Conclusions: These data demonstrate a greater pro-inflammatory host response and cell signalling response to bacteria present in more anaerobic conditions, and hypersensitivity of epithelial cells to pro-inflammatory stimuli at 2% oxygen, which may have implications for disease pathogenesis and/or therapy.

Preliminary in vitro toxicological evaluation of a series of 2-pyridylcarboxamidrazone candidate anti-tuberculosis compounds III

We have evaluated the cytotoxicity of a series of novel anti-tubercular 2-pyridyl carboxamidrazones through incubation with human mononuclear leucocytes (MNL), with and without a rat microsomal metabolising system. Isoniazid (INH), the closest structurally related agent, was used as a positive control. Incubation of the 3-benzyloxy-benzylidene, dimethylpropyl-benzylidene and 4-phenyl-benzylidene with MNL showed no significant toxicity in comparison with either INH or DMSO vehicle control. However, the 4-N,N-dimethylamino-1-naphthylidene derivative exerted more than sevenfold greater toxicity compared with INH, while the 4-N,N-dimethylamino-1-naphthylidene, 2-benzyloxy-3-methoxy-benzylidene, 2-t-butylthio-benzylidene and 4-i-propyl-benzylidene derivatives showed toxicity which ranged from five to fourfold that of INH. In the presence of either rat microsomes with or without NADPH, the 3-benzyloxy-benzylidene, dimethylpropyl-benzylidene and 4-phenyl-benzylidene derivatives showed no metabolically-mediated cytotoxicity. The latter two derivatives showed a combination of low toxicity and considerable efficacy against Mycobacteria tuberculosis in vitro and show promise for future development. © 2001 Elsevier Science B.V.

Requirements reflection:requirements as runtime entities

Computational reflection is a well-established technique that gives a program the ability to dynamically observe and possibly modify its behaviour. To date, however, reflection is mainly applied either to the software architecture or its implementation. We know of no approach that fully supports requirements reflection- that is, making requirements available as runtime objects. Although there is a body of literature on requirements monitoring, such work typically generates runtime artefacts from requirements and so the requirements themselves are not directly accessible at runtime. In this paper, we define requirements reflection and a set of research challenges. Requirements reflection is important because software systems of the future will be self-managing and will need to adapt continuously to changing environmental conditions. We argue requirements reflection can support such self-adaptive systems by making requirements first-class runtime entities, thus endowing software systems with the ability to reason about, understand, explain and modify requirements at runtime. © 2010 ACM.

Integrated Dimensional Variation Management in the Digital Factory

This paper describes how dimensional variation management could be integrated throughout design, manufacture and verification, to improve quality while reducing cycle times and manufacturing cost in the Digital Factory environment. Initially variation analysis is used to optimize tolerances during product and tooling design and also results in the creation of a simplified representation of product key characteristics. This simplified representation can then be used to carry out measurability analysis and process simulation. The link established between the variation analysis model and measurement processes can subsequently be used throughout the production process to automatically update the variation analysis model in real time with measurement data. This ‘live’ simulation of variation during manufacture will allow early detection of quality issues and facilitate autonomous measurement assisted processes such as predictive shimming. A study is described showing how these principles can be demonstrated using commercially available software combined with a number of prototype applications operating as discrete modules. The commercially available modules include Catia/Delmia for product and process design, 3DCS for variation analysis and Spatial Analyzer for measurement simulation. Prototype modules are used to carry out measurability analysis and instrument selection. Realizing the full potential of Metrology in the Digital Factory will require that these modules are integrated and software architecture to facilitate this is described. Crucially this integration must facilitate the use of realtime metrology data describing the emerging assembly to update the digital model.

Voltage control on an uninhabited autonomous vehicle electrical distribution system

More-electric vehicle technology is becoming prevalent in a number of transportation systems because of its ability to improve efficiency and reduce costs. This paper examines the specific case of an Uninhabited Autonomous Vehicle (UAV), and the system topology and control elements required to achieve adequate dc distribution voltage bus regulation. Voltage control methods are investigated and a droop control scheme is implemented on the system. Simulation results are also presented.

The autonomous navigation of an electric vehicle

A navigation and positioning system for an electric automatic guided vehicle has been designed and implemented on an industrial pallet truck. The system includes an optical sensor mounted on the vehicle, capable of recognizing special markers at a distance of 0.3m. Software implemented in a z-80 microprocessor controls the sensor, performs all data processing and contains the decision making processes necessary for the vehicle to navigate its way to its task location. A second microprocessor is used to control the vehicle's drive motors under instruction from the navigation unit, to accurately position the vehicle at its destination. The sensor reliably recognises markers at vehicle speeds up to 1ms- 1, and the system has been integrated into a multiprocessor controlled wire-guidance system and applied to a prototype vehicle.