Visual Speci cation of Complex Database Actions
نویسنده
چکیده
The paper presents an approach to specify in an integrated way by visual, diagrammatic languages the structural and behavioural aspects of database applications. Hereby, well-known extended Entity-Relationship diagrams are employed to specify the structural aspects. The behavioural aspects of a database application are speci ed by using ViAL (Visual Action Language). ViAL speci cations are a special kind of data (or better object) ow diagrams, where so-called elementary actions are used as basic building blocks. These elementary actions are automatically derived from a given EER diagram. They guarantee that after nishing their execution all inherent integrity constraints are ful lled. The paper explains the features of the language ViAL and gives some illustrating examples.
منابع مشابه
Action Reenement
A widely accepted approach to specify the behaviour of concurrent systems relies on state/transition abstract machines, such as labelled transition systems: an activity, supposed to be atomic at a certain abstraction level, can be represented by a transition, the label of which is the name of the activity itself. Once these atomic actions are de ned, one technique to control the complexity of a...
متن کاملSpeci cation and Veri cation of Data driven Web Services
We study data driven Web services provided by Web sites interacting with users or applications The Web site can access an underlying database as well as state information updated as the interaction pro gresses and receives user input The structure and contents of Web pages as well as the actions to be taken are determined dynamically by querying the underlying database as well as the state and ...
متن کاملVisualization of Path Expressions in a Virtual Object-Oriented Database Query Language
Although path expressions in object-oriented query languages have materialized the capability of concisely manipulating the nested structures, their presence in query expressions require complex semantic considerations. However, none of currently existing visual query languages models such complex query expressions in a concise and intuitive way partly due to either the lack of well-de ned synt...
متن کاملCompositional Speci cation and Veri cation ofHigh - Speed Transfer
Transfer protocols are composed from basic protocol mechanisms and accordingly a complex protocol can be veriied by a series of relatively simple mechanism proofs. Our approach applies L. Lamport's Temporal Logic of Actions (TLA). It is based on a modular compositional TLA-style and supports the analysis of exibly conngured high-speed transfer protocols.
متن کاملVisual Query of Completely Encapsulated Objects
This paper presents a general purpose object query system and language, called QBI (Query by Icon), that involves the manipulation of icons for composing a query. It requires neither special knowledge of the content of the underlying database or understanding of the details of the database schema, hence it is equally useful to both unsophisticated and expert users. A user perceives the database...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015