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.
While several benefits of using models in software engineering have been observed in practice, the adoption of modeling remains low. Multiple challenges of using models, especially related to tools, have been reported both for industrial use and for education. However, there is a lack of systematic, empirical investigations of the challenges in modeling education and their relation to industrial challenges...
Usage-based statistical testing employs knowledge about the actual or anticipated usage profile of the system under test for estimating system reliability. For many systems, usage-based statistical testing involves generating synthetic test data. Such data must possess the same statistical characteristics as the actual data that the system will process during operation. Synthetic test data must further...
System specifications can be modeled using various types of notations and diagrams regarding applications of the particular model. In this paper, we present an overview of the existing solutions, focusing on UML, BPMN and DMN models and the diagrams provided by these notations. We perform a comparison of these approaches and provide examples of representing system requirements in these notations.
Design models are widely spread as core artifacts in software engineering. Yet, a key problem is how to fulfill correctly these blueprint specifications when code components are developed. The best possible scenario occurs when a source modeling language can be perfectly linked to a target language of election. Namely, a well defined mapping bridges the gap between the source and the target language...
Software modelling deals with multiple problems such as defect detection, synchronization and authorship assessment. These problems are obviously solved by complex tools for static and manual analysis of models. But an origin of these problems is in dynamical part of software modelling process - activities of developers, that can be incrementally processed right in developers' environments. So, methods...
Requirements elicitation is a crucial activity and one of the first steps in software development process. A popular way to capture and describe requirements is through UML use case models. Transforming requirement specifications into software design models is a complex and error prone software development activity. Software design usually involves several models, each one representing a different...
Privacy is a major quality attribute of any software. Since personal data of users are collected, stored, processed, and transferred by the applications they use, they need to be assured that proper data protection is in place. Since privacy principles should be taken into account and incorporated into application design, this paper aims to promote privacy by design and presents a development of privacy...
Spatiotemporal information and application have received considerable attention. Spatiotemporal information is often imprecise or uncertain; therefore, the establishment of a reasonable and effective fuzzy spatiotemporal data model is vital. The traditional tool-based modeling method cannot meet the needs of fuzzy spatiotemporal data modeling. XML has become the standard of Web data representation...
Critical infrastructures are the set of essential systems for the normal functioning of our modern society. Their failure could have severe consequences on economy and population and may undermine security. Indeed, their protection is a requirement. Nowadays Critical infrastructures are becoming tightly coupled and interdependent due to the exchange of products and services, which leads to the hardness...
A key component of model-based testing is the generation of test data from constraints (e.g., specified in the Object Constraint Language (OCL)) associated with models e.g., specified in the Unified Modeling Language (UML). The quality of test data eventually determines the effectiveness of test cases, e.g., fault detection and coverage. A simple way to generate test data from an OCL constraint is...
In the domain of embedded systems, the complexities involved in embedded software development are being successfully addressed by the emerging field of model-based software development and testing. However, in embedded systems, the underlying embedded software is often expected to collaborate with various hardware, mechanical, electrical modules/technologies. To address this aspect of heterogeneity...
We outline a methodology for automatic and efficient object-relational mapping (ORM) in the context of model-driven development (MDD) of high-performance information systems specified with executable UML models. Although there are various approaches to performance tuning, we focus here on the persistence layer the relational database. The relational data model is usually designed following the well-known...
The engineering of complex systems is more and more supported through computer-based models that rely on a comprehensive specification of their underlying data. This paper reflects on extensive industrial experience with a sophisticated application of conceptual data modeling, addressing requirements as they arise in the context of space systems engineering. For this purpose identified needs for conceptual...
The paper highlights advantages of enterprise GIS (Geographic Information Systems), describes guidelines for its implementation, and its position in the overall IT (Information Technology) environment. The paper outlines the tools and necessary steps for creation of data model, as a core of a spatial database, as well as business processes whose computerization enterprise GIS can leverage. In this...
Model-based testing (MBT) provides a systematic and automated way to facilitate rigorous testing of software systems. MBT has been an intense area of research and a large number of MBT techniques have been developed in the literature and in the practice. However, all of the techniques have been developed using their own concepts and terminology of MBT, which are very often different than other techniques...
For manufacturing industry seamless workflows along the whole product lifecycle are crucial for sustainable success. Although the integration of all used systems to a single supersystem is not reasonable, the integration of data is essential. This contribution introduces a model-based concept to integrate data elements of distributed data systems and sources to one virtual database. Specific view...
The Multilateral Interoperability Programme (MIP), comprising 26 nations and NATO, has developed the MIP Information Model (MIM) to support semantic interoperability across C2 systems. The MIM is a platform-independent model in UML that focuses on describing semantic concepts rather than mandating a specific technical implementation. In this paper, we give an overview of the objectives and the scope...
Over the last decades there has been a growing interest in modeling human performance and analyzing human activity and human operator behavior to improve system design. A variety of tools and approaches which are based on task analysis methods and tools have been proposed. As technology advances and tasks become more demanding, human work changes increasing the need to create new methodologies and...
Unified Modeling Language(UML) is a standard language for modeling in the domain of Object Oriented Software Development. However, it lacks the modeling construct for real time systems. The UML profile for Modeling and Analysis of Real Time Embedded Systems (MARTE) has been recently standardized by Object Management Group (OMG) to provide the necessary constructs. It provides support for Model Driven...
Use case analysis is known to be an effective method to clarify functional requirements. Security requirements such as access or information control tend to increase the complexity of functional requirements, and therefore, need to be correctly implemented to minimize risks. However, general developers find it difficult to correctly specify adequate security requirements during the initial phases...
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.