1993
DOI: 10.1007/978-3-663-14018-4
|View full text |Cite
|
Sign up to set email alerts
|

Modeling of Dynamic Object Systems

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
10
0

Year Published

1993
1993
2005
2005

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 10 publications
(10 citation statements)
references
References 0 publications
0
10
0
Order By: Relevance
“…The Padova group has similar and complementary lines of research as the Pisa group as far as reaction mechanisms are concerned. However it has a special interest for a somehow lower energy domain where fusion and the coupling to breakup channels are particularly important [9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24]. Besides it is active in studying structure problems such as: -Study of the pairing correlations in low-density nuclear systems, as in the external part of halo nuclei.…”
Section: Reaction Mechanisms and Structure Of Rarementioning
confidence: 99%
“…The Padova group has similar and complementary lines of research as the Pisa group as far as reaction mechanisms are concerned. However it has a special interest for a somehow lower energy domain where fusion and the coupling to breakup channels are particularly important [9][10][11][12][13][14][15][16][17][18][19][20][21][22][23][24]. Besides it is active in studying structure problems such as: -Study of the pairing correlations in low-density nuclear systems, as in the external part of halo nuclei.…”
Section: Reaction Mechanisms and Structure Of Rarementioning
confidence: 99%
“…We give a particularly simple template model where enabled and occurring actions as well as data observations are uniformly treated as facts: sets of facts describe situations, finite or countably infinite sequences of situations describe life cycles, and sets of life cycles describe template processes. Amazingly enough, this simple model is powerful enough to serve as a semantic basis for languages like TROLL [JSHS91,Ju93].…”
Section: Templatesmentioning
confidence: 99%
“…In this paper, we outline a theory of object-oriented information systems specification and design, focussing on a formal semantics for TROLL. In his recent dissertation [Ju93], the second author offered a close to complete formal semantics adopting OSL [SSC92] which is based on temporal logic. We extend this approach in order to allow for a complete semantic description, including also dynamic object roles and phases as well as object creation and deletion.…”
Section: Introductionmentioning
confidence: 99%