Model-based specification
- Model-based specification
-
Model-based specification is an approach to formal specification where the system specification is expressed as a system state model. This state model is constructed using well-understood mathematical entities such as sets and functions. System operations are specified by defining how they affect the state of the system model.
The most widely used notations for developing model-based specifications are VDM[1][2] and Z[3][4] (pronounced Zed, not Zee). These notations are based on typed set theory. Systems are therefore modelled using sets and relations between sets.
Another well-known approach to formal specification is algebraic specification.
See also
References
Wikimedia Foundation.
2010.
Look at other dictionaries:
Model-based design — (MBD) is a mathematical and visual method of addressing problems associated with designing complex control,[1][2] signal processing[3] and communication systems. It is used in many motion control, industrial equipment, aerospace, and automotive… … Wikipedia
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Model based design — The dawn of the electrical age brought with it various novel, innovative and advanced control systems. It was as early as 1920 s when the two strands of technology, control theory and control system, came together to produce large scale… … Wikipedia
Model-driven architecture — (MDA) is a software design approach for the development of software systems. It provides a set of guidelines for the structuring of specifications, which are expressed as models. Model driven architecture is a kind of domain engineering, and… … Wikipedia
Model driven architecture — L’architecture dirigée par les modèles ou MDA (pour l Anglais Model Driven Architecture) est une démarche de réalisation de logiciels, proposée et soutenue par l OMG. C est une variante particulière de l ingénierie dirigée par les modèles (IDM,… … Wikipédia en Français
Model-view-controller — (MVC) is an architectural pattern used in software engineering. Successful use of the pattern isolates business logic from user interface considerations, resulting in an application where it is easier to modify either the visual appearance of the … Wikipedia
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model 2 — This article is about the Java design model. For the arcade board, see Sega Model 2. In the design of Java Web applications, there are two commonly used design models, referred to as Model 1 and Model 2. A simplified diagram of the Model 2… … Wikipedia
Model risk — In finance, model risk is the risk involved in using models to value financial securities.[1] Rebonato considers alternative definitions including: After observing a set of prices for the underlying and hedging instruments, different but… … Wikipedia
Model transformation language — A model transformation language in systems and software engineering is a language for model transformation. Contents 1 Overview 2 Available transformation languages 3 See also 4 … Wikipedia