Formalising responsibility modelling for automatic analysis

Modelling the structure of social-technical systems as a basis for informing software system design is a difficult compromise. Formal methods struggle to capture the scale and complexity of the heterogeneous organisations that use technical systems. Conversely, informal approaches lack the rigour needed to inform the software design and construction process or enable automated analysis. We revisit the concept of responsibility modelling, which models social technical systems as a collection of actors who discharge their responsibilities, whilst using and producing resources in the process. Responsibility modelling is formalised as a structured approach for socio-technical system requirements specification and modelling, with well-defined semantics and support for automated structure and validity analysis. The effectiveness of the approach is demonstrated by two case studies of software engineering methodologies

Knowledge modelling with the open source tool myCBR

Building knowledge intensive Case-Based Reasoning applications requires tools that support this on-going process between domain experts and knowledge engineers. In this paper we will introduce how the open source tool myCBR 3 allows for flexible knowledge elicitation and formalisation form CBR and non CBR experts. We detail on myCBR 3 's versatile approach to similarity modelling and will give an overview of the Knowledge Engineering workbench, providing the tools for the modelling process. We underline our presentation with three case studies of knowledge modelling for technical diagnosis and recommendation systems using myCBR 3

Application of shape grammar theory to underground rail station design and passenger evacuation

This paper outlines the development of a computer design environment that generates station ‘reference’ plans for analysis by designers at the project feasibility stage. The developed program uses the theoretical concept of shape grammar, based upon principles of recognition and replacement of a particular shape to enable the generation of station layouts. The developed novel shape grammar rules produce multiple plans of accurately sized infrastructure faster than by traditional means. A finite set of station infrastructure elements and a finite set of connection possibilities for them, directed by regulations and the logical processes of station usage, allows for increasingly complex composite shapes to be automatically produced, some of which are credible station layouts at ‘reference’ block plan level. The proposed method of generating shape grammar plans is aligned to London Underground standards, in particular to the Station Planning Standards and Guidelines 5th edition (SPSG5 2007) and the BS-7974 fire safety engineering process. Quantitative testing is via existing evacuation modelling software. The prototype system, named SGEvac, has both the scope and potential for redevelopment to any other country’s design legislation

Economic Growth and Poverty: Does Formalisation of Informal Enterprises Matter?

The informal sector (IS) plays a significant role in developing countries viz. the provision of employment, income and supplying ignored markets. However, working and employment conditions within the sector are still poor. Its expansion and changing structures have thus drawn the attention of scholars and international policy makers to the factors hindering its formalisation. Among the factors addressed are the high costs of formalisation and the lack of incentives for operating in the formal sector. A variety of approaches have been adopted by different stakeholders to overcome these factors. This paper assesses these approaches along with the factors related to informality-formality trade-off and the issue of formalisation as a solution for firms’ growth. By focussing on the problems faced by informal enterprises and the literature which addresses the options for accelerating the formalisation of informal enterprises, the paper will briefly summarise the weaknesses of these approaches.Informal sector, small enterprises, formal and informal institution, cost of formalisation, informality, formality, poverty, economic growth

Economic Growth and Poverty: Does Formalisation of Informal Enterprises Matter?

The informal sector (IS) in developing countries plays significant roles viz., the provision of employment, incomes and supplying ignored markets. However, the working and employment conditions in the sector are still poor. Thus, its expansion and changing structures have drawn the attention of scholars and international policy makers on factors hindering its formalisation. Among the addressed factors include high costs of formalisation and lack of incentives to operate in the formal sector. To overcome these factors, various approaches have been adopted by different stakeholders. The paper assesses these approaches, factors related to informality-formality trade-off and the question of formalisation as a solution for firms’ growth. Looking at the problems faced by informal enterprises and the literature addressing options to accelerate the formalisation of informal enterprises, the paper briefly summarises the weaknesses of these approaches.informal sector; small enterprises; formal and informal institutions; informality; poverty; economic growth

Set-based design of mechanical systems with design robustness integrated

This paper presents a method for parameter design of mechanical products based on a set-based approach. Set-based concurrent engineering emphasises on designing in a multi-stakeholder environment with concurrent involvement of the stakeholders in the design process. It also encourages flexibility in design through communication in terms of ranges instead of fixed point values and subsequent alternative solutions resulting from intersection of these ranges. These alternative solutions can then be refined and selected according to the designers’ preferences and clients’ needs. This paper presents a model and tools for integrated flexible design that take into account the manufacturing variations as well as the design objectives for finding inherently robust solutions using QCSP transformation through interval analysis. In order to demonstrate the approach, an example of design of rigid flange coupling with a variable number of bolts and a choice of bolts from ISO M standard has been resolved and demonstrated

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