Improving automation standards via semantic modelling: Application to ISA88

Standardization is essential for automation. Extensibility, scalability, and reusability are important features for automation software that rely in the efficient modelling of the addressed systems. The work presented here is from the ongoing development of a methodology for semi-automatic ontology construction methodology from technical documents. The main aim of this work is to systematically check the consistency of technical documents and support the improvement of technical document consistency. The formalization of conceptual models and the subsequent writing of technical standards are simultaneously analyzed, and guidelines proposed for application to future technical standards. Three paradigms are discussed for the development of domain ontologies from technical documents, starting from the current state of the art, continuing with the intermediate method presented and used in this paper, and ending with the suggested paradigm for the future. The ISA88 Standard is taken as a representative case study. Linguistic techniques from the semi-automatic ontology construction methodology is applied to the ISA88 Standard and different modelling and standardization aspects that are worth sharing with the automation community is addressed. This study discusses different paradigms for developing and sharing conceptual models for the subsequent development of automation software, along with presenting the systematic consistency checking methodPeer ReviewedPostprint (author's final draft

A Process Modelling Success Model: Insights from a Case Study

Contemporary concepts such as Business Pro cess Re-engineering and Process Innovation emphasize the importance of process-oriented management concepts as a businesses paradigm. Large scaled multimillion-dollar implementations of Enterpri se Systems explicitly and implicitly state the importance of process modeling and its contribution to the success of these project. While there has been much research and publications on alterna tive process modeling techniques and tools, little attention has focused on post-hoc evaluation of actual process modeling activities or on deriving comprehensive guidelines on ‘how-to’ conduct process modeling effectively. This study aims at addressing this gap. A comprehensive a priori pro cess modeling success model has been derived and this paper reports on the results obtained from a detailed case study at a leading Australian logistics service provider, which was conducted with the aim of testing and re-specifying the model

Discursive design thinking: the role of explicit knowledge in creative architectural design reasoning

The main hypothesis investigated in this paper is based upon the suggestion that the discursive reasoning in architecture supported by an explicit knowledge of spatial configurations can enhance both design productivity and the intelligibility of design solutions. The study consists of an examination of an architect’s performance while solving intuitively a well-defined problem followed by an analysis of the spatial structure of their design solutions. One group of architects will attempt to solve the design problem logically, rationalizing their design decisions by implementing their explicit knowledge of spatial configurations. The other group will use an implicit form of such knowledge arising from their architectural education to reason about their design acts. An integrated model of protocol analysis combining linkography and macroscopic coding is used to analyze the design processes. The resulting design outcomes will be evaluated quantitatively in terms of their spatial configurations. The analysis appears to show that an explicit knowledge of the rules of spatial configurations, as possessed by the first group of architects can partially enhance their function-driven judgment producing permeable and well-structured spaces. These findings are particularly significant as they imply that an explicit rather than an implicit knowledge of the fundamental rules that make a layout possible can lead to a considerable improvement in both the design process and product. This suggests that by externalizing th

Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA

Institutionalising Ontology-Based Semantic Integration

We address what is still a scarcity of general mathematical foundations for ontology-based semantic integration underlying current knowledge engineering methodologies in decentralised and distributed environments. After recalling the first-order ontology-based approach to semantic integration and a formalisation of ontological commitment, we propose a general theory that uses a syntax-and interpretation-independent formulation of language, ontology, and ontological commitment in terms of institutions. We claim that our formalisation generalises the intuitive notion of ontology-based semantic integration while retaining its basic insight, and we apply it for eliciting and hence comparing various increasingly complex notions of semantic integration and ontological commitment based on differing understandings of semantics

Can Computer Algebra be Liberated from its Algebraic Yoke ?

So far, the scope of computer algebra has been needlessly restricted to exact algebraic methods. Its possible extension to approximate analytical methods is discussed. The entangled roles of functional analysis and symbolic programming, especially the functional and transformational paradigms, are put forward. In the future, algebraic algorithms could constitute the core of extended symbolic manipulation systems including primitives for symbolic approximations.Comment: 8 pages, 2-column presentation, 2 figure