A Model-based Methodology for Tool Supported Design of Automated Systems

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hüfner, Martin (VerfasserIn)
Format: Abschlussarbeit Buch
Sprache:English
Veröffentlicht: Herzogenrath Shaker 2015
Ausgabe:1. Aufl
Schriftenreihe:Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung 2015,2
Schlagworte:
Online-Zugang:Inhaltstext
Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MARC

LEADER 00000nam a2200000 cb4500
001 BV042662022
003 DE-604
005 20150805
007 t|
008 150630s2015 xx a||| m||| 00||| eng d
015 |a 15N13  |2 dnb 
016 7 |a 106864043X  |2 DE-101 
020 |a 9783844035445  |c : Pb. : EUR 49.80 (DE)  |9 978-3-8440-3544-5 
035 |a (OCoLC)1150791822 
035 |a (DE-599)DNB106864043X 
040 |a DE-604  |b ger 
041 0 |a eng 
049 |a DE-83 
082 0 |a 629.895512  |2 22/ger 
084 |a 621.3  |2 sdnb 
084 |a 004  |2 sdnb 
084 |a 620  |2 sdnb 
100 1 |a Hüfner, Martin  |e Verfasser  |4 aut 
245 1 0 |a A Model-based Methodology for Tool Supported Design of Automated Systems  |c Martin Hüfner 
250 |a 1. Aufl 
264 1 |a Herzogenrath  |b Shaker  |c 2015 
300 |a 208 S.  |b 93 farb. Ill.  |c 210 mm x 148 mm, 353 g 
336 |b txt  |2 rdacontent 
337 |b n  |2 rdamedia 
338 |b nc  |2 rdacarrier 
490 1 |a Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung  |v 2015,2 
502 |a Zugl.: Technische Universität Dortmund, Diss., 2014 
650 0 7 |a Automatisierungssystem  |0 (DE-588)4112648-8  |2 gnd  |9 rswk-swf 
650 0 7 |a Integration  |0 (DE-588)4027238-2  |2 gnd  |9 rswk-swf 
650 0 7 |a Modellgetriebene Entwicklung  |0 (DE-588)4832365-2  |2 gnd  |9 rswk-swf 
650 0 7 |a Softwarewerkzeug  |0 (DE-588)4116526-3  |2 gnd  |9 rswk-swf 
650 0 7 |a Modelltransformation  |0 (DE-588)7616754-9  |2 gnd  |9 rswk-swf 
650 0 7 |a Austauschformat  |0 (DE-588)4494775-6  |2 gnd  |9 rswk-swf 
650 0 7 |a Entwurfssprache  |0 (DE-588)4295335-2  |2 gnd  |9 rswk-swf 
655 7 |0 (DE-588)4113937-9  |a Hochschulschrift  |2 gnd-content 
689 0 0 |a Automatisierungssystem  |0 (DE-588)4112648-8  |D s 
689 0 1 |a Modellgetriebene Entwicklung  |0 (DE-588)4832365-2  |D s 
689 0 2 |a Softwarewerkzeug  |0 (DE-588)4116526-3  |D s 
689 0 3 |a Modelltransformation  |0 (DE-588)7616754-9  |D s 
689 0 4 |a Integration  |0 (DE-588)4027238-2  |D s 
689 0 5 |a Entwurfssprache  |0 (DE-588)4295335-2  |D s 
689 0 6 |a Austauschformat  |0 (DE-588)4494775-6  |D s 
689 0 |5 DE-604 
830 0 |a Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung  |v 2015,2  |w (DE-604)BV035738045  |9 2015,2 
856 4 |q text/html  |u http://deposit.dnb.de/cgi-bin/dokserv?id=5179509&prov=M&dok_var=1&dok_ext=htm  |3 Inhaltstext 
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=028094294&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA  |3 Inhaltsverzeichnis 
943 1 |a oai:aleph.bib-bvb.de:BVB01-028094294 

Datensatz im Suchindex

_version_ 1819579266102198272
adam_text CONTENTS LIST OF FIGURES XIX 1 INTRODUCTION 1 1.1 GENERAL PROBLEM DESCRIPTION 1 1.2 RELATED WORK 2 1.2.1 COMMERCIAL TOOL SUITES 2 1.2.2 MOSAIC (FROM ESA) 3 1.2.3 FUNCTIONAL MOCK-UP INTERFACE 3 1.2.4 MOSAIC (FROM TU BERLIN) 4 1.2.5 TRIPLE GRAPH GRAMMARS 5 1.2.6 AUTOMATIONML 5 1.2.7 ONTOCAPE 6 1.3 CONTRIBUTION OF THIS THESIS G 1.4 OUTLINE OF THIS THESIS 9 2 FUNDAMENTALS 11 2.1 MODELING AND MODEL-BASED DESIGN 11 2.2 TOOL INTEGRATION 13 2.2.1 TOOL INTEGRATION VIA MODEL TRANSFORMATION 13 2.2.2 TOOL INTEGRATION VIA CO-SIMULATION 14 2.3 AUTOMATA-BASED VS. EQUATION-BASED MODELING 15 2.4 MODEL-BASED DESIGN APPROACHES 17 2.4.1 WATERFALL MODEL , 17 2.4.2 V-MODEL 18 XIII HTTP://D-NB.INFO/106864043X XIV CONTENTS 2.4.3 AGILE METHODS 20 2.4.4 THE BOD.ERC METHODOLOGY 20 2.5 TOOLS FOR THE MODEL-BASED DESIGN 22 2.5.1 MATLAB / SIINULINK 23 2.5.2 MODEL.ICA 24 2.5.3 ECOSIMPRO 24 2.5.4 20-SI.M. 25 2.5.5 YPROMS 25 2.5.G C1F 20 2.5.7 CHI 26 2.5.8 DC/FT 26 2.5.9 SEQUENTIAL FUNCTION. CHARTS 27 2.5.10 TAOPT. 28 2.5.11 UPPAAL 28 2.5.12 SPACEEX 29 2.5.13 [IUEJ.SQUA.RE/ARCADE 29 2.5.14 MUSCOD-II 29 2.5.15 ONTOCAPE 30 2.5.16 SYSML 32 2.5.17 THE MULTIFORM DESIGN FRAMEWORK (DF) 33 3 MODEL TRANSFORMATIONS 37 3.1 G PRO MS 38 3.1.1 GPROMS LANGUAGE DESCRIPTION 38 3.1.2 GPROMSSMS GRAMMAR IN EBNF FORMAT 39 3.1.3 RUNNING EXAMPLE I: THE BOUNCING BALL 45 3.1.4 GPR.OMS SEMANTICS 48 3.2 THE COMPOSITIONAL INTERCHANGE FORMAT (C LF) 50 3.2.1 CIF LANGUAGE DESCRIPTION 50 3.2.2 RUNNING EXAMPLE II: THE SIMPLE TANK 54 3.3 CHALLENGES AND OBSTACLES 56 CONTENTS XV 3.3.1 TRANSFORMATIONS BETWEEN EQUATION-BASED AND AUTOMATA-BASED MODELS 56 3.3.2 UNSUPPORTED MODELING ELEMENTS 57 3.3.3 TOOL SETTINGS WITHIN A MODEL 58 3.3.4 BALANCED AND UNBALANCED MODELS 59 3.4 GPROMS . CIF 59 3.4.1 PREPROCESSING 60 3.4.2 TRANSFORMATION OF GPROMS PROCESS 61 3.4.3 TRANSFORMATION OF GPROMS SCHEDULE 62 3.4.4 TRANSFORMATION GPROMS TASK 68 3.4.5 TRANSFORMATION OF GPROMS MODEL 68 3.4.6 TRANSFORMATION OF GPROMS DECLARE 73 3.4.7 COMPARISON OF SIMULATION RESULTS 73 3.5 CIF GPROMS 75 3.5.1 PREPROCESSING 76 3.5.2 TRANSFORMATION OVERVIEW 78 3.5.3 TRANSFORMATION OF MODEL ELEMENTS 79 3.5.4 TRANSFORMATION OF AUTOMATON ELEMENTS 80 3.5.5 TRANSFORMATION OF CIF EXPRESSIONS 83 3.5.6 COMPARISON OF SIMULATION RESULTS 83 3.6 IMPLEMENTATION ENVIRONMENT 85 3.7 ADDITIONAL TRANSFORMATIONS 87 3.7.1 MODELICA CIF 87 3.7.2 CIF MUSCOD-II 88 3.7.3 ECOSIMPRO CIF 89 3.7.4 UPPAAL ^ CIF 89 3.7.5 SPACEEX CIF 90 3.7.G CHI O CIF 90 3.7.7 SFC ** CIF 90 3.7.8 CIF ** STRUCTURED TEXT 91 3.7.9 CIF ETHERCAT 91 XVI CONTENTS 3.7.10 CIF * MATLAB/SIMXDINK 91 3.8 TRANSFORMATION TOOLCHAIN EXAMPLES 92 3.8.1 LAB PLANT OPTIMIZATION EXAMPLE 92 3.8.2 PILOT PLANT CONTROL EXAMPLE 94 4 APPLIED MODEL-BASED DESIGN 99 4.1 THE MODEL-BASED DESIGN OF THE LAB. PIPELESS PLANT 100 4.1.1 EXAMPLES FROM INDUSTRY 100 4.1.2 THE LABORATORY PIPELESS PLANT 102 4.1.3 CHALLENGES 104 4.1.4 THE DESIGN FLOW 105 4.1.5 MODEL TRANSFORMATIONS USED IN THE DESIGN OF THE PIPELESS PLANT . . 119 4.1.6 FINAL REMARK ON THE LABORATORY PIPELESS PLANT, 120 4.2 VEMAC S PIEZO-CONTROLLCD CARBURETOR (PCC) 123 4.2.1 THE VEMAC DESIGN FLOW 123 4.2.2 THE ENHANCED DESIGN FLOW 125 4.2.3 FINAL REMARK ON THE VEMAC CASE STUDY 129 5 CONCLUSIONS 131 5.1 LESSONS LEARNED FROM MODEL TRANSFORMATIONS 131 5.1.1 TRANSFORMATION ALGORITHMS SUPPORT MODEL-BASED DESIGN 131 5.1.2 REPETITIVE TRANSFORMATIONS BETWEEN GPROMS AND THE CIF .... 132 5.1.3 TRANSFORMATIONS CROSSING AUTOMATA- AND EQUATION-BASED FORMALISMS 134 5.2 IMPACT OF THE MULTIFORM DESIGN FRAMEWORK ON INDUSTRIAL USERS .... 135 6 FUTURE WORK 137 G.L ENHANCEMENTS OF THE MULTIFORM DESIGN FRAMEWORK 137 6.2 ADDING META-INFORMATION TO LANGUAGES 138 G.3 FORMALIZATION OF LANGUAGES AND TOOLS 138 6.4 MODEL-CHECKING OF GPROMS MODELS 139 6.5 A NEW INTERCHANGE CONCEPT 139 CONTENTS XVII A METAMODELS 143 A.L METAMODEL OF THE CIF 143 A.2 METAMODEL OF GPROMS 149 B FORMAL DEFINITION OF GPROMS 159 B.L SUBSETS OF GPROMS 159 B.L.L EBNF 160 B.1.2 GPROMS CORE 160 B.L.3 GPROMSAUS 173 B.L.-I (J PROMS ME 176 B.L.5 GPROMS, 178 B.2 SEMANTIC FRAMEWORK 180 B.3 SEMANTICS 182 B.3.1 GPR.OMS CORE SPECIFICATIONS 182 B.3.2 GPR0MS CO R E SYSTEM DESCRIPTIONS 183 B.3.3 EQUATIONS 184 B.3.4 SCHEDULES 187 C SOURCE CODE OF RUNNING EXAMPLES 191 C.L THE BOUNCING BALL 191 C.L.L THE GPROMS BOUNCING BALL 191 C.L.2 THE CIF BOUNCING BALL 191 C.2 THE SIMPLE TANK EXAMPLE 193 C.2.1 THE CIF SIMPLE TANK 193 C.2.2 THE PREPROCESSED CIF SIMPLE TANK 193 C.2.3 THE GPROMS SIMPLE TANK 194 BIBLIOGRAPHY 199
any_adam_object 1
author Hüfner, Martin
author_facet Hüfner, Martin
author_role aut
author_sort Hüfner, Martin
author_variant m h mh
building Verbundindex
bvnumber BV042662022
ctrlnum (OCoLC)1150791822
(DE-599)DNB106864043X
dewey-full 629.895512
dewey-hundreds 600 - Technology (Applied sciences)
dewey-ones 629 - Other branches of engineering
dewey-raw 629.895512
dewey-search 629.895512
dewey-sort 3629.895512
dewey-tens 620 - Engineering and allied operations
discipline Maschinenbau / Maschinenwesen
Informatik
Elektrotechnik / Elektronik / Nachrichtentechnik
Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik
edition 1. Aufl
format Thesis
Book
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02603nam a2200589 cb4500</leader><controlfield tag="001">BV042662022</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150805 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">150630s2015 xx a||| m||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15N13</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">106864043X</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783844035445</subfield><subfield code="c">: Pb. : EUR 49.80 (DE)</subfield><subfield code="9">978-3-8440-3544-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1150791822</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB106864043X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">629.895512</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">621.3</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">620</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hüfner, Martin</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Model-based Methodology for Tool Supported Design of Automated Systems</subfield><subfield code="c">Martin Hüfner</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Aufl</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Herzogenrath</subfield><subfield code="b">Shaker</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">208 S.</subfield><subfield code="b">93 farb. Ill.</subfield><subfield code="c">210 mm x 148 mm, 353 g</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">Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung</subfield><subfield code="v">2015,2</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Technische Universität Dortmund, Diss., 2014</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisierungssystem</subfield><subfield code="0">(DE-588)4112648-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Integration</subfield><subfield code="0">(DE-588)4027238-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewerkzeug</subfield><subfield code="0">(DE-588)4116526-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Austauschformat</subfield><subfield code="0">(DE-588)4494775-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Automatisierungssystem</subfield><subfield code="0">(DE-588)4112648-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Softwarewerkzeug</subfield><subfield code="0">(DE-588)4116526-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Integration</subfield><subfield code="0">(DE-588)4027238-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Austauschformat</subfield><subfield code="0">(DE-588)4494775-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung</subfield><subfield code="v">2015,2</subfield><subfield code="w">(DE-604)BV035738045</subfield><subfield code="9">2015,2</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=5179509&amp;prov=M&amp;dok_var=1&amp;dok_ext=htm</subfield><subfield code="3">Inhaltstext</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&amp;doc_library=BVB01&amp;local_base=BVB01&amp;doc_number=028094294&amp;sequence=000001&amp;line_number=0001&amp;func_code=DB_RECORDS&amp;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-028094294</subfield></datafield></record></collection>
genre (DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet Hochschulschrift
id DE-604.BV042662022
illustrated Illustrated
indexdate 2024-12-24T04:30:39Z
institution BVB
isbn 9783844035445
language English
oai_aleph_id oai:aleph.bib-bvb.de:BVB01-028094294
oclc_num 1150791822
open_access_boolean
owner DE-83
owner_facet DE-83
physical 208 S. 93 farb. Ill. 210 mm x 148 mm, 353 g
publishDate 2015
publishDateSearch 2015
publishDateSort 2015
publisher Shaker
record_format marc
series Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung
series2 Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung
spellingShingle Hüfner, Martin
A Model-based Methodology for Tool Supported Design of Automated Systems
Schriftenreihe des Lehrstuhls für Systemdynamik und Prozessführung
Automatisierungssystem (DE-588)4112648-8 gnd
Integration (DE-588)4027238-2 gnd
Modellgetriebene Entwicklung (DE-588)4832365-2 gnd
Softwarewerkzeug (DE-588)4116526-3 gnd
Modelltransformation (DE-588)7616754-9 gnd
Austauschformat (DE-588)4494775-6 gnd
Entwurfssprache (DE-588)4295335-2 gnd
subject_GND (DE-588)4112648-8
(DE-588)4027238-2
(DE-588)4832365-2
(DE-588)4116526-3
(DE-588)7616754-9
(DE-588)4494775-6
(DE-588)4295335-2
(DE-588)4113937-9
title A Model-based Methodology for Tool Supported Design of Automated Systems
title_auth A Model-based Methodology for Tool Supported Design of Automated Systems
title_exact_search A Model-based Methodology for Tool Supported Design of Automated Systems
title_full A Model-based Methodology for Tool Supported Design of Automated Systems Martin Hüfner
title_fullStr A Model-based Methodology for Tool Supported Design of Automated Systems Martin Hüfner
title_full_unstemmed A Model-based Methodology for Tool Supported Design of Automated Systems Martin Hüfner
title_short A Model-based Methodology for Tool Supported Design of Automated Systems
title_sort a model based methodology for tool supported design of automated systems
topic Automatisierungssystem (DE-588)4112648-8 gnd
Integration (DE-588)4027238-2 gnd
Modellgetriebene Entwicklung (DE-588)4832365-2 gnd
Softwarewerkzeug (DE-588)4116526-3 gnd
Modelltransformation (DE-588)7616754-9 gnd
Austauschformat (DE-588)4494775-6 gnd
Entwurfssprache (DE-588)4295335-2 gnd
topic_facet Automatisierungssystem
Integration
Modellgetriebene Entwicklung
Softwarewerkzeug
Modelltransformation
Austauschformat
Entwurfssprache
Hochschulschrift
url http://deposit.dnb.de/cgi-bin/dokserv?id=5179509&prov=M&dok_var=1&dok_ext=htm
http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028094294&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link (DE-604)BV035738045
work_keys_str_mv AT hufnermartin amodelbasedmethodologyfortoolsupporteddesignofautomatedsystems