Action refinement. (Q2760253)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Action refinement. |
scientific article; zbMATH DE number 1684408
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Action refinement. |
scientific article; zbMATH DE number 1684408 |
Statements
2001
0 references
semantic substition
0 references
syntactic substition
0 references
vertical implementation
0 references
Action refinement. (English)
0 references
The paper gives a comprehensive overview of the action refinement research results obtained in the last decade. Various different approaches are analysed and contrasted to each other in a uniform framework. Two running examples, a toy data base and a critical section problem, are analysed and discussed to show benefits and disadvantages of various models. The paper discusses both atomic and non-atomic types of refinements, semantic versus syntactic substitution, dependency-based action refinement, and vertical implementation. There are no proofs, only references to the original papers.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].
0 references
