Domain-specific development of event condition action policies:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Berlin
Logos Verl.
2014
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 352 S. graph. Darst. |
| ISBN: | 9783832537616 3832537619 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042201490 | ||
| 003 | DE-604 | ||
| 005 | 20150108 | ||
| 007 | t | ||
| 008 | 141121s2014 d||| m||| 00||| eng d | ||
| 020 | |a 9783832537616 |9 978-3-8325-3761-6 | ||
| 020 | |a 3832537619 |9 3-8325-3761-9 | ||
| 035 | |a (OCoLC)897385058 | ||
| 035 | |a (DE-599)BVBBV042201490 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 045 | |a 021229135 | ||
| 049 | |a DE-384 |a DE-29T | ||
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Romeikat, Raphael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Domain-specific development of event condition action policies |c Raphael Romeikat |
| 264 | 1 | |a Berlin |b Logos Verl. |c 2014 | |
| 300 | |a IX, 352 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Augsburg, Univ., Diss., 2012 | ||
| 650 | 0 | 7 | |a Ereignisgesteuertes System |0 (DE-588)4462531-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a MOF QVT |0 (DE-588)7688067-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Netzwerkverwaltung |0 (DE-588)4314339-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Bedingungs-Ereignis-System |0 (DE-588)4846352-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verfeinerung |0 (DE-588)4267759-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Regelbasiertes Modell |0 (DE-588)4728094-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Funknetz |0 (DE-588)4216130-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Ereignisgesteuertes System |0 (DE-588)4462531-5 |D s |
| 689 | 0 | 1 | |a Regelbasiertes Modell |0 (DE-588)4728094-3 |D s |
| 689 | 0 | 2 | |a Bedingungs-Ereignis-System |0 (DE-588)4846352-8 |D s |
| 689 | 0 | 3 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 4 | |a Domänenspezifische Programmiersprache |0 (DE-588)7585264-0 |D s |
| 689 | 0 | 5 | |a Verfeinerung |0 (DE-588)4267759-2 |D s |
| 689 | 0 | 6 | |a MOF QVT |0 (DE-588)7688067-9 |D s |
| 689 | 0 | 7 | |a Netzwerkverwaltung |0 (DE-588)4314339-8 |D s |
| 689 | 0 | 8 | |a Funknetz |0 (DE-588)4216130-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=027640364&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027640364 | ||
Record in the Search Index
| _version_ | 1804152718730723328 |
|---|---|
| adam_text | CONTENTS
ABSTRACT III
ACKNOWLEDGMENTS V
1 INTRODUCTION 1
1.1 EVOLUTION OF COMPLEXITY 3
1.2 PROBLEMS AND OBJECTIVES 6
1.3 APPROACH AND CONTRIBUTIONS 9
1.4 PUBLICATIONS 13
1.5 OUTLINE 15
2 POLICY-BASED MANAGEMENT 17
2.1 HISTORY 18
2.1.1 ACCESS CONTROL 18
2.1.2 MANAGEMENT PARADIGM 20
2.1.3 POLICY-BASED NETWORK MANAGEMENT 21
2.2 POLICIES 24
2.2.1 POLICIES AND RULES 25
2.2.2 POLICY SPECIFICATION 27
2.2.3 POLICY REFINEMENT 30
2.2.4 POLICY ENFORCEMENT 33
2.3 POLICY LANGUAGES AND ENGINES 37
2.3.1 PDL 37
2.3.2 APPEL 39
2.3.3 PONDERTALK 41
2.4 CONCLUSION AND OUTLOOK 43
3 MODEL-BASED POLICY SPECIFICATION 45
3.1 EXAMPLE SCENARIO 48
3.2 RELATIONAL ALGEBRA 49
3.3 DOMAIN MODELING 51
3.3.1 DOMAIN METAMODEL 52
3.3.2 DOMAIN MODEL 53
3.3.3 EXAMPLE 69
HTTP://D-NB.INFO/1059153211
VIII CONTENTS
3.4 POLICY MODELING 71
3.4.1 POLICY METAMODEL 72
3.4.2 POLICY MODEL 73
3.4.3 EXAMPLE 86
3.5 DOMAIN-SPECIFIC POLICY MODELING 88
3.5.1 LINKING METAMODEL 89
3.5.2 LINKING MODEL 90
3.5.3 EXAMPLE 104
3.6 RELATED WORK 106
3.7 CONCLUSION AND OUTLOOK 112
4 MODEL-DRIVEN POLICY REFINEMENT 115
4.1 DOMAIN REFINEMENT 117
4.1.1 MAPPING PATTERNS 118
4.1.2 MAPPING METAMODEL 119
4.1.3 MAPPING MODEL 120
4.1.4 EXAMPLE 135
4.2 POLICY REFINEMENT 137
4.2.1 REFINEMENT RULES 138
4.2.2 GENERATION OF REFINED POLICIES 157
4.2.3 VALIDATION OF THE REFINEMENT 164
4.2.4 EXAMPLE 192
4.3 RELATED WORK 199
4.4 CONCLUSION AND OUTLOOK 209
5 CASE STUDIES 211
5.1 MANAGEMENT OF MOBILE NETWORKS 212
5.1.1 NETWORK MANAGEMENT 212
5.1.2 POLICY-BASED COORDINATION 214
5.1.3 PHYSICAL CELL ID ASSIGNMENT 216
5.1.4 MODEL-BASED POLICY SPECIFICATION 221
5.1.5 MODEL-DRIVEN POLICY REFINEMENT 226
5.2 CALCULATION OF BONUS PAYMENTS 234
5.2.1 BONUS MODEL 234
5.2.2 BONUS PROCESS 235
5.2.3 MODEL-BASED POLICY SPECIFICATION 237
5.2.4 MODEL-DRIVEN POLICY REFINEMENT 242
5.3 CONCLUSION AND OUTLOOK 249
6 CONCLUSION AND OUTLOOK 251
6.1 SUMMARY 252
6.2 DISCUSSION 254
CONTENTS IX
A FORMAL SPECIFICATIONS 259
A.L MANAGEMENT OF MOBILE NETWORKS 260
A.1.1 DOMAIN MODEL 260
A.1.2 MAPPING MODEL 262
A.1.3 POLICY MODEL 263
A. 1.4 LINKING MODEL 265
A.2 CALCULATION OF BONUS PAYMENTS 267
A.2.1 DOMAIN MODEL 267
A.2.2 MAPPING MODEL 269
A.2.3 POLICY MODEL 270
A.2.4 LINKING MODEL 272
B FORMAL PROOFS 275
B.L EXTENSION WITH A POLICY 276
B.2 EXTENSION WITH AN EVENT 277
B.3 EXTENSION WITH A CONDITION 278
B.4 EXTENSION WITH A CONDITION NESTING 280
B.5 EXTENSION WITH AN ACTION 288
B.6 EXTENSION WITH AN EVENT LINK 290
B.7 EXTENSION WITH A BINARY EXPRESSION LINK 293
B.8 EXTENSION WITH AN OPERATIONAL EXPRESSION LINK 302
B.9 EXTENSION WITH AN ACTION LINK 306
B.10 EXTENSION WITH AN OPERATION INVOKING LINK 310
BIBLIOGRAPHY 319
LIST OF ACRONYMS 337
LIST OF SYMBOLS 341
LIST OF FIGURES 345
LIST OF TABLES 349
LIST OF ALGORITHMS 353
|
| any_adam_object | 1 |
| author | Romeikat, Raphael |
| author_facet | Romeikat, Raphael |
| author_role | aut |
| author_sort | Romeikat, Raphael |
| author_variant | r r rr |
| building | Verbundindex |
| bvnumber | BV042201490 |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)897385058 (DE-599)BVBBV042201490 |
| discipline | Informatik |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02416nam a2200553 c 4500</leader><controlfield tag="001">BV042201490</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150108 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">141121s2014 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783832537616</subfield><subfield code="9">978-3-8325-3761-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832537619</subfield><subfield code="9">3-8325-3761-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)897385058</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042201490</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="045" ind1=" " ind2=" "><subfield code="a">021229135</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-29T</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Romeikat, Raphael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Domain-specific development of event condition action policies</subfield><subfield code="c">Raphael Romeikat</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos Verl.</subfield><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 352 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Augsburg, Univ., Diss., 2012</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ereignisgesteuertes System</subfield><subfield code="0">(DE-588)4462531-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">MOF QVT</subfield><subfield code="0">(DE-588)7688067-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Netzwerkverwaltung</subfield><subfield code="0">(DE-588)4314339-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bedingungs-Ereignis-System</subfield><subfield code="0">(DE-588)4846352-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Regelbasiertes Modell</subfield><subfield code="0">(DE-588)4728094-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Funknetz</subfield><subfield code="0">(DE-588)4216130-7</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="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">Ereignisgesteuertes System</subfield><subfield code="0">(DE-588)4462531-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Regelbasiertes Modell</subfield><subfield code="0">(DE-588)4728094-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Bedingungs-Ereignis-System</subfield><subfield code="0">(DE-588)4846352-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="4"><subfield code="a">Domänenspezifische Programmiersprache</subfield><subfield code="0">(DE-588)7585264-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Verfeinerung</subfield><subfield code="0">(DE-588)4267759-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">MOF QVT</subfield><subfield code="0">(DE-588)7688067-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="7"><subfield code="a">Netzwerkverwaltung</subfield><subfield code="0">(DE-588)4314339-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="8"><subfield code="a">Funknetz</subfield><subfield code="0">(DE-588)4216130-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=027640364&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027640364</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042201490 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T01:15:10Z |
| institution | BVB |
| isbn | 9783832537616 3832537619 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027640364 |
| oclc_num | 897385058 |
| open_access_boolean | |
| owner | DE-384 DE-29T |
| owner_facet | DE-384 DE-29T |
| physical | IX, 352 S. graph. Darst. |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Logos Verl. |
| record_format | marc |
| spelling | Romeikat, Raphael Verfasser aut Domain-specific development of event condition action policies Raphael Romeikat Berlin Logos Verl. 2014 IX, 352 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Zugl.: Augsburg, Univ., Diss., 2012 Ereignisgesteuertes System (DE-588)4462531-5 gnd rswk-swf MOF QVT (DE-588)7688067-9 gnd rswk-swf Netzwerkverwaltung (DE-588)4314339-8 gnd rswk-swf Bedingungs-Ereignis-System (DE-588)4846352-8 gnd rswk-swf Verfeinerung (DE-588)4267759-2 gnd rswk-swf Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd rswk-swf Regelbasiertes Modell (DE-588)4728094-3 gnd rswk-swf Funknetz (DE-588)4216130-7 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Ereignisgesteuertes System (DE-588)4462531-5 s Regelbasiertes Modell (DE-588)4728094-3 s Bedingungs-Ereignis-System (DE-588)4846352-8 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Domänenspezifische Programmiersprache (DE-588)7585264-0 s Verfeinerung (DE-588)4267759-2 s MOF QVT (DE-588)7688067-9 s Netzwerkverwaltung (DE-588)4314339-8 s Funknetz (DE-588)4216130-7 s DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027640364&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Romeikat, Raphael Domain-specific development of event condition action policies Ereignisgesteuertes System (DE-588)4462531-5 gnd MOF QVT (DE-588)7688067-9 gnd Netzwerkverwaltung (DE-588)4314339-8 gnd Bedingungs-Ereignis-System (DE-588)4846352-8 gnd Verfeinerung (DE-588)4267759-2 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Regelbasiertes Modell (DE-588)4728094-3 gnd Funknetz (DE-588)4216130-7 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4462531-5 (DE-588)7688067-9 (DE-588)4314339-8 (DE-588)4846352-8 (DE-588)4267759-2 (DE-588)7585264-0 (DE-588)4728094-3 (DE-588)4216130-7 (DE-588)4832365-2 (DE-588)4113937-9 |
| title | Domain-specific development of event condition action policies |
| title_auth | Domain-specific development of event condition action policies |
| title_exact_search | Domain-specific development of event condition action policies |
| title_full | Domain-specific development of event condition action policies Raphael Romeikat |
| title_fullStr | Domain-specific development of event condition action policies Raphael Romeikat |
| title_full_unstemmed | Domain-specific development of event condition action policies Raphael Romeikat |
| title_short | Domain-specific development of event condition action policies |
| title_sort | domain specific development of event condition action policies |
| topic | Ereignisgesteuertes System (DE-588)4462531-5 gnd MOF QVT (DE-588)7688067-9 gnd Netzwerkverwaltung (DE-588)4314339-8 gnd Bedingungs-Ereignis-System (DE-588)4846352-8 gnd Verfeinerung (DE-588)4267759-2 gnd Domänenspezifische Programmiersprache (DE-588)7585264-0 gnd Regelbasiertes Modell (DE-588)4728094-3 gnd Funknetz (DE-588)4216130-7 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Ereignisgesteuertes System MOF QVT Netzwerkverwaltung Bedingungs-Ereignis-System Verfeinerung Domänenspezifische Programmiersprache Regelbasiertes Modell Funknetz Modellgetriebene Entwicklung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027640364&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT romeikatraphael domainspecificdevelopmentofeventconditionactionpolicies |