550,871 Hits in 10.0 sec

Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification

Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki
2014 Journal of Robotics, Networking and Artificial Life (JRNAL)  
This paper proposes a supporting method to generate a decision table from the formal specification in order to improve efficiency of the test design with formal methods.  ...  We have implemented a supporting tool to generate a decision table. It automatically generates a skeleton decision table from the formal specification.  ...  This paper proposes a supporting method to generate a decision table from the formal specification in order to improve efficiency of the test design with formal methods.  ... 
doi:10.2991/jrnal.2014.1.3.1 fatcat:22tqu3zwevfjdco2ukc3dxf2hi

Prototype of a Decision Table Generation Tool from the Formal Specification

Tetsuro Katayama, Kenta Nishikawa, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
2015 Journal of Robotics, Networking and Artificial Life (JRNAL)  
This research has implemented a prototype of a decision table generation tool from the specification (the formal specification) described in a formal specification language.  ...  We applied some general specifications to the prototype, in order to evaluate its usefulness. As a result, the prototype has improved the efficiency in test design with formal methods.  ...  Acknowledgements This work was supported by JSPS KAKENHI Grant Number 24220001.  ... 
doi:10.2991/jrnal.2015.2.3.15 fatcat:ls6lkemvjjb5zgluygqof7c3di

Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets

Muhammad Nauman, Nadeem Akhtar, Omar H. Alhazmi, Mustafa Hameed, Habib Ullah, Nadia Khan
2021 IEEE Access  
This article addresses this problem by proposing the use of Coloured Petri nets formalism to ensure the correctness of the machine learning based prognostic process.  ...  Machine learning algorithms, undoubtedly, demonstrate a remarkable ability to recognize models and extract patterns from data to improve medical prognosis decision-making.  ...  The derivation of the rules was made via the path from the root to the leaf nodes. A decision rule's usefulness generally comes down to two factors: support and accuracy.  ... 
doi:10.1109/access.2021.3121092 fatcat:v7kljpjsvrg5ze52cd2e5yjzuq

Formal Model of Business Processes Integrated with Business Rules

Krzysztof Kluza, Grzegorz J. Nalepa
2018 Information Systems Frontiers  
We provide a general model for such integration as well as the model applied to a specific rule representation from the Semantic Knowledge Engineering approach.  ...  Business Rules support the specification of knowledge in a declarative manner and can be successfully used for specification of details for process tasks and events.  ...  Acknowledgements The research presented in this paper is partially based on the PhD thesis (Kluza 2015) of the first author and is supported by the HiBuProBuRul Project funded from NCN (National Science  ... 
doi:10.1007/s10796-018-9826-y fatcat:mg4chu6jcvb4pjarzrf5rap6fi

Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking

Yoshitaka AOKI, Saeko MATSUURA
2014 IEICE transactions on information and systems  
We also propose a tool implemented by an Eclipse plug-in to assist general developers who have little knowledge of the model-checking tool.  ...  In this paper, we propose a verification method in which a Java source code control sequence is converted into finite automata in order to detect the cause of defects by using the model-checking tool UP-PAAL  ...  Acknowledgments This work has been conducted as a part of "Research Initiative on Advanced Software Engineering in 2012" supported by Software Reliability Enhancement Center (SEC), Information Technology  ... 
doi:10.1587/transinf.e97.d.1097 fatcat:aetoi7ip45hr7cjx5jpuab4him

Guaranteeing Correctness of Machine Learning based Decision Making at Higher Educational Institutions

Muhammad Nauman, Nadeem Akhtar, Adi Alhudhaif, Abdulrahman Alothaim
2021 IEEE Access  
The authors would also like to thank Directorate of Information Technology, The Islamia University Bahawalpur for providing admission data for academic research purposes.  ...  ACKNOWLEDGMENT This publication was supported by the Deanship of Scientific Research at Prince Sattam bin Abdulaziz University, Alkharj, Saudi Arabia.  ...  From Table 10 , we can see that the proposed approach shows the best performance in terms of sensitivity, specificity, accuracy, and area under the curve against the other rule extraction methods.  ... 
doi:10.1109/access.2021.3088901 fatcat:rpviiipfuja2vdzcpyepqerw4y

Spatial and temporal reasoning with granular computing and three way formal concept analysis

Angelo Gaeta, Vincenzo Loia, Francesco Orciuoli, Mimmo Parente
2020 Granular Computing  
The formal concept analysis is the central tool of the proposed method.  ...  The method uses an existing approach to discover periodic events in the data, such as periods of intense traffic in a city, and provides an original approach to conceptualize such events to support decision  ...  To view a copy of this licence, visit http://creativecommons. org/licenses/by/4.0/.  ... 
doi:10.1007/s41066-020-00232-4 fatcat:dpgqr6jv7fa3ddn22vu5bvlrwu

Integrating Goals after Prioritization and Evaluation – A Goal-Oriented Requirements Engineering Method

Vinay S, Shridhar Aithal, Sudhakara Adiga
2014 International Journal of Software Engineering & Applications  
The output of IGAPE is then given as input to a decision support system which makes use of Analytic Hierarchy Process (AHP) and Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS  ...  We propose a GORE method - Integrating goals after prioritization and evaluation (IGAPE). The method is semi-formal in nature thereby ensuring active stakeholder participation.  ...  We propose a semi-formal GORE method IGAPE to overcome this limitation. The major contributions of our work include: 1.  ... 
doi:10.5121/ijsea.2014.5604 fatcat:pksbypd7xbevjpqsfwn6sqgdri

A Decision Support System for Public Funding of Experimental Development in Energy Research

Simon Hirzel, Tim Hettesheimer, Peter Viebahn, Manfred Fischedick
2018 Energies  
This paper proposes an operational three-staged decision support system (DSS) to assist decision-makers in public funding institutions in the ex-ante evaluation of R&D proposals for large-scale close-to-market  ...  The results confirm that the decision-making process is a complex one that is not limited to simply scoring R&D proposals.  ...  They express their gratitude to all the participants at the workshops, to their project partners at IZES gGmbH Saarbrücken, particularly Patrick Hoffmann and Horst Juri for their support and review of  ... 
doi:10.3390/en11061357 fatcat:xueo3m6um5hzfpijttc2g2hrau

Rapid development of a distributed shop floor control system from an XML model-based control software specification

J. Shin, H. Cho
2006 International Journal of Production Research  
The objective of the paper is to propose a rapid development methodology that fulfils given characteristics through a formal model-based control software specification.  ...  Specifically, formal models, a resource model and an Monitoring-Decision making-Execution (M-D-E) model are proposed to specify Unit of Control Devices (UCDs) and their control processes performed in a  ...  Acknowledgement The authors acknowledge the partial financial support of the BK21 project.  ... 
doi:10.1080/00207540500269291 fatcat:rqaxyodeyre4npo3pzszlvwzji

Creation of ESTELLE/Ag Specifications Using Knowledge Bases

Henrikas Pranevicius, Germanas Budnikas
2003 Informatica  
The production rules of the application KB are transformed to decision tables, and the static properties of the KB are checked in PROLOGA system.  ...  A validated application KB is used defining a framework of ESTELLE/Ag specification using PRAXIS editor and supplementing PRAXIS generated framework with the application functional description.  ...  The PROLOGA system is an interactive design tool for computer-supported construction and manipulation of decision tables.  ... 
doi:10.15388/informatica.2003.004 fatcat:tlalmxo6xnglnhjsdctsjbhjyi

Diagnosis of Coronary Artery Disease Using Artificial Intelligence Based Decision Support System [article]

Noor Akhmad Setiawan, Paruvachi Ammasai Venkatachalam, Ahmad Fadzil M Hani
2020 arXiv   pre-print
This research is about the development a fuzzy decision support system for the diagnosis of coronary artery disease based on evidence.  ...  The knowledge base of fuzzy decision support system is taken by using rules extraction method based on Rough Set Theory.  ...  RST based technique is used to discover the knowledge from CAD data sets in the form of decision rules. A hybrid RST and support based rule selection is also proposed.  ... 
arXiv:2007.02854v1 fatcat:k5zw3fzskzhc7lqwdwwe7ekcwa

Test-driven specification

Edward L. Jones
2006 Proceedings of the 44th annual southeast regional conference on - ACM-SE 44  
Decision tables are used as a lightweight specification language capable of modeling black-box and Mills' state box specifications.  ...  Test cases reveal specification anomalies such as incorrectness, incompleteness and ambiguity. Specification-based test coverage criteria are applied to reveal deficiencies in the set of test cases.  ...  Given a decision table dtb_P for a program P, tdsaGEN generates a test driver and a selfinstrumenting executable decision table class.  ... 
doi:10.1145/1185448.1185641 dblp:conf/ACMse/Jones06 fatcat:2oysc5fyvrabrbafcu52jbhyvy

Computer-interpretable clinical guidelines: A methodological review

Mor Peleg
2013 Journal of Biomedical Informatics  
Hence, their formalization as computer-interpretable guidelines (CIGs) makes it possible to develop CIG-based decision-support systems (DSSs), which have a better chance of impacting clinician behavior  ...  This paper reviews the literature on CIG-related methodologies since the inception of CIGs, while focusing and drawing themes for classifying CIG research from CIG-related publications in the Journal of  ...  Acknowledgment I would like to thank Dr. Arturo González-Ferrer for his highly instrumental comments and discussion.  ... 
doi:10.1016/j.jbi.2013.06.009 pmid:23806274 fatcat:vkvc6tjtnzernjkzpusmmzpimm

Finding Misstatement Accounts in Financial Statements through Ontology Reasoning

Liming Chen, Baoxin Xiu, Zhaoyun Ding
2020 IEEE Access  
Additionally, a rule-based ontology reasoning method [24] was proposed to provide decision support for steel manufactures as well.  ...  Notably, Shen, Colloc et al. (2018) [21] proposed a decision support system called DSS (Decision Support System).  ... 
doi:10.1109/access.2020.3014620 fatcat:34lbpen5xfde7hrdalbopiule4
« Previous Showing results 1 — 15 out of 550,871 results