Non-deterministic system specification

Abrial, Jean-Raymond; Schuman, Stephen A.

doi:10.1007/bfb0022462

Cited by 6 publications

(5 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Those examples tried have appeared to require some form of temporal argument. Modal logic is now being widely used for such problems [1,9,23,27,35]. The extension of a modal logic to cover binary relations may yield some interesting insights.…”

Section: Discussionmentioning

confidence: 99%

Tentative steps toward a development method for interfering programs

Jones

1983

ACM Trans. Program. Lang. Syst.

488

334

View full text Add to dashboard Cite

Development methods for (sequential) programs that run in isolation have been studied elsewhere. Programs that run in parallel can interfere with each other, either via shared storage or by sending messages. Extensions to earlier development methods are proposed for the rigorous development of interfering programs. In particular, extensions to the specification method based on postconditions that are predicates of two states and the development methods of operation decomposition and data refinement are proposed.

show abstract

Section: Discussionmentioning

confidence: 99%

Tentative steps toward a development method for interfering programs

Jones

1983

ACM Trans. Program. Lang. Syst.

488

334

View full text Add to dashboard Cite

show abstract

“…• A language defines the operations of activities. Here we may apply formal specification languages such as abstract state machines, B [13], VDM [2] or Z [1], but also programming languages like Java or C++.…”

Section: General Requirementsmentioning

confidence: 99%

“…Another attempt to master complexity was to introduce more levels of abstraction in the development. So techniques for structural analysis and design were introduced and later formal specifications with languages as Z [1] and Vienna Development Method (VDM) [2].…”

Section: Introductionmentioning

confidence: 99%

An SOA-based architecture framework

Aalst

Beisiegel

Hee

et al. 2007

IJBPIM

View full text Add to dashboard Cite

Abstract. In this paper we present first results of a SOA-based architecture framework. The architecture framework is required to be close to industry standards, especially to service component architecture (SCA), language independent (i.e. it is adoptable) and the building blocks of each system, activities and data, are first class citizens. We present a meta model of the architecture framework and discuss its concepts in detail.

show abstract

“…A query is then a formula constructed from such predicates using conjunction and disjunction operations, and universal and existential qualifiers. To obtain a formal definition of a query we begin with the definition of a (well-formed) formula: 1 . Templates are the only predicates, and each predicate is an atomic formula.…”

Section: C It E S X ) and (Xa U T H O R Y)"mentioning

confidence: 99%

Browsing in a loosely structured database

Motro

1984

Proceedings of the 1984 ACM SIGMOD International Conference on Management of Data - SIGMOD '84

View full text Add to dashboard Cite

A b s tr a c tCurrent database architectures emphasize structure and are inappropriate for applications which model environments that are subject to constant evolution, or environments which do not lend themselves to massive classifications. In this paper we describe an architecture which promotes databases that are only loosely stru ctu red: heaps of facts instead of highly structured data. This architecture avoids the traditional dichotomy between ■schema* and ■d a ta ", and it incorporates a single mechanism for defining both inference rules and integrity constraints. As lack of organization will usually have adverse effect on retrieval, the principal retrieval method for loosely structured databases is browsing: exploratory searching which does not assume any knowledge of the organization (or even the very existence of organization).Two styles of browsing, called navigation and probing, are defined. Both are derived from a standard query language based on predicate logic.

show abstract

Non-deterministic system specification

Cited by 6 publications

References 7 publications

Tentative steps toward a development method for interfering programs

Tentative steps toward a development method for interfering programs

An SOA-based architecture framework

Browsing in a loosely structured database

Contact Info

Product

Resources

About