The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Conceptual elevation of data in business process modeling was first formulated in 2003. The research community responded to this new idea enthusiastically. In the past decade, there have been numerous research activities concerning the interactions between business processes/activities and data in many aspects of business process management. Many of the advancements have or will have impacted on design/modeling,...
There are many remarkable methods used in software semantics analysis. However, people find some of the methods generally have the common problem of high time complexity or inaccurate results. In order to solve these problems, we propose a program controlled flow algorithm which is based on a control dependency graph and an abstract syntax tree. This algorithm uses object program equivalent substitution...
We present a novel approach for design of manufacturing automation systems with formal verification of selected properties based on the use of Globally Asynchronous Locally Synchronous programming language SystemJ and industrial-proof verification tools. By being able to prove properties of the automation control logic that consists of multiple concurrent controllers, represented by FSMs that correspond...
The importance of the services-based market, 62.9% of the World gross domestic product (GDP) [1], triggered an increase in the use of software offered on-line as services (SaaS). The use of such software usually implies the flow of personal data on-line between several parties. This can make users reluctant to their use. In this work, we consider this issue at the design-time of the software and we...
SystemC is an IEEE standard system-level language and has been widely adopted in development of embedded systems. Due to the complexity of SystemC specifications, formal verification of SystemC is still at a preliminary stage and no complete formal semantics for SystemC exists so far. This work presents an executable semantics of a subset of SystemC in guarded assignment systems and its applications...
Considering the status reporting activity on a Software Configuration Managment (SCM) process, this paper presents a new version of an ontology that aims to represent the knowledge domain related to the essential phases of: issue identification, issue evaluation, and change execution. Concepts, relations, properties, and axioms are presented for this ontology so competence questions can be answered...
Multi-metamodel application development processes have to deal with specific needs including flexible support for structured artifacts like models, multi-layered modeling support and dynamic process updates. In order to deal with the requirements of dynamic process updates and multi-layered modeling support, we propose to model the processes in multiple abstraction levels. The use of conditions on...
Vehicle control system development is a complex process, involving multiple stages and multiple groups in different disciplines. Constructing a high-integrity configuration for a product with a large number of control functions is very challenging in current practice because of lacking effective modeling methods to capture and maintain the individually-developed functions and their relations in the...
Programmable Logic Controllers (PLCs) have been established as standard devices for automation and process control since the 1990s. Although a lot of research work has been done on the field of controller modeling and verification, it is still daily practice that control software is manually developed without applying formal validation methods. On the other hand, controller modeling is often seen...
For monitoring, controlling, and improving software development projects, project and quality managers need tool support to analyze engineering processes within development environments. Unfortunately, technical and semantic gaps between the engineering tools and related data models make it hard to observe and analyze the implemented tool-based engineering processes. In this paper we build on a service-oriented...
Application software has become more and more complex because of the fast development of computer application in today's information society. How to analyze the software trustworthiness is an important problem which, in software engineering domain, has not been researched much yet. Consider all the reasons above, this paper presents an analysis method based on rules for software trustworthiness. And...
The development of Programmable Logic Controllers (PLCs) in the last years has made it possible to apply them in ever more complex tasks. Many systems based on these controllers are safety-critical, the certification of which entails a great effort. Therefore, there is a big demand for tools for analyzing and verifying PLC applications. Among the PLC-specific languages proposed in the standard IEC...
As an important phase in software development, domain modeling can be used to construct reusable domain assets based on common domain requirements. In service-oriented software development, domain modeling is essential to satisfy users' personalized requirements in a short time and at a low cost. We have proposed a method named O-RGPS for service-oriented domain modeling. In O-RGPS, goal models and...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.