An automated detection of inconsistencies in sbvr-based business rules using many-sorted logic
K Anand, PK Chittimalli, R Naik - … , PADL 2018, Los Angeles, CA, USA …, 2018 - Springer
Business rules control and constrain the behavior and structure of the business system in
terms of its policies and principles. Business rules are restructured frequently as per the …
terms of its policies and principles. Business rules are restructured frequently as per the …
EMME: a formal tool for ECMAScript Memory Model Evaluation
C Mattarei, C Barrett, S Guo, B Nelson… - … 2018, Held as Part of the …, 2018 - Springer
Nearly all web-based interfaces are written in JavaScript. Given its prevalence, the support
for high performance JavaScript code is crucial. The ECMA Technical Committee 39 (TC39) …
for high performance JavaScript code is crucial. The ECMA Technical Committee 39 (TC39) …
Evaluation diversity for graph conditions
S Schneider, L Lambers - Journal of Logical and Algebraic Methods in …, 2023 - Elsevier
Graphs are used as a universal data structure in various domains. Sets of graphs (and
likewise graph morphisms) can be specified using, eg, the graph logic Image 1 of Graph …
likewise graph morphisms) can be specified using, eg, the graph logic Image 1 of Graph …
[PDF][PDF] A Systematic Review of Methods for Consistency Checking in SBVR-based Business Rules.
S Mitra, PK Chittimalli - DIAS/EDUDM@ ISEC, 2017 - ceur-ws.org
Business enterprises in today's world have complex rules and process as their foundation.
The rules and processes continuously change to reflect the enterprise's evolution and …
The rules and processes continuously change to reflect the enterprise's evolution and …
Inferring Accountability from Trust Perceptions
K Decroix, D Butin, J Jansen, V Naessens - Information Systems Security …, 2014 - Springer
Opaque communications between groups of data processors leave individuals out of touch
with the circulation and use of their personal information. Empowering individuals in this …
with the circulation and use of their personal information. Empowering individuals in this …
[引用][C] A Method for Verifying the Consistency of Business Rules Using Alloy.
D Guimaraes, EA Schmitz, AJ Alencar, P Lima… - SEKE, 2014