Enhancing the SYSLAB system model with state:
Abstract: "In this report, the SYSLAB system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and corresponding denotational semantics are given. Composition is defined for components modeled in the state-box view as we...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
München
1996
|
| Schriftenreihe: | Technische Universität <München>: TUM-I
9631 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | Abstract: "In this report, the SYSLAB system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and corresponding denotational semantics are given. Composition is defined for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-defined for networks of infinitely many components. To show the applicability of the model, several examples are given." |
| Beschreibung: | Literaturverz. S. 40 - 42 |
| Beschreibung: | 42 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011712913 | ||
| 003 | DE-604 | ||
| 005 | 20040416 | ||
| 007 | t | ||
| 008 | 971222s1996 gw d||| t||| 00||| ger d | ||
| 016 | 7 | |a 952261855 |2 DE-101 | |
| 035 | |a (OCoLC)38894080 | ||
| 035 | |a (DE-599)BVBBV011712913 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 | ||
| 088 | |a TUM I 9631 | ||
| 100 | 1 | |a Grosu, Radu |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Enhancing the SYSLAB system model with state |c Radu Grosu ; Cornel Klein ; Bernhard Rumpe |
| 264 | 1 | |a München |c 1996 | |
| 300 | |a 42 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9631 | |
| 500 | |a Literaturverz. S. 40 - 42 | ||
| 520 | 3 | |a Abstract: "In this report, the SYSLAB system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and corresponding denotational semantics are given. Composition is defined for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-defined for networks of infinitely many components. To show the applicability of the model, several examples are given." | |
| 650 | 4 | |a Mathematisches Modell | |
| 650 | 4 | |a Mathematical models | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a System analysis | |
| 650 | 4 | |a Systems engineering | |
| 700 | 1 | |a Klein, Cornel |e Verfasser |4 aut | |
| 700 | 1 | |a Rumpe, Bernhard |d 1967- |e Verfasser |0 (DE-588)113726414 |4 aut | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9631 |w (DE-604)BV006185376 |9 9631 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007898607&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007898607 | |
Datensatz im Suchindex
| _version_ | 1807320385934327808 |
|---|---|
| adam_text |
CONTENTS
1
INTRODUCTION
3
2
GOALS
OF
THE
S
YS
L
AB
SYSTEM
MODEL
4
2.1
SOFTWARE
ENGINEERING
METHODS
.
4
2.2
THE
ROLE
OF
THE
SYSTEM
MODEL
IN
S
YS
L
AB
.
5
2.3
REQUIREMENTS
ON
THE
SYSTEM
MODEL
.
6
3
BASIC
NOTIONS
8
3.1
COMMUNICATION
HISTORIES
.
8
3.2
SUM
AND
PROJECTION
.
9
4
BASIC
COMPONENTS
10
4.1
STATE-BOX
VIEW
.
10
4.1.1
TIMED
PORT-AUTOMATA
.
10
4.1.2
EXECUTIONS,
SCHEDULES
AND
BEHAVIORS
.
11
4.1.3
STRONGLY
PULSE
DRIVEN
AUTOMATA
.
12
4.2
BLACK-BOX
VIEW
.
13
5
NETWORKS
15
5.1
COMPOSITION
OF
STATE-BOX
VIEWS
.
15
5.1.1
BINARY
COMPOSITION
.
15
5.1.2
INFINITE
COMPOSITION
.
18
5.1.3
HIDING
.
19
5.2
COMPOSITION
OF
BLACK-BOX
VIEWS
.
20
5.2.1
BINARY
COMPOSITION
.
20
5.2.2
INFINITE
COMPOSITION
.
21
5.2.3
HIDING
.
22
6
SYSTEM
MODEL
23
6.1
OUTLINE
OF
THE
SYSTEM
MODEL
.
23
6.2
COMPONENT
HIERARCHY
.
24
6.3
SIGNATURE
OF
COMPONENTS
.
24
6.4
BEHAVIOR
OF
COMPONENTS
.
24
6.5
BASIC
COMPONENTS
.
25
6.6
STATE
OF
BASIC
COMPONENTS
.
26
6.7
SORTS
IN
THE
SYSTEM
MODEL
.
26
6.8
COMMUNICATION
MEDIUM
.
26
6.9
DISTRIBUTED
COMPONENTS
.
30
7
EXAMPLES
32
7.1
QUEUE
.
32
7.2
RS-FLIP-FLOP
.
35
8
CONCLUSION
39
2 |
| any_adam_object | 1 |
| author | Grosu, Radu Klein, Cornel Rumpe, Bernhard 1967- |
| author_GND | (DE-588)113726414 |
| author_facet | Grosu, Radu Klein, Cornel Rumpe, Bernhard 1967- |
| author_role | aut aut aut |
| author_sort | Grosu, Radu |
| author_variant | r g rg c k ck b r br |
| building | Verbundindex |
| bvnumber | BV011712913 |
| ctrlnum | (OCoLC)38894080 (DE-599)BVBBV011712913 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011712913</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040416</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971222s1996 gw d||| t||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">952261855</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38894080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011712913</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">TUM I 9631</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Grosu, Radu</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Enhancing the SYSLAB system model with state</subfield><subfield code="c">Radu Grosu ; Cornel Klein ; Bernhard Rumpe</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">42 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9631</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 40 - 42</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this report, the SYSLAB system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and corresponding denotational semantics are given. Composition is defined for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-defined for networks of infinitely many components. To show the applicability of the model, several examples are given."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematisches Modell</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical models</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System analysis</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Klein, Cornel</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rumpe, Bernhard</subfield><subfield code="d">1967-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113726414</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9631</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9631</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007898607&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007898607</subfield></datafield></record></collection> |
| id | DE-604.BV011712913 |
| illustrated | Illustrated |
| indexdate | 2024-08-14T00:23:52Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007898607 |
| oclc_num | 38894080 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | 42 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I |
| spelling | Grosu, Radu Verfasser aut Enhancing the SYSLAB system model with state Radu Grosu ; Cornel Klein ; Bernhard Rumpe München 1996 42 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9631 Literaturverz. S. 40 - 42 Abstract: "In this report, the SYSLAB system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and corresponding denotational semantics are given. Composition is defined for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-defined for networks of infinitely many components. To show the applicability of the model, several examples are given." Mathematisches Modell Mathematical models Software engineering System analysis Systems engineering Klein, Cornel Verfasser aut Rumpe, Bernhard 1967- Verfasser (DE-588)113726414 aut Technische Universität <München>: TUM-I 9631 (DE-604)BV006185376 9631 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007898607&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Grosu, Radu Klein, Cornel Rumpe, Bernhard 1967- Enhancing the SYSLAB system model with state Technische Universität <München>: TUM-I Mathematisches Modell Mathematical models Software engineering System analysis Systems engineering |
| title | Enhancing the SYSLAB system model with state |
| title_auth | Enhancing the SYSLAB system model with state |
| title_exact_search | Enhancing the SYSLAB system model with state |
| title_full | Enhancing the SYSLAB system model with state Radu Grosu ; Cornel Klein ; Bernhard Rumpe |
| title_fullStr | Enhancing the SYSLAB system model with state Radu Grosu ; Cornel Klein ; Bernhard Rumpe |
| title_full_unstemmed | Enhancing the SYSLAB system model with state Radu Grosu ; Cornel Klein ; Bernhard Rumpe |
| title_short | Enhancing the SYSLAB system model with state |
| title_sort | enhancing the syslab system model with state |
| topic | Mathematisches Modell Mathematical models Software engineering System analysis Systems engineering |
| topic_facet | Mathematisches Modell Mathematical models Software engineering System analysis Systems engineering |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007898607&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV006185376 |
| work_keys_str_mv | AT grosuradu enhancingthesyslabsystemmodelwithstate AT kleincornel enhancingthesyslabsystemmodelwithstate AT rumpebernhard enhancingthesyslabsystemmodelwithstate |