H. Ehrig, J. Padberg, and F. Orejas. From basic views and aspects to integration of speci cation formalisms. Bulletin of the European Association for Theoretical Computer Science, 69:98-108, October 1999. Columns: Formal Speci cation Column. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Languages and Methods for Specifying Real-Time Systems - Carlson (2002) (Correct)
....methods and tools cover aspects from more than one category, either by combining di erent more speci c techniques, or as a single all embracing one. Descriptive and operational methods One method for classifying is based on the extent to which a technique is descriptive or operational [BCN95, EPO99] Descriptive methods, sometimes referred to as algebraic or axiomatic, specify properties of the system by means of equations or rst (or higher) order logical formulas. For example, a descriptive speci cation of a stack of integers might include the following axioms. The rst one states that ....
....and operations. In these situations, the speci cation can become very complex. A typical example of operational methods is Z, described in Section 5.2. Data, structural, process, and temporal formalisms Methods can also be classi ed according to what aspect of the software they focus on [EPO99] Data type formalisms describe the functional view of the system by specifying the data types of the system, and how data is transformed by the individual software components. Structural formalisms focus on system decomposition into sub systems. The decomposition can be hierarchical, in which ....
H. Ehrig, J. Padberg, and F. Orejas. From basic views and aspects to integration of speci cation formalisms. Bulletin of the European Association for Theoretical Computer Science, 69:98-108, October 1999. Columns: Formal Speci cation Column.
Failure-Divergence Semantics as a Formal Basis for an.. - Fischer, Wehrheim (Correct)
....and CSP OZ classes (possibly using inheritance as a structuring concept) together with a description of the architecture of the system, consisting of an instantiation of classes into objects and their composition via CSP operators. CSP OZ fits perfectly into the integration paradigm proposed in [EPO99], which consists of four hierarchically organised layers: in CSP OZ layer 1 (describing data types) contains all Z axiomatic descriptions, data type definitions etc. layer 2 (data states and transformations) contains pure Object Z class descriptions, defining the state schema (attributes) of ....
H. Ehrig, J. Padberg, and F. Orejas. From basic views and aspects to integration of specification formalisms. Bulletin of the EATCS, (69):98-- 108, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC