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.
This paper addresses the overall problem of estimating the quality of a test suite when testing is performed at a platform-independent level, using executable UML models. The problem is that the test suite is often required to fulfill structural code coverage criteria. In the avionics domain it is usually required that the tests achieve 100% coverage according to logic-based coverage criteria. Such...
Software testing is an important step in the life cycle of agile development, it represents an efficient way to ensure the good functioning of the product. In previous work, we implemented an algorithm that takes as input user stories, and automatically generate UML sequence diagrams. In this work, these UML sequence diagrams are automatically transformed using model to model transformation then model...
Software testing is generally intend to evaluate the quality of the software product through generation of testcases transformed formally into test scripts. Recently, testing tend to be model driven process in which human intervention is reduced. On other hand, Model driven architecture (MDA) has been adopt by Object Management Group (OMG) which raises abstraction level. So it's the key in adapting...
The main focus of Software Engineering discipline is to establishing methods and processes for the effective and efficient development of software projects. One of the most relevant paradigms for achieving this goal is Model-Driven Development (MDD). MDD uses models at different abstraction levels to automatically generate software products by means of model-transformations. However, one of the main...
Model-Driven Engineering (MDE) paradigm has been successfully adopted in many applied research environments with promising results, and applied to Web engineering area as well. Model-driven Web Engineering (MDWE) refers to the use of the model-driven engineering paradigm in Web development methodologies. It uses the models previously developed with the information obtained at the earlier stages to...
In the last few years, Model Driven Architecture (MDA), introduced by the Object Management Group (OMG), has become an important approach that uses models throughout the life cycle of software design and development. It distinguishes four levels: Computation Independent Model (CIM), Platform Independent Model (PIM), Platform Specific Model (PSM) and the code level. Transformations between PIMs and...
Requirements tractability remains challenging, particularly in the prevalence of code centric approaches. Similarly, within the emerging model centric paradigm, requirements traceability is addressed only to a limited extent. To facilitate such traceability, we call for representing requirements as first class entities in the emerging paradigm of model-oriented programming. This has the objective...
To address real time information system development, principled methods are needed to specify, develop, compose, integrate, and validate the application and system software based on MDA approach. These methods must enforce the component composition of real time systems, as well as satisfy the system's stringent functional and nonfunctional requirements. Achieving these goals requires aspect-oriented...
The E-learning has become an important part of our educational life. Today, several Learning management system (LMS) platforms are available to education professionals, such as Moodle, OLAT, Dokeos, ATutor&. But every day, technology advances, jobs change, organization change, management methods are changing and growing and needs. Hence the necessity to have a model for designing LMS platforms...
Performance requirements play a significant role in the design of large-scale systems, such as enterprise information systems. Systems Modeling Language (SysML), proposed by Object Management Group (OMG) for system engineering, provides for requirements specification, though a verification method for quantitative requirements as performance ones is lacking. In the information systems domain, performance...
MDA is an Object Management Group (OMG) Standard that provides a baseline for model-driven development. Different model transformation approaches have been proposed in the context of MDA. Yet, little researches have covered the construction of his high level of abstraction the Computation Independent Model (CIM) and its transformation to the Platform Independent Model (PIM). Besides, the transformation...
Creating of web application and corresponding information architecture is often associated with social informatics. It clearly lays at the crossing of the ICT and social sciences, especially because effective information architectures enable people to find content quickly, easily and intuitively. Model Driven Architecture (MDA) technique is initiated by the Object Management Group (OMG), based on...
Model Driven Architecture (MDA) defines a software building process based on the production and transformation of models. In this context, QVT-Relations is a declarative language designed to permit both unidirectional and bidirectional model transformations. QVT Relations is a standard defined by the Object Management Group(OMG). On the other hand, the code optimization is the process of modifying...
Software development is a complex process and the information technology market is faced by many challenges. Among the challenges is the effect of technology "platforms" change (languages, operating-systems, interoperability solutions, architecture frameworks etc.). Model Driven Architecture (MDA) is a new development method as a positive effort from the Object Management Group (OMG) to...
To normalize the instrument driver design method, the method of “design and realization of MDA-based signal oriented instrument drivers” is put forward. Taking the Scope's signal oriented drivers as an example; we introduce the application in detail and summarize the advantages of this method.
Air Traffic Control (ATC) systems are typical software-intensive mission-critical systems with stringent dependability requirements. The major providers of ATC systems are system integrators that address such requirements at the cost of a very expensive testing effort. They envisage Model Driven Testing (MDT) as a promising approach to reduce this effort while achieving better product quality. Within...
Model Driven Engineering (MDE) refers to the creation and manipulation of models in the end-to-end application lifecycle. When adopting a model-based development approach many challenges arise, some of these are related to the immaturity of the methods and tools that support this paradigm. This paper presents an exploratory case study developed to analyze how the renowned MDE technology solutions...
The most important element of industrial software development is the creation of a common vocabulary of terms for exchanging information between software and industrial engineers. Based on this cooperation, technical domain knowledge is converted into data structures, algorithms and rules. Currently, when people are used to receiving short and quick messages, the most efficient way of knowledge extraction...
The Model-Driven Architecture approach defines system functionality using a platform-independent model(PIM).The PIM is translated to one or more platform-specific models (PSMs) that computers can run. The analysis and verification to these models is necessary at the first stage of software development process. Due to lack of formal semantics, UML model describing software character need to be translated...
Cyber physical systems have many non-functional requirements, which always crosscut the whole system modules. That may cause the code tangle and scatter, make the systems hard to design, reuse and maintain, and affect performance of systems badly. AOP is a new software development paradigm, which could attain a higher level of separation of concerns in both functional and non-functional matters by...
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.