the growing trend towards the automation and externalization of business processes by means of Technology Infrastructure (TI), such as Business Process Management Systems, has increased the security risks in the organ...
详细信息
the growing trend towards the automation and externalization of business processes by means of Technology Infrastructure (TI), such as Business Process Management Systems, has increased the security risks in the organizations. In the majority of cases, the issue of security is overlooked by default in these systems. therefore, the early selection and implementation of security controls that mitigate risks is a real and crucial need. Nevertheless, there exists an enormous range of IT security controls and their configuration is a human, manual, time-consuming and error-prone task. In addition, security controls are implemented out separately from the organization perspective and involve many stakeholders. this separation makes difficult to ensure the effectiveness of these controls with regard to organizational requirements. In this article, we propose a formalization of security controls based on security pattern templates and feature models. this formalization allows applying feature domain-oriented analysis and constraint programming techniques for the automatic inference, selection and generation of optimal security controls with regard to single and multiple business objectives.
Deliberation typically involves the formation of a plan or intention from a set of values and beliefs. I suggest that deliberation, or "practical reasoning," is a form of normative reasoning and that the und...
详细信息
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architectu...
详细信息
ISBN:
(纸本)0387238514
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architecture, which is named "Scalable Intelligent Control Architecture" reported in the DIISM2000. the "Glue logic" supports the real-time controlling and monitoring system, by means of realizing communication and synchronizing among multiple agents. Using the active database technique, this system includes event notification message sending and condition monitoring features to eliminate data polling. this system also supports efficient programming environment, by increasing modularity and reusability of the software assets. Using the Glue logic, we are now designing a real-time data gathering system in practical manufacturing lines according to the Scalable Intelligent Control Architecture, which permits expansion of control systems not only in spatial dimension but also in intelligence.
OSEK/VDX Operating System Specification is a standard in automotive industry with a long history. Dozens of mature industrial operating systems are based on this specification and widely applied in the products of maj...
详细信息
We present a tableau method for the temporal logic of concurrent objects. this method, which combines tableaux and model checking, is based on the semantics of systems written in an object-oriented programming model a...
详细信息
the aim of this paper is to offer an argumentation-based defeasible logicthat enables temporal forward reasoning. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic ...
详细信息
ISBN:
(纸本)9783642239625;9783642239632
the aim of this paper is to offer an argumentation-based defeasible logicthat enables temporal forward reasoning. We extend the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of temporal literals and durative rules. these temporal facts and rules combine into durative arguments representing temporal processes, that permit us to reason defeasibly about future states. the corresponding notion of logical consequence, or warrant, is defined slightly different from that of DeLP, due to the temporal aspects. As usual, this notion takes care of inconsistencies, and in particular we prove the consistency of any logical program whose strict part is consistent. Finally, we define and study a sub-class of arguments that seem appropriate to reason with natural processes, and suggest a modification to the framework that is equivalent to restricting the logic to this class of arguments.
Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based ...
详细信息
ISBN:
(纸本)9781595936721
Although object-oriented languages are nowadays the mainstream of application development, several research contexts suggest that a multi-paradigm approach is worth pursuing. In particular, a declarative, logic-based paradigm could fruitfully add functionalities related to automatic reasoning, adaptivity, and conciseness in expressing algorithms. In this paper we present P@J, a framework for enhancing interoperability between Java and Prolog based on the tuProlog open-source Prolog engine for Java. P@J supports smooth language-interoperability by first introducing an API for modeling first-order logic terms by Java generics and wildcards, promoting expressiveness and safety. On top of it, an annotation layer is then introduced that extends Java withthe ability of implementing parts of the application code using Prolog. Copyright 2007 ACM.
In this paper, we introduce argumentation frameworks with necessities (AFNs), an extension of Dung's argumentation frameworks (AFs) taking into account a necessity relation as a kind of support relation between ar...
详细信息
ISBN:
(纸本)9783642239625;9783642239632
In this paper, we introduce argumentation frameworks with necessities (AFNs), an extension of Dung's argumentation frameworks (AFs) taking into account a necessity relation as a kind of support relation between arguments (an argument is necessary for another). We redefine the acceptability semantics for these extended frameworks and we show how the necessity relation allows a direct and easy correspondence between a fragment of logic programs (LPs) and AFNs. We introduce then a further generalization of AFNs that extends the necessity relation to deal with sets of arguments. We give a natural adaptation of the acceptability semantics to this new context and show that the generalized frameworks allow to encode arbitrary logic programs.
Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as much as its potential warrants. Indeed, abduction permits the generation of hypothetical kn...
详细信息
ISBN:
(纸本)9781614992646;9781614992639
Abduction as reasoning paradigm has been much explored in Artificial Intelligence, but not yet taken up by decision making as much as its potential warrants. Indeed, abduction permits the generation of hypothetical knowledge based scenarios, about which one can then equate decisions. One reason for this state of affairs is that abduction is difficult to implement efficaciously, even by experts, which entails that abductive systems are not readily available for decision making. Our concept of tabled abduction mitigates this, in the abductive logicprogramming system TABDUAL. the contribution of this paper is three-fold: (1) We discuss some TABDUAL improvements towards its more practical use, particularly in decision making, (2) We show that declarative debugging can be viewed as abduction in logicprogramming, thus showing another potential of abduction for decision making, and (3) We describe how TABDUAL can be applied in decision making and examine its benefit.
暂无评论