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.
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...
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...
Variability management is a key activity in Software Product Lines (SPL) development. To be more specific, the product selection and verification allow us to generate correct derivations. In this work we present a process, called SeVaTax, to guide the selection and validation activities -both in domain and application engineering- together with a supporting tool.
In agile Model-Driven Engineering, the evolution of diverse software artifacts is omnipresent. Especially the evolution of metamodels, defining the grammar of, e.g., Domain Specific Languages, is quite challenging, since many dependent artifacts, including models and transformations, have to be co-evolved to re-establish consistency. Although much research effort has been spent to automate co-evolution,...
Test Automation saves time and cost by digitizing the process of test generation and execution. The automated test generation techniques in the literature do not always produce effective and compilable test cases. A test generation framework is proposed in this paper which uses the information extracted from UML diagrams and source code. The three layer architecture of the framework is responsible...
World Wide Web (www) is producing immense amount of data, making it difficult for users to manage, analyze, and then bring useful information out of it. A user may not be able to understand the data and concepts in a document produced by a user that belongs to a different domain. Also data produced on heterogeneous systems cannot be integrated with ease. XML (extensible markup language) helps in all...
If the World Wide Web is taken as a mountain of information containing data regarding every aspect of life, then Semantic Web is its extended version, that structures the information and makes it machine process able. Semantic Web has many advantages which have proved it as an innovative approach to structure the data for multipurpose domains. Its characteristics of annotation enable the extraction...
Software certification has been successfully used with traditional "static" software. With the introduction of new computing paradigms such as service-oriented computing and cloud computing, the existing way to represent software certifications based in verbose human-oriented documents, exhibits many limitations, to the point of making the approach not useful in practice. The ASSERT4SOA...
The interactions of several languages within a software system pose a number of problems. There is several anecdotal and empirical evidence supporting such concerns. This paper presents a solution to achieve proper language integration in the context of language workbenches and with limited effort. A simple example is presented to show how cross-language constraints can be addressed and the quality...
Data model changes in software applications raise a reusability problem with files saved before the changes. This paper describes program support for data translation by using a software extension for an integrated development environment. The extension translates data from a binary file used by earlier versions of the tool to a set of XML files which correspond to the model of the new tool. Logic...
Anotações em código-fonte têm assumido um papel cada vez mais relevante na produção de programas. Anotações estruturadas - aquelas que seguem esquemas de construção - fornecem semântica extra ao código e são aptas para uso na automatização de tarefas complementares ao seu desenvolvimento. Iniciativas recentes têm associado estas anotações a ontologias, ampliando sua expressão e interoperabilidade...
Software log file analysis helps immensely in software testing and troubleshooting. The first step in automated log file analysis is extracting log data. This requires decoding the log file syntax and interpreting data semantics. The expected output of this phase is an organization of the extracted data for further processing. Log data extractors can be developed using popular programming languages...
Current IEC 61131-3 programmable logical controllers are facing challenges to provide reliable system as well as exceptional performance for complex distributed automation systems. The IEC 61499 standard is designed to cover interoperability not only on the runtime level, but also during the design process. To migrate from IEC 61131-3 PLC to IEC 61499 function blocks, there are several approaches...
Facing global competition in the chemical industry particular companies from high-wage countries have to cut development costs and time to market to be still profitable. Therefore, methods like concurrent and collaborative engineering are increasingly applied. However, these complex workflows require adequate software support to be efficient in face of heterogeneous software environments as typically...
We have designed and implemented a scripting environment called "Kumoi" for managing collective VMs in a large-scale data center. Kumoi is unlike other scripting environments because it exploits strong typing with type inference and high-level description. Kumoi introduces several advancements, including treating virtual machines as first-class objects and decoupling the scripting model...
The increasing complexity of chemical problems often requiring multiple chemical software work together to complete. Most chemical software uses different script languages to describe jobs, chemists have to consume lots of time to learn them before work. Unified Job-Description Language on Chemical Grid (UDLC) is designed to solve the problem. It is a domain specific-language (DSL), aims at reducing...
This article proposes a model for resource discovery directed to ubiquitous computing with technologies for semantic processing aggregated to its architecture. The EXEHDA-SD contributes to increase the expressiveness of the representation and consultation for resources in a ubiquitous environment. The mechanism considers the dynamics in which resources enters or leaves the environment and pursue issues...
Aspect-Oriented Requirements Engineering consists of identifying, modularizing, specifying, and composing crosscutting concerns, also known as aspects. AORE is a pioneer systematic approach used to discover and structure requirements based on viewpoints and aspects. One of its limitations to be widely adopted is due to the fact that it lacks visual support to improve its usability. This paper describes...
Software teams, as they communicate throughout the life-cycle of their projects, generate a substantial stream of textual data. Through emails and chats, developers discuss the requirements of their software system, they negotiate the distribution of tasks among them, and they make decisions about the system design, and the internal structure and functionalities of its code modules. The software research...
As a standard modeling language of software architecture design, UML lacks formal semantics on account of its informal graphical notation. To further provide refined description of UML, OCL is primarily and widely employed. Generally, OCL constraints are written manually, which may cause incorrectness and extra overhead. Therefore, generating OCL constraints template for UML models is a superior solution...
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.