Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Describing business processes by directed graphs is a common way for system designers, because it makes easier to realize how the process goes on. However the concept of serviceoriented architecture increased difficulty of the business process management system development, because the specification of the whole system and each software unit are different in general. Therefore, describing behavioral...
We present the Configurable Advanced Verification of Software (CAVS), a prototype tool that automatically generates an efficient set of test cases from descriptions of required interface behavior based on Unified Modeling Language (UML) artifacts. The input to CAVS consists of enhanced UML activity diagrams that define the required behavior of a software component as observed on its interfaces. CAVS...
As Cyber-Physical Systems (CPS) operate in open, dynamic and diverse environments, they need to be self-adaptive to address the uncertainty challenges. And it is urgent to study self-adaptive software intensive Cyber-Physical Systems (self-adaptive CPS). As self-adaptive CPS interact closely with the environments and users, their requirements analysis is particularly challenging. General requirement...
Software engineers have to cope with uncertainties and changing requirements. Agile methods provide flexibility towards changes and the emergence of continuous delivery has made regular feedback loops possible. The abilities to maintain high code quality through reviews, to regularly release software, and to collect and prioritize user feedback, are necessary for continuous software engineering (CSE)...
Process development and maintenance are fundamental jobs in process-centered engineering, e.g., software process improvement. A IoT of methods have been proposed for process modeling, and many of them have dedicated to improve process reuse by means of pattern or template techniques. In this paper, we propose an approach implementing the definition of Process Template Models and Template Customization...
Testers use model-based testing to design abstract tests from models of the system’s behavior. Testers instantiate the abstract tests into concrete tests with test input values and test oracles that check the results. Given the same test inputs, more elaborate test oracles have the potential to reveal more failures, but may also be more costly. This research investigates the ability for test oracles...
Over the previous years, many service-oriented (SO) solutions have been proposed by European research projects for the technological advancement of industrial systems. These projects typically include a software reference architecture (RA) based on the concepts of service-oriented architectures (SOA) and, often-times, an accompanying technology stack to guarantee system-wide interoperability. In this...
Process verification has become an essential activity to correct and to remove errors before process execution. Typical process verification ecosystems propose to express properties to be verified on the process. When a process is adapted, the existing properties must naturally be re-checked to ensure that no errors have been introduced. However, the properties may become outdated and must be co-adapted...
Design pattern is the most common form of object oriented software reuse. In object oriented domain driven design, a number of high-level patterns have been identified and applied for over a decade. However, no concrete design patterns for domain modeling in this method have been published in the literature. A primary challenge in defining these design patterns is how to express their form in a way...
Domain-Specific Languages (DSLs) are central to Model-Driven Engineering, where they are used for creating models for particular domains. However, current research and tools for building DSLs focus on the design and implementation aspects of the DSL, while the requirements analysis phase, and its automated transition to design is largely neglected. In order to alleviate this situation, we propose...
In this paper, we focus on the modeling and use of relationships between artifacts in MDE software processes. Infact, the nature of those artifacts has deeply changed (i.e. They are essentially models) and relationships between them are numerous (e.g. Transformation, matching, overlap and so on). We highlight that they are under-considered by the software process community and propose an approach,...
Reference Architectures (RA) are a special class of software architectures which comprises a family of concrete architectures. On the other hand, Model-Driven Development (MDD) has been largely adopted in software development. In MDD, a metamodel is usually used to \derive" concrete models. Analogously, RA are used to \derive" concrete architectures. In this direction, we claim that there...
Domain-specific modeling languages (DSMLs) are key to empowering organizational experts in interacting with business information systems. For this task, developing DSMLs based on the Unified Modeling Language (UML) has become a popular option. However, a number of design decisions must be considered when developing UML-based DSMLs. In this paper, we extend a systematic literature review (SLR) to cover...
The continuous increase of software complexity is one of the major problems associated with the development of today's complex technical systems. In particular, for safety-critical systems, which usually require to be thoroughly verified and validated, managing such a complexity is of high importance. To this end, industry is utilizing Model-Driven Development (MDD) in many aspects of systems engineering,...
Code generation from models is a core activity in model-driven development (MDD). For complex systems it is usually impossible to generate the entire software system from models alone. Thus, MDD requires mechanisms for integrating generated and handwritten code. Applying such mechanisms without considering their effects can cause issues in projects with many model and code artifacts, where a sound...
We present XPDL, a modular, extensible platform description language for heterogeneous multicore systems and clusters. XPDL specifications provide platform metadata about hardware and installed system software that are relevant for the adaptive static and dynamic optimization of application programs and system settings for improved performance and energy efficiency. XPDL is based on XML and uses hyperlinks...
Requirements elicitation is a complex and usually longstanding but crucial activity to the software development. UML use case models are one of the most popular techniques to describe the functional requirements of a system. Use cases can be written with a high-abstraction level or with a low-abstraction level. In fact, when one needs to see the system as a whole, the high-abstraction level use cases...
Architecture decisions are often not explicitly documented in practice but reside in the architect's mind as tacit knowledge, even though explicit capturing and documentation of architecture decisions has been associated with a multitude of benefits. As part of a research collaboration with ABB, we developed a tool to document architecture decisions. This tool is an add-in for Enterprise Architect...
State-of-the-art optimistic model versioning systems, which are critical to enable efficient team-based development of architectural models, are able to detect and help resolve basic conflicts arising during the merging of model versions. However, it is often overlooked that model merging may also cause severe syntactical and semantic inconsistencies. In this paper, we propose an approach to guide...
Software development processes usually target requirements regarding particular qualities in late iteration phases. The developed system is optimised in terms of quality issues, such as, e.g., energy efficiency, without altering the software's behaviour. Bad structures in terms of specific qualities can be considered as bad smells and refactorings can be used to resolve them to preserve its semantics...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.