Validation and Verification of Decision Making Rules *

Zaidi, Abbas K.; Levis, Alexander H.

doi:10.1016/s1474-6670(17)45207-4

Cited by 10 publications

(13 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Such rule-based anomalies are described in a number of papers [47]- [51]. These involve several problems connected with rules, such as: rule-base consistency (concerning the coherence of rules), rule-base livelock, also called 'circular rules' [48] or rule-base deadlock. This type of anomaly suggests that rule-base does not encompass the basic context in which it is used.…”

Section: Applications Of the Verification In The Area Of Anomalimentioning

confidence: 99%

Communiation Papers of the 2017 Federated Conference on Computer Science and Information Systems

2017

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

EAR Reader, it is our pleasure to present to you Com- FedCSIS 2017 consisted of the following events (conferences, symposia, workshops, special sessions). These events were grouped into FedCSIS conference areas, of various degree of integration. Specifically, those listed without indication of the year 2017 signify "abstract areas" with no direct paper submissions to them (but with submissions to their enclosed events).• Each paper, found in this volume, was refereed by at least two referees. AAIAThe program of FedCSIS required a dedicated effort of many people. Each event constituting FedCSIS had its own Organizing and Program Committee. We would like to express our warmest gratitude to all Committee members for their hard work in attracting and later refereeing 504 submissions (regular and data mining).We thank the authors of papers for their great contribution to research and practice in computing and information systems. We thank the invited speakers for sharing their knowledge and wisdom with the participants. Finally, we thank all those responsible for staging the conference in Prague. Organizing a conference of this scope and level could only be achieved by the collaborative effort of a highly capable team taking charge of such matters as conference registration system, finances, the venue, social events, catering, handling all sorts of individual requests from the authors, preparing the conference rooms, etc.We hope you had an inspiring conference and an unforgettable stay in the beautiful city of Prague. We hope to meet you again for FedCSIS 2018 in Poznań, Poland. Co-Chairs of the FedCSIS Conference Series AAIA'17 will bring scientists, developers, practitioners, and users to present their latest research, results, and ideas in all areas of Artificial Intelligence. We hope that successful applications presented at AAIA'17 will be of interest to researchers who want to know about both theoretical advances and latest applied developments in AI. TOPICSPapers related to theories, methodologies, and applications in science and technology in this theme are especially solicited. Topics covering industrial applications and academic research are included, but not limited to: • AI in Information Retrieval (ASIR'17 workshop) All papers accepted to the main track of AAIA'17 and to the above workshops will be treated equally in the conference programme and will be equally considered for the awards listed below. PROFESSOR ZDZISLAW PAWLAK BEST PAPER AWARDSWe are proud to continue the tradition started during the AAIA'06 and award two "Professor Zdzislaw Pawlak Best Paper Awards" for contributions which are outstanding in their scientific quality. The two award categories are:• Best Student Paper-papers qualifying for this award must be marked as "Student full paper" to be eligible.• Best Paper Award. In addition to a certificate, each award carries a prize of 300 EUR provided by the Mazowsze Chapter of the Polish Information Processing Society. ZDZISLAW PAWLAK AWARD COMMITTEE• Kacprzyk, Janusz, Abstract-The paper ...

show abstract

Section: Applications Of the Verification In The Area Of Anomalimentioning

confidence: 99%

Communiation Papers of the 2017 Federated Conference on Computer Science and Information Systems

2017

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

show abstract

“…Finally, the results are merged together, and the final activity consists in determining the thermostat settings (aTHS) for particular season (aSE) and time (aTM) (the specification is provided with rules [11][12][13][14][15][16][17][18]. This is illustrated with Fig.…”

Section: Proceedings Of the Fedcsis Warsaw 2014mentioning

confidence: 99%

“…Rule-based anomalies are described in numerous papers [16], [17], [18], [19]. They involve mainly two problems connected with base rules.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A note on BPMN Analysis. Towards a Taxonomy of Selected Potential Anomalies

Suchenia¹,

Ligęza²

2014

Annals of Computer Science and Information Systems

View full text Add to dashboard Cite

Abstract-Modeling based on a graphical notation understandable for different specialists has become very popular. Within the area of business processes, the most common one is the Business Process Modeling and Notation (BPMN). BPMN is aimed at all business users who design, analyze, manage and monitor business processes. Most papers in this area focus on making use of the possibilities that BPMN makes available, but there is lack of papers analyzing possible errors and ways of detecting and eliminating them. Specification of a BPMN diagram is relatively precise, but it is only a descriptive form presented at some abstract, graphical level. Hence, the main focus of this article is an attempt to analyze the topic of the anomalies which are likely to occur when modeling with use of BPMN.

show abstract

“…They range from the use of informal block and function-flow diagrams and building simulation models [1,15] to the use of formal specification and verification methods such as Petri nets [2,12,14,20], statecharts [10] and real-time and temporal logics [8]. Block and functionflow diagrams are used to indicate interconnection of physical devices.…”

Section: Introductionmentioning

confidence: 99%

Integrated architectural modeling and analysis for high-assurance command and control system design

Deng

Wang

Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)

View full text Add to dashboard Cite

A Real-Time Architectural Specification (RAS) approach and its application to command and control (C2) systems are presented. The objective is to establish a formal foundation that will enable us to integrate existing rich but fragmented formal techniques for system specification and verification into practical and scaleable formal engineering methods to support the design and development of highly reliable real-time distributed systems. The contribution of RAS is twofold: First, it provides a formal system that integrates system's timing requirements and the propagation of the requirements into the process of architectural modeling and design and provides a systematic way to enforce that the requirements are met in every step of the design process. Second, it offers an incremental and more scaleable approach for design modeling. These two features together make RAS a suitable model for the design of C2 systems. Based on these features, we further present an incremental method for verifying timing properties of a RAS model that helps to reduce the complexity of analysis both at a given design level or across different design levels.

show abstract

Validation and Verification of Decision Making Rules *

Cited by 10 publications

References 5 publications

Communiation Papers of the 2017 Federated Conference on Computer Science and Information Systems

Communiation Papers of the 2017 Federated Conference on Computer Science and Information Systems

A note on BPMN Analysis. Towards a Taxonomy of Selected Potential Anomalies

Integrated architectural modeling and analysis for high-assurance command and control system design

Contact Info

Product

Resources

About