Requirements modelling and formal analysis using graph operations

The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible. Consequently, the specification stage, which could be facilitated by formal verification, becomes very important to the system life-cycle. This paper presents a formal modelling approach, which may be used in order to better represent the reality of the system and to verify the awaited or existing system’s properties, taking into account the environmental characteristics. For that, we firstly propose a formalization process based upon properties specification, and secondly we use Conceptual Graphs operations to develop reasoning mechanisms of verifying requirements statements. The graphic visualization of these reasoning enables us to correctly capture the system specifications by making it easier to determine if desired properties hold. It is applied to the field of Enterprise modelling

Benchmarking in cluster analysis: A white paper

To achieve scientific progress in terms of building a cumulative body of knowledge, careful attention to benchmarking is of the utmost importance. This means that proposals of new methods of data pre-processing, new data-analytic techniques, and new methods of output post-processing, should be extensively and carefully compared with existing alternatives, and that existing methods should be subjected to neutral comparison studies. To date, benchmarking and recommendations for benchmarking have been frequently seen in the context of supervised learning. Unfortunately, there has been a dearth of guidelines for benchmarking in an unsupervised setting, with the area of clustering as an important subdomain. To address this problem, discussion is given to the theoretical conceptual underpinnings of benchmarking in the field of cluster analysis by means of simulated as well as empirical data. Subsequently, the practicalities of how to address benchmarking questions in clustering are dealt with, and foundational recommendations are made

On the Origin of Abstraction : Real and Imaginary Parts of Decidability-Making

International audienceThe behavioral tradition has largely anchored on Simon's early conception of bounded rationality, it is important to engage more explicitly cognitive approaches particularly ones that might link to the issue of identifying novel competitive positions. The purpose of the study is to describe the cognitive processes by which decision-makers manage to work, individually or collectively, through undecidable situations and design innovatively. Most widespread models of rationality developed for preference-making and based on a real dimension should be extended for abstraction-making by adding a visible imaginary one. A development of a core analytical/conceptual apparatus is proposed to purposely account this dual form of reasoning, deductive to prove (then make) equivalence and abstractive to represent (then unmake) it. Complex numbers, comfortable to describe repetitive, expansional and superimposing phenomena (like waves, envelope of waves, interferences or holograms, etc.) appear as generalizable to cognitive processes at work when redesigning a decidable space by abstraction (like relief vision to design a missing depth dimension, Loyd's problem to design a missing degree of freedom, etc.). This theoretical breakthrough may open up vistas capacity in the fields of information systems, knowledge and decision

Learning fuzzy inference systems using an adaptive membership function scheme

An adaptive membership function scheme for general additive fuzzy systems is proposed in this paper. The proposed scheme can adapt a proper membership function for any nonlinear input-output mapping, based upon a minimum number of rules and an initial approximate membership function. This parameter adjustment procedure is performed by computing the error between the actual and the desired decision surface. Using the proposed adaptive scheme for fuzzy system, the number of rules can be minimized. Nonlinear function approximation and truck backer-upper control system are employed to demonstrate the viability of the proposed method

A QFD framework for quality, innovation and high-tech product development dynamics

The customer mostly chooses a product on the base of its quality, which therefore arises as the main cause of its commercial success. In a nearly axiomatic drawing, it follows that the effect of innovation is the improvement of quality, which itself becomes the aim of innovation. Even though the previous statement relates quality and innovation, it still does not explain their dynamics. To stress them, the ‘quality' concept must be analyzed in more detail. In fact, in addition to the ‘perceived quality', the quality ensured through `design, manufacturing and marketing' combined domains should be dealt with. This paper enhances this issue taking advantage of principles and models made available by control theory schemes coupled with quality function development (QFD) and best practice software modeling based on unified modeling language (UML

Applications of Axiomatic Design in academic publications 2013-2018 : A Systematic Literature Review

Aksiomaattinen suunnitteluteoria on ollut kasvavan kiinnostuksen kohteena tiedeyhteisössä siitä lähtien, kun Nam P. Suh esitteli teorian 1990-luvulla. Siitä huolimatta, että aiheesta on tehty runsaasti aktiivista tutkimusta (muun muassa vuotuinen aksiomaattiseen suunnitteluteoriaan keskittynyt konferenssi), kattavia kirjallisuuskatsauksia on kirjoitettu vähän. Tämä tutkimus pyrkii osaltaan täyttämään edelläkuvattua aukkoa aksiomaattisen suunnitteluteorian tutkimuskentällä, keskittyen julkaisuihin vuodesta 2013 vuoteen 2018. Tutkimus on kirjoitettu jatkumoksi vuonna 2010 tutkijoiden Kulak, Cebi & Kahmaran (2010) julkaisemalle kirjallisuuskatsakuselle. Tämän vuoksi samankaltainen kategorisointi on implementoitu tähän tutkimukseen. Kategorisoinnin perusteina ovat käytetty aksiooma, sovellutusalue, metodologia ja määrittelytyyppi. Sovellutusalueisiin on tässä tutkimuksessa lisätty ’palvelut’ omana, uutena kategorianaan. Työssä esitellään lyhyesti aksiomaattinen suunnitteluteoria ja sen keskeiset osa- alueet, tärkeimpinä sunnnittelualueet, suunnitteluprosessi ja suunnitteluaksioomat. Metodologia-osiossa taustoitetaan systemaattisen kirjallisuuskatsauksen soveltamista tähän tutkimukseen ja kuvataan prosessin toteutus PRISMA-mallia käyttäen. Tutkimustulokset käydään lyhyesti läpi esimerkein kustakin kategoriasta. Tutkimusaineisto esitetään sekä lukuina, liitteenä että graaffeina. Näitä kirjallisuuskatsauksen tutkimustuloksia verrataan varhemman tutkimuksen vastaaviin. Sovelletun aksiooman suhteen merkittäviä muutoksia ei ole havaittavissa tämän tutkimuksen perusteella aikaisempaan kirjallisuuskatsaukseen verrattuna. Sovellutusaluessa, sitä vastoin, systeemisuunnittelun osuus on kasvanut merkittävästi edelliseen tutkimukseen verrattuna, kun taas ohjelmistosuunnittelun osuus on vastaavasti pienentynyt. Palvelusuunnittelun osuus on verrattain vaatimaton, joskin suurempi kuin esimerkiksi ohjelmistosuunnittelun. Tämän tutkimuksen perusteella suositellaan jatkotutkimuksia erityisesti aksiomaattisen suunitteluteorian sovellutuksista ohjelmisto- ja palvelusuunnitteluihin sekä mahdollisista syistä, miksi mainittujen sovellutusaljen osuus tutkimuskentässä on pienehkö.Axiomatic Design theory has been gaining growing interest within a design community since introduced by Nam P. Suh in 1990s. Despite an active research within the field, including yearly international conferences of Axiomatic Design, there is not many literature reviews made of academic publications of Axiomatic Design. This research aims to fulfil previously described gap on secondary research of Axiomatic Design, focusing on papers published between 2013 and 2018. The study is a continuum to previous paper published by Kulak, Cebi & Kahmaran (2010). Therefore, similar categorization based on applied axiom, application area, methodology and evaluation type is applied in this research. In application area, ‘services’ have been added as a new category for this research. Results are compared with previous study. In findings, no siginificant change has happened in applied axiom, Independece axiom still being clearly more popular within academic publications. In application area, however, there are noticeable changes compared to the previous study. Share of system design has increased while softare design has significantly decreased. Future research is recommended to further explore specifically applications of Axiomatic Design in software and in services

Design and Evaluation of Ballast Water Management Systems using Modified and Hybridised Axiomatic Design Principles

There are two major motivations to this research. The first is based on the concerns raised at the International Maritime Organisation (IMO) MEPC 67 and 68 meetings regarding the capacity of some type-approved Ballast Water Management (BWM) Systems to meet the performance standard (D-2) of the BWM Convention at-all-times and in all conditions. The second is based on the reluctance expressed by some ship- owners to install the system onboard their ships as a Lloyd\u27s list survey suggested. In this work, an attempt was made to address these issues and concerns using a set of criteria stipulated in Regulation D-5.2 of the BWM Convention which provides the framework for reviewing and evaluating the practical concepts of managing ballast water, developing a conceptual model for managing ballast water and minimizing the contributions of human-error to BWM System performance by analyzing the associated operational human factors. Firstly, the design of a conceptual model of managing ballast water and the evaluation of some established practical concepts of BWM were achieved by using a suitable technique (Axiomatic Design or AD) which was selected via a robust procedure. The two axioms of Axiomatic Design (information and independence) were used to evaluate four different concepts of managing ballast water as well as develop a BWM Convention-compliant conceptual design matrix model respectively. Based on data collected from ballast water management experts, Post-loading Onshore Ballast Water Management System was shown to be the most appropriate ballast water management concept with respect to the Regulation D-5.2 set of criteria. This presents a paradigm shift in expert preference from traditional shipboard systems to onshore systems with respect to the IMO-criteria. The pathway for improved performance of the Convention-compliant design matrix was subsequently determined and prioritised using Sufield model of Altshuler\u27s theory of inventive problem solving (TRIZ). Lastly, a 5-step algorithm was developed to minimise operator errors in the BWM System’s operation. Fatigue and training were found to have the greatest impact on operator performance

A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows

This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can be instrumental in streamlining healthcare issues. Current process modelling techniques used in healthcare such as flowcharts, unified modelling language activity diagram (UML AD), and business process modelling notation (BPMN) are intuitive and imprecise. They cannot fully capture the complexities of the types of activities and the full extent of temporal constraints to an extent where one could reason about the flows. Formal approaches such as Petri have also been reviewed to investigate their applicability to the healthcare domain to model processes. Additionally, to schedule patient flows, current modelling standards do not offer any formal mechanism, so healthcare relies on critical path method (CPM) and program evaluation review technique (PERT), that also have limitations, i.e. finish-start barrier. It is imperative to specify the temporal constraints between the start and/or end of a process, e.g., the beginning of a process A precedes the start (or end) of a process B. However, these approaches failed to provide us with a mechanism for handling these temporal situations. If provided, a formal representation can assist in effective knowledge representation and quality enhancement concerning a process. Also, it would help in uncovering complexities of a system and assist in modelling it in a consistent way which is not possible with the existing modelling techniques. The above issues are addressed in this thesis by proposing a framework that would provide a knowledge base to model patient flows for accurate representation based on point interval temporal logic (PITL) that treats point and interval as primitives. These objects would constitute the knowledge base for the formal description of a system. With the aid of the inference mechanism of the temporal theory presented here, exhaustive temporal constraints derived from the proposed axiomatic system’ components serves as a knowledge base. The proposed methodological framework would adopt a model-theoretic approach in which a theory is developed and considered as a model while the corresponding instance is considered as its application. Using this approach would assist in identifying core components of the system and their precise operation representing a real-life domain deemed suitable to the process modelling issues specified in this thesis. Thus, I have evaluated the modelling standards for their most-used terminologies and constructs to identify their key components. It will also assist in the generalisation of the critical terms (of process modelling standards) based on their ontology. A set of generalised terms proposed would serve as an enumeration of the theory and subsume the core modelling elements of the process modelling standards. The catalogue presents a knowledge base for the business and healthcare domains, and its components are formally defined (semantics). Furthermore, a resolution theorem-proof is used to show the structural features of the theory (model) to establish it is sound and complete. After establishing that the theory is sound and complete, the next step is to provide the instantiation of the theory. This is achieved by mapping the core components of the theory to their corresponding instances. Additionally, a formal graphical tool termed as point graph (PG) is used to visualise the cases of the proposed axiomatic system. PG facilitates in modelling, and scheduling patient flows and enables analysing existing models for possible inaccuracies and inconsistencies supported by a reasoning mechanism based on PITL. Following that, a transformation is developed to map the core modelling components of the standards into the extended PG (PG*) based on the semantics presented by the axiomatic system. A real-life case (from the King’s College hospital accident and emergency (A&E) department’s trauma patient pathway) is considered to validate the framework. It is divided into three patient flows to depict the journey of a patient with significant trauma, arriving at A&E, undergoing a procedure and subsequently discharged. Their staff relied upon the UML-AD and BPMN to model the patient flows. An evaluation of their representation is presented to show the shortfalls of the modelling standards to model patient flows. The last step is to model these patient flows using the developed approach, which is supported by enhanced reasoning and scheduling

Human-Intelligence and Machine-Intelligence Decision Governance Formal Ontology

Since the beginning of the human race, decision making and rational thinking played a pivotal role for mankind to either exist and succeed or fail and become extinct. Self-awareness, cognitive thinking, creativity, and emotional magnitude allowed us to advance civilization and to take further steps toward achieving previously unreachable goals. From the invention of wheels to rockets and telegraph to satellite, all technological ventures went through many upgrades and updates. Recently, increasing computer CPU power and memory capacity contributed to smarter and faster computing appliances that, in turn, have accelerated the integration into and use of artificial intelligence (AI) in organizational processes and everyday life. Artificial intelligence can now be found in a wide range of organizational systems including healthcare and medical diagnosis, automated stock trading, robotic production, telecommunications, space explorations, and homeland security. Self-driving cars and drones are just the latest extensions of AI. This thrust of AI into organizations and daily life rests on the AI community’s unstated assumption of its ability to completely replicate human learning and intelligence in AI. Unfortunately, even today the AI community is not close to completely coding and emulating human intelligence into machines. Despite the revolution of digital and technology in the applications level, there has been little to no research in addressing the question of decision making governance in human-intelligent and machine-intelligent (HI-MI) systems. There also exists no foundational, core reference, or domain ontologies for HI-MI decision governance systems. Further, in absence of an expert reference base or body of knowledge (BoK) integrated with an ontological framework, decision makers must rely on best practices or standards that differ from organization to organization and government to government, contributing to systems failure in complex mission critical situations. It is still debatable whether and when human or machine decision capacity should govern or when a joint human-intelligence and machine-intelligence (HI-MI) decision capacity is required in any given decision situation. To address this deficiency, this research establishes a formal, top level foundational ontology of HI-MI decision governance in parallel with a grounded theory based body of knowledge which forms the theoretical foundation of a systemic HI-MI decision governance framework