Search results

“The offshore installations and wells (design and construction, etc.) regulations” (DCR) requires that all safety‐critical elements in both the system and software domains be assessed and evaluated. In this paper, following a brief review of offshore system (application) safety analysis, offshore software safety analysis is introduced. It is followed by a study of combining offshore system safety analysis with software safety analysis. The typical standards for the development of safety‐critical systems in several industrial sectors are discussed with particular reference to formal methods. A generic offshore software safety analysis framework is proposed with discussions. Formal methods for producing safety requirements specifications are then discussed. A case study is used to demonstrate safety requirements modelling for safety‐critical software development. Finally recommendations for further development in offshore software safety analysis are given.

The purpose of this paper is to provide an analytical model for low carbon supplier development. This study is focused on the level of investment and collaboration decisions pertaining to emission reduction.

The authors’ model includes a fuzzy c-means (FCM) clustering algorithm and a fuzzy formal concept analysis. First, a set of suppliers were classified according to their carbon performances through the FCM clustering algorithm. Then, the fuzzy formal concepts were derived from a set of fuzzy formal contexts through an intersection-based method. These fuzzy formal concepts provide the relative level of investments and collaboration decisions for each identified supplier cluster. A case from the Indian renewable energy sector was used for illustration of the proposed analytical model.

The proposed model and case illustration may help manufacturing firms to collaborate with their suppliers for improving their carbon performances.

The study contributes to the low carbon supply chain management literature by identifying the decision criteria of investments toward low carbon supplier development. It also provides an analytical model of collaboration for low carbon supplier development. Though the purpose of the study is to illustrate the proposed analytical model, it would have been better if the model was empirically validated.

Though the earlier studies on green supplier development program evaluation have considered a set of criteria to decide whether or not to invest on suppliers, these are silent on the relative level of investment required for a given set of suppliers. This study aims to fulfill this gap by providing an analytical model that will help a manufacturing firm to invest and collaborate with its suppliers for improving their carbon performance.

This paper explores how risks are managed in project practice beyond formalized risk management processes by applying the lens of actuality research to project risk management.

The paper follows a qualitative multimethod research approach utilizing literature review, interviews, observations and document analysis. The paper is based on three case studies and one interview study in project organizations facing green transition challenges.

Little work exists to reveal how risk management is actually done by project practitioners, and why. Few studies report on contextual variation and consider confounding factors beyond a “one size fits all” formalized explicit risk management process, despite ample evidence that risks are managed outside the formal process. The study documents that informal and/or implicit risk management activities add significantly more value.

The paper contributes a literature review of research into the actuality of project risk management, a sense-making framework of how risks are managed in practice beyond the formal, explicit risk-management process by including informal and/or implicit risk management activities, an empirical study of risk-management practice highlighting that informal and/or implicit risk-management activities dominate in practice, a discussion of why risks are managed outside formalized, explicit process and a research agenda to enable the design of impactful project risk-management practices.

The scientific community shares a heritage of knowledge generated by several different fields of research. Identifying how scientific interest evolves is relevant for recording and understanding research trends and society’s demands.

This article presents SciBR-M, a novel method to identify scientific interest evolution from bibliographic material based on Formal Concept Analysis. The SciBR-M aims to describe the thematic evolution surrounding a field of research. The method begins by hierarchically organising sub-domains within the field of study to identify the themes that are more relevant. After this organisation, we apply a temporal analysis that extracts implication rules with minimal premises and a single conclusion, which are helpful to observe the evolution of scientific interest in a specific field of study. To analyse the results, we consider support, confidence, and lift metrics to evaluate the extracted implications.

The authors applied the SciBR-M method for the Educational Data Mining (EDM) field considering 23 years since the first publications. In the digital libraries context, SciBR-M allows the integration of the academy, education, and cultural memory, in relation to a study domain.

Cultural changes lead to the production of new knowledge and to the evolution of scientific interest. This knowledge is part of the scientific heritage of society and should be transmitted in a structured and organised form to future generations of scientists and the general public.

The method, based on Formal Concept Analysis, identifies the evolution of scientific interest to a field of study. SciBR-M hierarchically organises bibliographic material to different time periods and explores this hierarchy from proper implication rules. These rules permit identifying recurring themes, i.e. themes subset that received more attention from the scientific community during a specific period. Analysing these rules, it is possible to identify the temporal evolution of scientific interest in the field of study. This evolution is observed by the emergence, increase or decrease of interest in topics in the domain. The SciBR-M method can be used to register and analyse the scientific, cultural heritage of a field of study. In addition, the authors can use the method to stimulate the process of creating knowledge and innovation and encouraging the emergence of new research.

The purpose of this paper is to explore and explicate documentation ideals parallel to information policy, and by means of this analysis demonstrate how the concept “documentation ideals” is an analytical tool for engaging with political and institutional contexts of information practices.

The paper is based on a case study of documentation ideals in a debate about quality in archaeological documentation. The methodology draws on idea analysis, and on the science and technology studies’ controversy studies approach.

The paper explicates three documentation ideals, how these ideals allocate responsibility for documentation to different actors, how the ideals assign roles to practitioners, and how the ideals point to different beneficiaries of the documentation. Furthermore, the analysis highlights ideas about two different means to reach the documentation ideals.

The case’s debate reflects opinions of Northern European professionals.

The paper illuminates how documentation ideals tweak and even contest formal information policy in claims on the documentation and on the practitioners doing documentation.

Documentation ideal analysis is crucial as a complement to formal information policy analysis and to analysis guided by practice theory in attempts to understand the contexts of information practices and documentation, insights central for developing information literacies.

This chapter examines Karl Polanyi's critique of formalism in economics and his case for a more institutional economics based upon a reconstitution of the facts of economic life on as wide an historical basis as possible. The argument below reviews Polanyi's argument with regard to the relation between economic anthropology and comparative economics, the contrast between the formalist and substantive approaches to economic analysis, the notion of an economistic fallacy, the most important limitations of the conventional formalist economics approach, and the nature and import of the new departure that Polanyi envisioned.

The purpose of this paper is to merge the ontologies that remove the redundancy and improve the storage efficiency. The count of ontologies developed in the past few eras is noticeably very high. With the availability of these ontologies, the needed information can be smoothly attained, but the presence of comparably varied ontologies nurtures the dispute of rework and merging of data. The assessment of the existing ontologies exposes the existence of the superfluous information; hence, ontology merging is the only solution. The existing ontology merging methods focus only on highly relevant classes and instances, whereas somewhat relevant classes and instances have been simply dropped. Those somewhat relevant classes and instances may also be useful or relevant to the given domain. In this paper, we propose a new method called hybrid semantic similarity measure (HSSM)-based ontology merging using formal concept analysis (FCA) and semantic similarity measure.

The HSSM categorizes the relevancy into three classes, namely highly relevant, moderate relevant and least relevant classes and instances. To achieve high efficiency in merging, HSSM performs both FCA part and the semantic similarity part.

The experimental results proved that the HSSM produced better results compared with existing algorithms in terms of similarity distance and time. An inconsistency check can also be done for the dissimilar classes and instances within an ontology. The output ontology will have set of highly relevant and moderate classes and instances as well as few least relevant classes and instances that will eventually lead to exhaustive ontology for the particular domain.

In this paper, a HSSM method is proposed and used to merge the academic social network ontologies; this is observed to be an extremely powerful methodology compared with other former studies. This HSSM approach can be applied for various domain ontologies and it may deliver a novel vision to the researchers.

The HSSM is not applied for merging the ontologies in any former studies up to the knowledge of authors.

A meta-evaluation is an assessment of evaluation practices. Meta-evaluations include assessments of validity and usefulness of two or more studies that focus on the same issues. Every performance audit is grounded explicitly or implicitly in one or more theories of program evaluation. A deep understanding of alternative theories of program evaluation is helpful to gain clarity about sound auditing practices. We present a review of several theories of program evaluation.

This study includes a meta-evaluation of seven government audits on the efficiency and effectiveness of tourism departments and programs. The seven tourism-marketing performance audits are program evaluations for: Missouri, North Carolina, Tennessee, Minnesota, Australia, and two for Hawaii. The majority of these audits are negative performance assessments. Similarly, although these audits are more useful than none at all, the central conclusion of the meta-evaluation is that most of these audit reports are inadequate assessments. These audits are too limited in the issues examined; not sufficiently grounded in relevant evaluation theory and practice; and fail to include recommendations, that if implemented, would result in substantial increases in performance.

The aim of this paper is threefold: first, to examine the content of supply chain quality management (SCQM); second, to identify the structure of SCQM; and third, to show ways for finding improvement opportunities and organizing individual institution's resources/actions into collective performance outcomes.

To meet the goals of this work, the paper uses abductive reasoning and two qualitative methods: content analysis and formal concept analysis (FCA). Primary data were collected from both original design manufacturers (ODMs) and original equipment manufacturers (OEMs) in Taiwan.

According to the qualitative empirical study, modern enterprises need to pay immediate attention to the following two pathways: a compliance approach and a voluntary approach. For the former, three strategic content variables are identified: training programs, ISO, and supplier quality audit programs. As for initiating a voluntary effort, modern lead firms need to instill “motivation” into a supply chain quality system.

The findings based on the abductive model reveal numerous strategic and tactical enablers, key sequences to move firms from their current situation to their preferred one, and critical opportunities for supply chain‐wide quality system designs.

This study will be of great value to supply chain policy makers, supply chain operators, and decision makers in lead firms in a supply chain setting and their channel partners. The proactive use of the authors' proposed research procedure is indispensable to effective supply chain quality planning.

A common charge against qualitative researchers in general and interactionist researchers in particular is that they produce descriptive, a-theoretical accounts of group life. We consider the problem of “analytic interruptus” in contemporary symbolic interactionism – that is, a failure to move beyond analyses of individual cases – and offer a potential to a solution via the pursuit of a generic social process (GSP) research agenda. A GSP approach involves developing, assessing, and revising concepts from the close scrutiny of empirical instances across diverse contexts. By considering criticisms of GSPs from feminist and postmodernist scholars, a more informed, qualified, and better-situated approach to the framework becomes possible. We argue that GSPs remain a quintessential analytical tool to explore subcultural realities and build formal theories of the social world.