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,...
Industrie 4.0 components should offer flexible functionality for modern production systems. In order to achieve this flexibility, they provide functions that shall be described and implemented in an easy way. The term “functional element” is known from device profile specifications. Originally designed to be implemented in field devices, these specifications can also be used in Industrie 4.0 components...
Traceability provides a mean for Software Engineers to track system artifacts at different levels of abstraction to verify and validate system requirements. This paper provides a systematic literature review about modeling traceability in computer systems, particularly, systems that involve artifacts that come from different domains of expertise (i.e., heterogeneous artifacts). Our findings show that...
It is very convenience to use the combination of design patterns as a key participant when on programming. However, in the methods of combination design patterns at present, there are several existing description methods often apply to one or several simple patterns. They are weak in supporting the combination of design patterns and the application tools; In this paper we use a new extension technology...
Meta-modeling has been a topic of interest in the modeling community for many years, yielding substantial number of papers describing its theoretical concepts. Many of them are aiming to solve the problem of traditional UML based domain-specific meta-modeling related to its non-compliance to the strict meta-modeling principle, such as the deep meta-modeling approach. In this paper, we show the practical...
Ontology learning has become a popular research field recently. However, the typical ontology may not be sufficient to represent uncertainty information. Fuzzy ontology is proposed to solve the uncertainty reasoning problems. But the construction of fuzzy ontology is still a tedious and painstaking task. The cognitive model of fuzzy ontology learning is an automatic model of fuzzy ontology construction...
Due to the increasing complexity of software systems, model-driven engineering has been introduced to shift the developer's focus from machine-centric program code to human-centric models of the software under development. In model-driven approaches, program code in conventional programming languages (e.g., C++, Java) is commonly generated from models and then compiled or interpreted. Intermediate...
AADL (Architecture Analysis & Design Language) is a modelling language enabling the design of embedded real-time systems. This language has proven its power in several domains like aeronautics and space. The AADL core language describe both software and hardware components and it can be extensible by properties to provide information about these components or annexes to enable a designer to extend...
Over the last decade, a globalization of the software industry took place, which facilitated the sharing and reuse of code across existing project boundaries. At the same time, such global reuse also introduces new challenges to the software engineering community, with not only components but also their problems and vulnerabilities being now shared. For example, vulnerabilities found in APIs no longer...
The development of semantic web technologies assures a new incentive for researches over software engineering. Although the basic concepts of semantic web have a widespread tradition over engineering sector, it moreover becomes difficult for software engineers to look into the diversity of ontology-provided approaches. A realistic scenario Zoo Management is taken based on which an ontology is generated...
A design pattern describes a general solution to a design problem occurring repeatedly in many systems. Indeed, software designers adapt the pattern solution to their specific applications. Therefore, its design must show the variations points which will be adopted for certain systems. Hence, the expression of the variability when modeling the pattern is crucial. The design pattern is usually modeled...
Analysis modeling refers to the task of identifying domain objects, their attributes and operations, and the relationships between these objects from software requirements specifications which are usually written in some natural language. There have been a few efforts to automate this task, but they seem to be largely constrained by the language related issues as well as the lack of a systematic transformation...
The paper deals with semantic modeling a mental imagery caused by processing a new project task in real-time designing a system with the software. In the processing of the new task, the designer applies a framework “model of precedent” and its iterative filling by content with using a feedback caused with a stepwise refinement of the task statement. For understanding the current conditions of the...
In the development of a new software solution, users and developers spend the majority of their effort on modeling the functional requirements. The Non-Functional Requirements (NFR) are treated as a second class requirement, ignored until the end of the development cycle. They are often hidden, overshadowed and therefore, frequently neglected or forgotten. They are neglected because NFRs are often...
One of the major investment for applying industrial robots in production resides in the software development, which is an interdisciplinary and heterogeneous engineering process. This paper presents a novel model-driven approach that uses AutomationML as modeling framework and ontological reasoning as inference framework for constructing robotic application using Robot Operating System (ROS). We show...
The Aspect-oriented Software Development (AOSD) is an emerging paradigm that allowed the separation of crosscutting concerns throughout the software life cycle in order to improve the modularity of software system artifacts. However, the complexity and diversity of interactions between aspects can reduce the value of this approach. As it is essential to detect interactions and potential conflicts...
This paper focuses on the development of an approach that can be used for automated detection of goals from software specifications text. Software specifications demonstration is the key analysis purpose of the provided analysis. Other analysis purpose is to examine that how goals are detected from business process texts. That is not only unambiguous and semantically limited but also machine processable...
UML is actually a standard that is used in the production of software models. Its function is to facilitate the working of visuals of software artifacts. In order to produce a UML diagram, manufacturer has to gather all the software requirements in a natural like English r semi formal like SBVR language. After that he analyzes and produces the activity diagram manually in an available case tool. One...
This paper describes a Semantic Version Management method that enables managing consistently digital resources throughout their life cycle. The core notion is that resources are described be means of logical specifications formally expressed using an extensible logical language. A new version is considered certified only if the resource owner is able to formally prove that it satisfies its logical...
The complexity and quality needs of PLC-based control system software have largely increased. Formal specification methods can help to cope with these needs. Besides formal verification, another benefit of a formal specification language is the possibility to provide automatic generation of the final source code. This paper overviews PLCspecif, our formal specification language for PLC programs 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.