Web Services: A Process Algebra Approach

It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and verification of WSs using process algebras and their tools. We define a two-way mapping between abstract specifications written using these calculi and executable Web services written in BPEL4WS. Several choices are available: design and correct errors in BPEL4WS, using process algebra verification tools, or design and correct in process algebra and automatically obtaining the corresponding BPEL4WS code. The approaches can be combined. Process algebra are not useful only for temporal logic verification: we remark the use of simulation/bisimulation both for verification and for the hierarchical refinement design method. It is worth noting that our approach allows the use of any process algebra depending on the needs of the user at different levels (expressiveness, existence of reasoning tools, user expertise)

Gateway Modeling and Simulation Plan

This plan institutes direction across the Gateway Program and the Element Projects to ensure that Cross Program M&S are produced in a manner that (1) generate the artifacts required for NASA-STD-7009 compliance, (2) ensures interoperability of M&S exchanged and integrated across the program and, (3) drives integrated development efforts to provide cross-domain integrated simulation of the Gateway elements, space environment, and operational scenarios. This direction is flowed down via contractual enforcement to prime contractors and includes both the GMS requirements specified in this plan and the NASASTD- 7009 derived requirements necessary for compliance. Grounding principles for management of Gateway Models and Simulations (M&S) are derived from the Columbia Accident Investigation Board (CAIB) report and the Diaz team report, A Renewed Commitment to Excellence. As an outcome of these reports, and in response to Action 4 of the Diaz team report, the NASA Standard for Models and Simulations, NASA-STD-7009 was developed. The standard establishes M&S requirements for development and use activities to ensure proper capture and communication of M&S pedigree and credibility information to Gateway program decision makers. Through the course of the Gateway program life cycle M&S will be heavily relied upon to conduct analysis, test products, support operations activities, enable informed decision making and ultimately to certify the Gateway with an acceptable level of risk to crew and mission. To reduce risk associated with M&S influenced decisions, this plan applies the NASA-STD-7009 requirements to produce the artifacts that support credibility assessments and ensure the information is communicated to program management

Engineering Workflow: The Process in Product Data Technology

The prevailing paradigm for enterprises in the new decade is undoubtedly speed. This enterprise view is driven by the availability of e-business technology that enables new forms of collaboration between companies. The rapid developments in e-business also have an impact on the future of engineering organizations. This paper focuses on the early phases of a product’s life cycle, i.e. between initial concept and release to manufacturing. New engineering workflow capabilities are presented, that have been tailored to speed up the engineering of new products

A requirements engineering framework for integrated systems development for the construction industry

Computer Integrated Construction (CIC) systems are computer environments through which collaborative working can be undertaken. Although many CIC systems have been developed to demonstrate the communication and collaboration within the construction projects, the uptake of CICs by the industry is still inadequate. This is mainly due to the fact that research methodologies of the CIC development projects are incomplete to bridge the technology transfer gap. Therefore, defining comprehensive methodologies for the development of these systems and their effective implementation on real construction projects is vital. Requirements Engineering (RE) can contribute to the effective uptake of these systems because it drives the systems development for the targeted audience. This paper proposes a requirements engineering approach for industry driven CIC systems development. While some CIC systems are investigated to build a broad and deep contextual knowledge in the area, the EU funded research project, DIVERCITY (Distributed Virtual Workspace for Enhancing Communication within the Construction Industry), is analysed as the main case study project because its requirements engineering approach has the potential to determine a framework for the adaptation of requirements engineering in order to contribute towards the uptake of CIC systems

BIMing the architectural curricula: integrating Building Information Modelling (BIM) in architectural education

Building Information Modelling (BIM) reflects the current heightened transformation within the Architectural, Engineering and Construction (AEC) Industry and the Facilities and Management (FM) sector, offering a host of benefits from increased efficiency, accuracy, speed, co-ordination, consistency, energy analysis, project cost reduction etc to various stake holders from owners to architects, engineers, contractors and other built environment professionals. Many countries around the world are responding to this paradigm shift including the United Kingdom (UK). The Cabinet office took the decision in 2011 to make the use of collaborative 3D BIM technology mandatory for all public sector construction contracts by 2016 (Cabinet Office, 2011). According to Smith and Tardif, despite certain myths and misconceptions surrounding BIM, its rate of implementation has been much faster in comparison to the availability of professionals skilled in use of BIM, thus creating a skill gap in the design and construction industry (Smith and Tardif, cited in Barison and Santos, 2010a). This article aims at bridging the gap between the graduate skill sets and the changing needs of the profession. The research methodology adopted consists of thoroughly reviewing the existing literature in this subject area coupled with carrying out a survey of accredited Schools of Architecture in the UK. The analysis of the survey questionnaire results shows the extent to which BIM is currently being taught and identifies the barriers where its implementation has either been slow or not yet started. The paper highlights the fact that there has been considerable delay in the successful integration of BIM in the Schools of Architecture in the UK, thus emphasising the need for expeditiously training and preparing students in the use of BIM making them ready to effectively perform in a BIM enabled work arena

Grid-enabling FIRST: Speeding up simulation applications using WinGrid

The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrastructures and applications have traditionally been geared towards dedicated, centralized, high performance clusters running on UNIX flavour operating systems (commonly referred to as cluster-based grid computing). This can be contrasted with desktop-based grid computing which refers to the aggregation of non-dedicated, de-centralized, commodity PCs connected through a network and running (mostly) the Microsoft Windowstrade operating system. Large scale adoption of such Windowstrade-based grid infrastructure may be facilitated via grid-enabling existing Windows applications. This paper presents the WinGridtrade approach to grid enabling existing Windowstrade based commercial-off-the-shelf (COTS) simulation packages (CSPs). Through the use of a case study developed in conjunction with Ford Motor Company, the paper demonstrates how experimentation with the CSP Witnesstrade and FIRST can achieve a linear speedup when WinGridtrade is used to harness idle PC computing resources. This, combined with the lessons learned from the case study, has encouraged us to develop the Web service extensions to WinGridtrade. It is hoped that this would facilitate wider acceptance of WinGridtrade among enterprises having stringent security policies in place

Systems integrated human engineering on the Navy's rapid acquisition of manufactured parts/test and integration facility

Human Engineering in many projects is at best a limited support function. In this Navy project the Human Engineering function is an integral component of the systems design and development process. Human Engineering is a member of the systems design organization. This ensures that people considerations are: (1) identified early in the project; (2) accounted for in the specifications; (3) incorporated into the design; and (4) the tested product meets the needs and expectations of the people while meeting the overall systems requirements. The project exemplifies achievements that can be made by the symbiosis between systems designers, engineers and Human Engineering. This approach increases Human Engineering's effectiveness and value to a project because it becomes an accepted, contributing team member. It is an approach to doing Human Engineering that should be considered for most projects. The functional and organizational issues giving this approach strength are described

Balancing operating revenues and occupied refurbishment costs 1: problems of defining project success factors and selecting site planning methods

In planning the refurbishment of railway stations the spatial needs of the contractor and of the ongoing business stakeholders have to be balanced. A particular concern is the disruptive effect of construction works upon pedestrian movement. RaCMIT (Refurbishment and Customer Movement Integration Tool) was a research project aimed at addressing this problem. The objective of the research was to develop a decision protocol facilitating optimisation of overall project value to the client's business. This paper (the first of two) presents a framework for considering public disruption in occupied refurbishment using two case studies in large railway stations as examples. It briefly describes new tools which (combined with existing techniques) assist decision making in the management of disruption. It links strategic with sitebased decision making and suggests how public disruption may be treated as a variable to be jointly optimised along with traditional criteria such as time, cost and quality. Research observations as well as current literature suggest that for overall decision-making, opportunities may be lost (under current practice) for minimising joint project cost/revenue disruption, and, for spatio-temporal site decision-making, effective and efficient tools now exist to model both sides of the construction site boundary

Informatics: the fuel for pharmacometric analysis

The current informal practice of pharmacometrics as a combination art and science makes it hard to appreciate the role that informatics can and should play in the future of the discipline and to comprehend the gaps that exist because of its absence. The development of pharmacometric informatics has important implications for expediting decision making and for improving the reliability of decisions made in model-based development. We argue that well-defined informatics for pharmacometrics can lead to much needed improvements in the efficiency, effectiveness, and reliability of the pharmacometrics process. The purpose of this paper is to provide a description of the pervasive yet often poorly appreciated role of informatics in improving the process of data assembly, a critical task in the delivery of pharmacometric analysis results. First, we provide a brief description of the pharmacometric analysis process. Second, we describe the business processes required to create analysis-ready data sets for the pharmacometrician. Third, we describe selected informatic elements required to support the pharmacometrics and data assembly processes. Finally, we offer specific suggestions for performing a systematic analysis of existing challenges as an approach to defi ning the next generation of pharmacometric informatics