Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Meta-Model

Handbook of Research on Embedded Systems Design
The set of frames, rules, constraints, models and theories applicable and useful for the modeling in a predefined class of problems.
Published in Chapter:
Requirements Refinement and Component Reuse: The FoReVer Contract-Based Approach
Laura Baracchi (Intecs, Italy), Alessandro Cimatti (FBK-Irst, Italy), Gerald Garcia (Thales Alenia Space, France), Silvia Mazzini (Intecs, Italy), Stefano Puri (Intecs, Italy), and Stefano Tonetta (FBK-Irst, Italy)
Copyright: © 2014 |Pages: 33
DOI: 10.4018/978-1-4666-6194-3.ch009
The development of complex computer-based systems poses two fundamental challenges. On one side, the architectural decomposition must be complemented by a suitable refinement of the requirements. On the other side, it is fundamental to provide the means for component reuse in order to limit development costs. In this chapter, the authors discuss the approach taken in FoReVeR, a project funded by the European Space Agency (ESA), where these two issues are tackled in the setting of space systems. The approach taken in FoReVeR is based on the idea of contracts, which allow one to formally specify the requirements of components at different levels of abstraction and to formally prove the correctness of requirements decomposition. In particular, the authors show how system-level requirements can be progressively refined into software requirements and how the contract-based framework supports the reuse of the components of a reference architecture under development by ESA. The authors discuss how the proposed solution has been integrated in a space development process and present the results of case studies.
Full Text Chapter Download: US $37.50 Add to Cart
More Results
Evolution of ArchiMate and ArchiMate Models: An Operations Catalogue for Automating the Migration of ArchiMate Models
A model that defines the ontology behind a specific domain or system. It provides an explicit description of how a domain-specific model is built.
Full Text Chapter Download: US $37.50 Add to Cart
Process Management Methodology
Defines a language for describing a specific domain of interest. A process meta-model provides a set of generic concepts to describe any process, defined in the next level (M1) of the layered architecture (OMG, 2005).
Full Text Chapter Download: US $37.50 Add to Cart
Optimized and Distributed Variant Logic for Model-Driven Applications
Defines the language and processes from which to form a model.
Full Text Chapter Download: US $37.50 Add to Cart
Tools for Collaborative Business Process T Modeling
A model that provides a description of the modeling technique.
Full Text Chapter Download: US $37.50 Add to Cart
Towards the Integration of Trajectory Information Sources for Semantic Conflicts Detection Purpose: A Trajectory Ontology Based Approach
A meta-model defines the structure that any model must be in conformity with this meta-model. A model conforms to a meta- model if all elements that constitute the model are defined by the meta- model.
Full Text Chapter Download: US $37.50 Add to Cart
Unified Modeling Language 2.0
A meta-model is a model of model.
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR