Enhancing the SYSLAB system model with state:
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
1996
|
| Series: | Technische Universität <München>: TUM-I
9631 |
| Subjects: | |
| Links: | 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 |
| Abstract: | 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." |
| Item Description: | Literaturverz. S. 40 - 42 |
| Physical Description: | 42 S. graph. Darst. |
Staff View
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 | |
Record in the Search Index
| _version_ | 1818954134799253504 |
|---|---|
| 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>02009nam a2200421 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-12-20T10:17:21Z |
| 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 |