1979
DOI: 10.1016/0096-0551(79)90009-2
|View full text |Cite
|
Sign up to set email alerts
|

An approach to software system modelling and analysis

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
6
0

Year Published

1985
1985
2023
2023

Publication Types

Select...
5
3
2

Relationship

0
10

Authors

Journals

citations
Cited by 19 publications
(6 citation statements)
references
References 10 publications
0
6
0
Order By: Relevance
“…They introduced flow expressions, which allow for sequential operators (catenation and iterated catenation) as well as for parallel operators (shuffle and iterated shuffle). See also [26,27] for an approach using only the ordinary shuffle, but not the iterated shuffle. Starting from this, various subclasses of the flow expressions were investigated [4,6,15,16,17,18,19,31].…”
Section: The Shuffle Operation In Formal Language Theorymentioning
confidence: 99%
“…They introduced flow expressions, which allow for sequential operators (catenation and iterated catenation) as well as for parallel operators (shuffle and iterated shuffle). See also [26,27] for an approach using only the ordinary shuffle, but not the iterated shuffle. Starting from this, various subclasses of the flow expressions were investigated [4,6,15,16,17,18,19,31].…”
Section: The Shuffle Operation In Formal Language Theorymentioning
confidence: 99%
“…Firstly, an automaton is built that represents the set of symbolic traces under the SC memory model. For SC memory model such an automaton is obtained by language level shuffle operation [26,17] on individual processes. Subsequently, a symbolic trace is picked from this automaton and checked against a given safety property using weakest precondition axioms [15].…”
Section: Trace Partitioning Approachmentioning
confidence: 99%
“…This formalism, described in detail in [35], was originally developed for studying distributed systems with dynamic structure [33]. It evolved from the PPML formalism [31] that served as the foundation for the DREAM software development system [30,341. One component of DPMS is a modeling language, called DYMOL, that can be used to formulate precise, high-level, procedural descriptions of constituent processes in a distributed system [35].…”
Section: Framework For a Design Notationmentioning
confidence: 99%