Search results for "Unified Model"
showing 10 items of 74 documents
Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine
2005
Legacy systems are information systems that have been developed by means of methods, tools and database management systems that have become obsolete, but they are still being used due to their reliability. As time goes on, the maintenance of this software becomes more complex, expensive and painful. The MOMENT framework supports automatic formal model transformations in MDA. This model transformation approach is based on the algebraic specification of models and benefits from mature term rewriting system technology to perform model transformation using rewriting logic. In this paper, we present how we apply this formal transformation mechanism to recover a legacy relational database, obtain…
Towards an Ontology for Information Systems Development—A Contextual Approach
2007
This chapter presents an ISD ontology, which aims to provide an integrated conceptualization of ISD through anchoring it upon a contextual approach. The ISD ontology is composed of concepts, relationships, and constraints referring to purposes, actors, actions, and objects of ISD. It is presented as a vocabulary with explicit definitions and in meta models in a UML-based ontology representation language. We believe that although not complete the ISD ontology can promote the achievement of a shared understanding of contextual aspects in ISD. It can be used to analyze and compare existing frameworks and meta models and as a groundwork for engineering new ISD methods, and parts thereof. IGI PU…
Design and Calibration of an Omni-RGB plus D Camera
2016
International audience; In this paper, we present the design of a new camera combining both predator-like and prey-like vision features. This setup provides both a spherical RGB-view and a directional depth-view of the environment. The model and calibration of the full set-up are described. A few examples will be given to demonstrate the interest and the versatility of such camera for robotics and video surveillance at the oral presentation.
Collisional effects on spectral line shape from the Doppler to the collisional regime: A rigorous test of a unified model
2000
International audience; The paper presents high resolution Raman investigations of the Q(1) line of H-2 in Ar mixture from low density (Doppler regime) to high density (collisional regime) analyzed with a unique line shape profile. Measurements are performed by stimulated Raman gain spectroscopy between 300 and 1000 K in a wide density range (from 0.2 to 11 amagat). All the observed spectral features are accurately described by a unified model recently proposed by two of the authors. This model accounts for a velocity-memory process, not restricted to the usual hard and soft limits. It also includes correlation between velocity- and phase-changing collisions. An exhaustive analysis of vario…
Towards a method to generate GUI prototypes from BPMN
2018
Business Process Model and Notation (BPMN) provides organizations with a standard that facilitates further compression of the business process. BPMN focuses on the functional processes, leaving the development of interfaces to one side. Thereby, interface design usually depends on the subjective experience of the analyst. This article aims to propose a new method to generate user interfaces from BPMN models and Class Diagrams. The proposed method is based on the identification of different rules and makes use of stereotypes to extend BPMN notation. The rules have been extracted from seven existing projects on the Bizagi repository. Specifically, the proposal is based on the extraction of ru…
Facilitating IP deployment in a MARTE-based MDE methodology using IP-XACT: a XILINX EDK case study
2012
International audience; In this paper we present framework for the deployment of hardware IPs at high-levels of abstraction. It is based in a model- driven approach that aims at the automatic generation of Dynamic Partial Reconfiguration designs created in Xilinx Platform Studio (XPS). Contrary to previous approaches, we make use of the IP-XACT standard to facilitate the deployment of hardware IPs, their parameterization and subsequent integration. We propose an extension to the MARTE profile for IP deployment, and we introduce the necessary model transformations to obtain a high- level representation from an IP-XACT component library. These models are then used to create a platform in MART…
AN AGENT BASED ARCHITECTURE FOR MANUFACTURING E-MARKETPLACES
2005
This chapter presents the Agent Based Architecture developed within the research project, titled "Process and Production Planning in manufacturing Enterprise Networks". As mentioned in Chapter 1, the architecture has been developed to support “added value services” in neutral linear e-marketplaces, i.e. in virtual districts. In this chapter the architecture will be described from a functional and dynamic point of view by using the formalisms used in the project. In particular, from a functional perspective, the architecture is described by using the IDEF0 formalism, while its dynamics are specified by UML activity diagrams.
Evolutionary approach to coverage testing of IEC 61499 function block applications
2015
The paper addresses the problem of coverage testing of industrial automation software represented in the IEC 61499 standard, one of the recent standards for distributed control system design. Contrary to model-based testing (MBT), the paper focuses on implementation coverage, not model coverage. An approach based on evolutionary algorithms is presented which generates coverage test suites for both basic and composite IEC 61499 function blocks. It employs two third-party tools, FBDK and EvoSuite. The evaluation of the approach was performed on a set of control applications for two lab-scale demonstration plants. Results show that the approach is applicable and shows good performance at least…
An Integrated Framework for Meta Modeling
2006
Meta modeling is an essential means to systematize, formalize, standardize, integrate, analyze and compare models, techniques, methods and tools. Numerous fields, such as databases, software engineering, software architectures, semantic web, computer-aided tools and method engineering, have benefited from it. The importance of meta modeling is ever increasing along with the emergence of novel approaches, architectures, techniques and languages based on UML and MDA. This paper presents a framework to integrate and compare divergent conceptions of meta modeling in databases, software engineering, and information systems development. The framework is applied to analyze and compare conceptions …
On marrying ontological and metamodeling technical spaces
2007
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice. Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules. Hence, when seen from an abstract point of view, the two paradigms and their various technological spaces seem closely related. However, in the state-of-the-art research and practice the two technologies are just beginning to converge and the relationship between the two is still under exploration. In this paper, we give an outline of current ontology technologies, such as the Semantic Web standards…