the IEC 61131-3 standard defines a common framework for programming PLCs (Programmable logic Controllers), which includes the complete definition of four programming languages and a state machine definition language. ...
详细信息
ISBN:
(纸本)9781424408504
the IEC 61131-3 standard defines a common framework for programming PLCs (Programmable logic Controllers), which includes the complete definition of four programming languages and a state machine definition language. Industrial PLC vendors are slowly offering support for this standard, however small inconsistencies remain between their implementations, transferring programs between vendors is almost impossible due to different rile formats, and licenses are generally too expensive to allow students do install these commercial solutions on their own computers. To this end, the authors have developed an Integrated Development Environment (IDE) for the IEC 61131-3 framework, which is being offered to the general public under the GNU Public License (GPL). the IDE consists of a Graphical User Interface (GUI) and a backend compiler. Using the GUI the user may develop programs in any of the four programming languages, as well as the state machine definition language. the backend compiler is used to convert these programs into equivalent C++ programs which may later be compiled and executed on various platforms.
Workflow languages provide a natural way to express business processes, and therefore they are preferred over general-purpose programming languages to specify such processes. However, current workflow languages offer ...
详细信息
ISBN:
(纸本)9780769530444
Workflow languages provide a natural way to express business processes, and therefore they are preferred over general-purpose programming languages to specify such processes. However, current workflow languages offer no support for separating crosscutting concerns which results in workflows that are hard to maintain and evolve. Recent research introduces aspect-oriented extensions to these languages, but many advanced features of aspect-oriented programming technology are still unavailable for workflow languages. In this paper we present the implementation of one such advanced feature: "stateful aspects". We introduce a high-level, logic-based pointcut language to express aspect activation depending on past and current state of the workflow execution. We propose a weaving strategy based on finite state automata in order to transparently weave history tracking code in the workflow. Our approach is implemented as an extension of the Padus AOP language for WS-BPEL.
In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. the approach is based on a modified Inductive logicprogramming algorithm, capable...
详细信息
ISBN:
(纸本)9783540751823
In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. the approach is based on a modified Inductive logicprogramming algorithm, capable of learning a set of declarative rules. the advantage of using a declarative description is twofold. First, the process is represented in an intuitive and easily readable way;second, a family of proof procedures associated to the chosen language can be used to support the monitoring and management of processes (conformance testing, properties verification and interoperability checking, in particular). the approach consists in first learning integrity constraints expressed as logical formulas and then translating them into a declarative graphical language named DecSerFlow. We demonstrate the viability of the approach by applying it to a real dataset from a health case process and to an artificial dataset from an e-commerce protocol.
Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with ...
详细信息
ISBN:
(纸本)9788073683870
Fuzzy Description logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. In [23], a solution based on Mixed Integer Linear programming has been proposed to deal with fuzzy DLs under Lukasiewicz semantics in which typical membership functions, such as triangular and trapezoidal functions, can be explicitly represented in the language. A major theoretical and computational limitation so far is the inability to deal with General Concept Inclusions (GCIs), which is an important feature of classical DLs. In this paper, we address this issue and develop a calculus for fuzzy DLs with GCls under various semantics: classical logic, "Zadeh semantics", and Lukasiewicz logic.
this paper is to address high-level authorization specifications and its efficient implementation in object oriented database scenario. Premchand Ambhore is with higher and technical education, maharashtra state, indi...
详细信息
ISBN:
(纸本)9780769528670
this paper is to address high-level authorization specifications and its efficient implementation in object oriented database scenario. Premchand Ambhore is with higher and technical education, maharashtra state, india, Email:pbambhore@***. the rest of the paper is organized as follows. Section 2 specifies object oriented database system;section 3 incorporates authorization rules into database and section 4 maps the specification into a logicprogramming language and implements the language. Section 5 concludes the paper. the integration of object-oriented programming concepts with databases is one of the most significant advances in the evolution of database system, therefore the problems involved in providing data security for object oriented databases have been receiving very great attention from researchers. As a matter of fact, data are the most sensitive part of any system and its loss or compromise can have disastrous consequences. We discuss three different types of access: Discretionary access control (DAC), Mandatory access control (MAC) and role. based access control (RBAC) in Relational DBMS and object oriented data bases. We have identified some of the issues and current proposals;current security models in object oriented database systems and outline possible direction issues for future research.
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.
Enterprise software systems need to deal with two dominant data models. While object oriented languages (such as Java, C#, C++) are the dominant ways to write business logic, relational databases are the dominant ways...
详细信息
ProVotE is a two-phase project aiming at actuating art. 84 of law 2 - 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections in Tre...
详细信息
ISBN:
(纸本)9781595936721
ProVotE is a two-phase project aiming at actuating art. 84 of law 2 - 5/3/2003 of the Autonomous Province of Trento (Italy), which promotes the introduction of e-voting systems for the next provincial elections in Trentino (Nov. 2008). During the first phase of the ProVotE project we built jprovote, a Java/Linux e-voting system. the jprovote system has been used with experimental value by more than 11000 voters during local elections held in various municipalities of Trentino (Italy). A critical component of jprovote is its core logic, that is responsible of controlling the overall behavior of the e-voting machine during an election. In order to simplify its development and to allow for formal verification of this critical component we developed FSMC+. FSMC+ is a compiler that takes as input a subset of UML Statecharts and produces the corresponding Java and NuSMV code (NuSMV is a model checker developed at ITC-irst). Support for parameters in events, complex expressions in guards, and support to nested states are some of the distinguishing features of FSMC+. In this paper we present FSMC+ and we show how we used it for the development and the verification of the ProVotE e-voting machine. Even though FSMC+ has been specifically created to ease the development of jprovote, we believe the approach and the tool we developed to be general enough to be used in other applications. Copyright 2007 ACM.
through AspectJ, aspect-oriented programming (AOP) is becoming of increasing interest and availability to Java programmers as it matures as a methodology for improved software modularity via the separation of cross-cu...
详细信息
ISBN:
(纸本)9781595936721
through AspectJ, aspect-oriented programming (AOP) is becoming of increasing interest and availability to Java programmers as it matures as a methodology for improved software modularity via the separation of cross-cutting concerns. AOP proponents often advocate a development strategy where Java programmers write the main application, ignoring cross-cutting concerns, and then AspectJ programmers, domain experts in their specific concerns, weave in the logic for these more specialized cross-cutting concerns. However, several authors have recently debated the merits of this strategy by empirically showing certain drawbacks. the proposed solutions paint a different development strategy where base code and aspect programmers are aware of each other (to varying degrees) and interactions between cross-cutting concerns are planned for early on. Herein we explore new possibilities in the language design space that open up when the base code is aware of cross-cutting aspects. Using our insights from this exploration we concretize these new possibilities by extending AspectJ with concise yet powerful constructs, while maintaining full backwards compatibility. these new constructs allow base code and aspects to cooperate in ways that were previously not possible: arbitrary blocks of code can be advised, advice can be explicitly parameterized, base code can guide aspects in where to apply advice, and aspects can statically enforce new constraints upon the base code that they advise. these new techniques allow aspect modularity and program safety to increase. We illustrate the value of our extensions through an example based on transactions. Copyright 2007 ACM.
the IEC 61131-3 standard defines a common framework for programming PLCs (programmable logic controllers), which includes the complete definition of four programming languages and a state machine definition language. ...
详细信息
the IEC 61131-3 standard defines a common framework for programming PLCs (programmable logic controllers), which includes the complete definition of four programming languages and a state machine definition language. Industrial PLC vendors are slowly offering support for this standard, however small inconsistencies remain between their implementations, transferring programs between vendors is almost impossible due to different file formats, and licenses are generally too expensive to allow students do install these commercial solutions on their own computers. To this end, the authors have developed an integrated development environment (IDE) for the IEC 61131-3 framework, which is being offered to the general public under the GNU public license (GPL). the IDE consists of a graphical user interface (GUI) and a backend compiler. Using the GUI the user may develop programs in any of the four programming languages, as well as the state machine definition language. the backend compiler is used to convert these programs into equivalent C++ programs which may later be compiled and executed on various platforms.
暂无评论