---
_id: '7962'
abstract:
- lang: eng
  text: GUI builder tools are widely used in practice to develop the user interface
    of software systems. Typically they are visual programming tools that support
    direct-manipulative assembling of the user interface components. We have developed
    the tool GuiBuilder which follows a model-driven approach to the development of
    graphical (multimedia) user interfaces. This allows a meta-design approach where
    user interface developers as well as prospective users of the system are supported
    in modelling the desired functionality of the GUI on a high level of abstraction
    that is easy to understand for all involved stakeholders. The model consists of
    compositional presentation diagrams to model the structure of the user interface
    and hierarchical statechart diagrams to model its behaviour. GuiBuilder then supports
    the transformation of the model to Java, i.e., the generation of a working user
    interface and the simulation of the modelled behaviour. Interactive sessions with
    the user interface can be recorded and replayed.
author:
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Sauer S, Engels G. Easy Model-Driven Development of Multimedia User Interfaces
    with GuiBuilder. In: <i>Proceeding of the 4th International Conference on Universal
    Access in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007),
    Beijing (China)</i>. Vol 4554. LNCS. Berlin/Heidelberg: Springer; 2007:537-546.
    doi:<a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>'
  apa: 'Sauer, S., &#38; Engels, G. (2007). Easy Model-Driven Development of Multimedia
    User Interfaces with GuiBuilder. In <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i> (Vol. 4554, pp. 537–546). Berlin/Heidelberg: Springer.
    <a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>'
  bibtex: '@inproceedings{Sauer_Engels_2007, place={Berlin/Heidelberg}, series={LNCS},
    title={Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder},
    volume={4554}, DOI={<a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>},
    booktitle={Proceeding of the 4th International Conference on Universal Access
    in Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing
    (China)}, publisher={Springer}, author={Sauer, Stefan and Engels, Gregor}, year={2007},
    pages={537–546}, collection={LNCS} }'
  chicago: 'Sauer, Stefan, and Gregor Engels. “Easy Model-Driven Development of Multimedia
    User Interfaces with GuiBuilder.” In <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i>, 4554:537–46. LNCS. Berlin/Heidelberg: Springer, 2007.
    <a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>.'
  ieee: S. Sauer and G. Engels, “Easy Model-Driven Development of Multimedia User
    Interfaces with GuiBuilder,” in <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i>, 2007, vol. 4554, pp. 537–546.
  mla: Sauer, Stefan, and Gregor Engels. “Easy Model-Driven Development of Multimedia
    User Interfaces with GuiBuilder.” <i>Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China)</i>, vol. 4554, Springer, 2007, pp. 537–46, doi:<a href="http://dx.doi.org/10.1007/978-3-540-73279-2_60">http://dx.doi.org/10.1007/978-3-540-73279-2_60</a>.
  short: 'S. Sauer, G. Engels, in: Proceeding of the 4th International Conference
    on Universal Access in Human-Computer Interaction (UAHCI, as Part of HCI International,
    2007), Beijing (China), Springer, Berlin/Heidelberg, 2007, pp. 537–546.'
date_created: 2019-02-21T11:56:29Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-73279-2_60
intvolume: '      4554'
language:
- iso: eng
page: 537-546
place: Berlin/Heidelberg
publication: Proceeding of the 4th International Conference on Universal Access in
  Human-Computer Interaction (UAHCI, as Part of HCI International, 2007), Beijing
  (China)
publisher: Springer
series_title: LNCS
status: public
title: Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
type: conference
user_id: '52534'
volume: 4554
year: '2007'
...
---
_id: '7963'
author:
- first_name: Jan-Christopher
  full_name: Bals, Jan-Christopher
  last_name: Bals
- first_name: Fabian
  full_name: Christ, Fabian
  last_name: Christ
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Martin
  full_name: Erwig, Martin
  last_name: Erwig
citation:
  ama: 'Bals J-C, Christ F, Engels G, Erwig M. ClassSheets - model-based, object-oriented
    design of spreadsheet applications. In: <i>Proceedings of the TOOLS Europe Conference
    (TOOLS 2007), Zürich (Swiss)</i>. Vol 6. Journal of Object Technology; 2007:383-398.
    doi:<a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>'
  apa: Bals, J.-C., Christ, F., Engels, G., &#38; Erwig, M. (2007). ClassSheets -
    model-based, object-oriented design of spreadsheet applications. In <i>Proceedings
    of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i> (Vol. 6, pp. 383–398).
    Journal of Object Technology. <a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>
  bibtex: '@inproceedings{Bals_Christ_Engels_Erwig_2007, title={ClassSheets - model-based,
    object-oriented design of spreadsheet applications}, volume={6}, DOI={<a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>},
    number={9}, booktitle={Proceedings of the TOOLS Europe Conference (TOOLS 2007),
    Zürich (Swiss)}, publisher={Journal of Object Technology}, author={Bals, Jan-Christopher
    and Christ, Fabian and Engels, Gregor and Erwig, Martin}, year={2007}, pages={383–398}
    }'
  chicago: Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Martin Erwig.
    “ClassSheets - Model-Based, Object-Oriented Design of Spreadsheet Applications.”
    In <i>Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>,
    6:383–98. Journal of Object Technology, 2007. <a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>.
  ieee: J.-C. Bals, F. Christ, G. Engels, and M. Erwig, “ClassSheets - model-based,
    object-oriented design of spreadsheet applications,” in <i>Proceedings of the
    TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)</i>, 2007, vol. 6, no. 9,
    pp. 383–398.
  mla: Bals, Jan-Christopher, et al. “ClassSheets - Model-Based, Object-Oriented Design
    of Spreadsheet Applications.” <i>Proceedings of the TOOLS Europe Conference (TOOLS
    2007), Zürich (Swiss)</i>, vol. 6, no. 9, Journal of Object Technology, 2007,
    pp. 383–98, doi:<a href="http://www.jot.fm/issues/issue_2007_10/paper19/index.html">http://www.jot.fm/issues/issue_2007_10/paper19/index.html</a>.
  short: 'J.-C. Bals, F. Christ, G. Engels, M. Erwig, in: Proceedings of the TOOLS
    Europe Conference (TOOLS 2007), Zürich (Swiss), Journal of Object Technology,
    2007, pp. 383–398.'
date_created: 2019-02-21T11:56:31Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://www.jot.fm/issues/issue_2007_10/paper19/index.html
intvolume: '         6'
issue: '9'
language:
- iso: eng
page: 383-398
publication: Proceedings of the TOOLS Europe Conference (TOOLS 2007), Zürich (Swiss)
publisher: Journal of Object Technology
status: public
title: ClassSheets - model-based, object-oriented design of spreadsheet applications
type: conference
user_id: '52534'
volume: 6
year: '2007'
...
---
_id: '7964'
author:
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
- first_name: Knut
  full_name: Hinkelmann, Knut
  last_name: Hinkelmann
- first_name: Johannes
  full_name: Magenheim, Johannes
  last_name: Magenheim
- first_name: Tobias
  full_name: Nelkner, Tobias
  last_name: Nelkner
- first_name: Wolfgang
  full_name: Reinhardt, Wolfgang
  last_name: Reinhardt
- first_name: Kai
  full_name: Holzweissig, Kai
  last_name: Holzweissig
citation:
  ama: 'Mlynarski M, Hinkelmann K, Magenheim J, Nelkner T, Reinhardt W, Holzweissig
    K. KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge
    Management. In: <i>Creating New Learning Experiences on a Global Scale, Second
    European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece,
    September 17-20, 2007</i>. Berlin/Heidelberg: Springer; 2007:487-492.'
  apa: 'Mlynarski, M., Hinkelmann, K., Magenheim, J., Nelkner, T., Reinhardt, W.,
    &#38; Holzweissig, K. (2007). KnowledgeBus - An Architecture to Support Intelligent
    and Flexible Knowledge Management. In <i>Creating New Learning Experiences on
    a Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL
    2007, Crete, Greece, September 17-20, 2007</i> (pp. 487–492). Berlin/Heidelberg:
    Springer.'
  bibtex: '@inproceedings{Mlynarski_Hinkelmann_Magenheim_Nelkner_Reinhardt_Holzweissig_2007,
    place={Berlin/Heidelberg}, title={KnowledgeBus - An Architecture to Support Intelligent
    and Flexible Knowledge Management}, booktitle={Creating New Learning Experiences
    on a Global Scale, Second European Conference on Technology Enhanced Learning,
    EC-TEL 2007, Crete, Greece, September 17-20, 2007}, publisher={Springer}, author={Mlynarski,
    Michael and Hinkelmann, Knut and Magenheim, Johannes and Nelkner, Tobias and Reinhardt,
    Wolfgang and Holzweissig, Kai}, year={2007}, pages={487–492} }'
  chicago: 'Mlynarski, Michael, Knut Hinkelmann, Johannes Magenheim, Tobias Nelkner,
    Wolfgang Reinhardt, and Kai Holzweissig. “KnowledgeBus - An Architecture to Support
    Intelligent and Flexible Knowledge Management.” In <i>Creating New Learning Experiences
    on a Global Scale, Second European Conference on Technology Enhanced Learning,
    EC-TEL 2007, Crete, Greece, September 17-20, 2007</i>, 487–92. Berlin/Heidelberg:
    Springer, 2007.'
  ieee: M. Mlynarski, K. Hinkelmann, J. Magenheim, T. Nelkner, W. Reinhardt, and K.
    Holzweissig, “KnowledgeBus - An Architecture to Support Intelligent and Flexible
    Knowledge Management,” in <i>Creating New Learning Experiences on a Global Scale,
    Second European Conference on Technology Enhanced Learning, EC-TEL 2007, Crete,
    Greece, September 17-20, 2007</i>, 2007, pp. 487–492.
  mla: Mlynarski, Michael, et al. “KnowledgeBus - An Architecture to Support Intelligent
    and Flexible Knowledge Management.” <i>Creating New Learning Experiences on a
    Global Scale, Second European Conference on Technology Enhanced Learning, EC-TEL
    2007, Crete, Greece, September 17-20, 2007</i>, Springer, 2007, pp. 487–92.
  short: 'M. Mlynarski, K. Hinkelmann, J. Magenheim, T. Nelkner, W. Reinhardt, K.
    Holzweissig, in: Creating New Learning Experiences on a Global Scale, Second European
    Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September
    17-20, 2007, Springer, Berlin/Heidelberg, 2007, pp. 487–492.'
date_created: 2019-02-21T11:56:32Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 487-492
place: Berlin/Heidelberg
publication: Creating New Learning Experiences on a Global Scale, Second European
  Conference on Technology Enhanced Learning, EC-TEL 2007, Crete, Greece, September
  17-20, 2007
publisher: Springer
status: public
title: KnowledgeBus - An Architecture to Support Intelligent and Flexible Knowledge
  Management
type: conference
user_id: '52534'
year: '2007'
...
---
_id: '7965'
author:
- first_name: Alexander
  full_name: Förster, Alexander
  last_name: Förster
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Ragnhild
  full_name: Van Der Straeten, Ragnhild
  last_name: Van Der Straeten
citation:
  ama: 'Förster A, Engels G, Schattkowsky T, Van Der Straeten R. Verification of Business
    Process Quality Constraints Based on Visual Process Patterns. In: <i>Proceedings
    of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
    (TASE 2007), Shanghai (China)</i>. Washington, DC, USA: IEEE Computer Society;
    2007:197-208. doi:<a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>'
  apa: 'Förster, A., Engels, G., Schattkowsky, T., &#38; Van Der Straeten, R. (2007).
    Verification of Business Process Quality Constraints Based on Visual Process Patterns.
    In <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects
    of Software Engineering (TASE 2007), Shanghai (China)</i> (pp. 197–208). Washington,
    DC, USA: IEEE Computer Society. <a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>'
  bibtex: '@inproceedings{Förster_Engels_Schattkowsky_Van Der Straeten_2007, place={Washington,
    DC, USA}, title={Verification of Business Process Quality Constraints Based on
    Visual Process Patterns}, DOI={<a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>},
    booktitle={Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects
    of Software Engineering (TASE 2007), Shanghai (China)}, publisher={IEEE Computer
    Society}, author={Förster, Alexander and Engels, Gregor and Schattkowsky, Tim
    and Van Der Straeten, Ragnhild}, year={2007}, pages={197–208} }'
  chicago: 'Förster, Alexander, Gregor Engels, Tim Schattkowsky, and Ragnhild Van
    Der Straeten. “Verification of Business Process Quality Constraints Based on Visual
    Process Patterns.” In <i>Proceedings of the First Joint IEEE/IFIP Symposium on
    Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)</i>,
    197–208. Washington, DC, USA: IEEE Computer Society, 2007. <a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>.'
  ieee: A. Förster, G. Engels, T. Schattkowsky, and R. Van Der Straeten, “Verification
    of Business Process Quality Constraints Based on Visual Process Patterns,” in
    <i>Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of
    Software Engineering (TASE 2007), Shanghai (China)</i>, 2007, pp. 197–208.
  mla: Förster, Alexander, et al. “Verification of Business Process Quality Constraints
    Based on Visual Process Patterns.” <i>Proceedings of the First Joint IEEE/IFIP
    Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai
    (China)</i>, IEEE Computer Society, 2007, pp. 197–208, doi:<a href="http://dx.doi.org/10.1109/TASE.2007.56">http://dx.doi.org/10.1109/TASE.2007.56</a>.
  short: 'A. Förster, G. Engels, T. Schattkowsky, R. Van Der Straeten, in: Proceedings
    of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
    (TASE 2007), Shanghai (China), IEEE Computer Society, Washington, DC, USA, 2007,
    pp. 197–208.'
date_created: 2019-02-21T11:56:33Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1109/TASE.2007.56
language:
- iso: eng
page: 197-208
place: Washington, DC, USA
publication: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects
  of Software Engineering (TASE 2007), Shanghai (China)
publisher: IEEE Computer Society
status: public
title: Verification of Business Process Quality Constraints Based on Visual Process
  Patterns
type: conference
user_id: '52534'
year: '2007'
...
---
_id: '7966'
author:
- first_name: Andreas
  full_name: Hess, Andreas
  last_name: Hess
- first_name: Bernhard
  full_name: Humm, Bernhard
  last_name: Humm
- first_name: Markus
  full_name: Voß, Markus
  last_name: Voß
- first_name: Gregor
  full_name: Engels, Gregor
  last_name: Engels
citation:
  ama: 'Hess A, Humm B, Voß M, Engels G. Structuring Software Cities - A Multidimensional
    Approach. In: <i>Proceedings of the 11th IEEE International Enterprise Distributed
    Object Computing Conference (EDOC 2007)</i>. Washington, DC, USA: IEEE Computer
    Society; 2007:122-129.'
  apa: 'Hess, A., Humm, B., Voß, M., &#38; Engels, G. (2007). Structuring Software
    Cities - A Multidimensional Approach. In <i>Proceedings of the 11th IEEE International
    Enterprise Distributed Object Computing Conference (EDOC 2007)</i> (pp. 122–129).
    Washington, DC, USA: IEEE Computer Society.'
  bibtex: '@inproceedings{Hess_Humm_Voß_Engels_2007, place={Washington, DC, USA},
    title={Structuring Software Cities - A Multidimensional Approach}, booktitle={Proceedings
    of the 11th IEEE International Enterprise Distributed Object Computing Conference
    (EDOC 2007)}, publisher={IEEE Computer Society}, author={Hess, Andreas and Humm,
    Bernhard and Voß, Markus and Engels, Gregor}, year={2007}, pages={122–129} }'
  chicago: 'Hess, Andreas, Bernhard Humm, Markus Voß, and Gregor Engels. “Structuring
    Software Cities - A Multidimensional Approach.” In <i>Proceedings of the 11th
    IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007)</i>,
    122–29. Washington, DC, USA: IEEE Computer Society, 2007.'
  ieee: A. Hess, B. Humm, M. Voß, and G. Engels, “Structuring Software Cities - A
    Multidimensional Approach,” in <i>Proceedings of the 11th IEEE International Enterprise
    Distributed Object Computing Conference (EDOC 2007)</i>, 2007, pp. 122–129.
  mla: Hess, Andreas, et al. “Structuring Software Cities - A Multidimensional Approach.”
    <i>Proceedings of the 11th IEEE International Enterprise Distributed Object Computing
    Conference (EDOC 2007)</i>, IEEE Computer Society, 2007, pp. 122–29.
  short: 'A. Hess, B. Humm, M. Voß, G. Engels, in: Proceedings of the 11th IEEE International
    Enterprise Distributed Object Computing Conference (EDOC 2007), IEEE Computer
    Society, Washington, DC, USA, 2007, pp. 122–129.'
date_created: 2019-02-21T11:56:34Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 122-129
place: Washington, DC, USA
publication: Proceedings of the 11th IEEE International Enterprise Distributed Object
  Computing Conference (EDOC 2007)
publisher: IEEE Computer Society
status: public
title: Structuring Software Cities - A Multidimensional Approach
type: conference
user_id: '52534'
year: '2007'
...
---
_id: '7967'
author:
- first_name: Michael
  full_name: Mlynarski, Michael
  last_name: Mlynarski
- first_name: Tobias
  full_name: Nelkner, Tobias
  last_name: Nelkner
- first_name: Wolfgang
  full_name: Reinhardt, Wolfgang
  last_name: Reinhardt
citation:
  ama: 'Mlynarski M, Nelkner T, Reinhardt W. Vom Informations- zum Wissensmanagement:
    Der Knowledge Bus als flexibler Lösungsansatz. In: <i>Informatiktage 2007: Fachwissenschaftlicher
    Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center
    for Information Technology Bonn</i>. ; 2007:99-102.'
  apa: 'Mlynarski, M., Nelkner, T., &#38; Reinhardt, W. (2007). Vom Informations-
    zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz. In <i>Informatiktage
    2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT
    Bonn-Aachen International Center for Information Technology Bonn</i> (pp. 99–102).'
  bibtex: '@inproceedings{Mlynarski_Nelkner_Reinhardt_2007, title={Vom Informations-
    zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz}, booktitle={Informatiktage
    2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT
    Bonn-Aachen International Center for Information Technology Bonn}, author={Mlynarski,
    Michael and Nelkner, Tobias and Reinhardt, Wolfgang}, year={2007}, pages={99–102}
    }'
  chicago: 'Mlynarski, Michael, Tobias Nelkner, and Wolfgang Reinhardt. “Vom Informations-
    Zum Wissensmanagement: Der Knowledge Bus Als Flexibler Lösungsansatz.” In <i>Informatiktage
    2007: Fachwissenschaftlicher Informatik-Kongress, 30. Und 31. März 2007, B-IT
    Bonn-Aachen International Center for Information Technology Bonn</i>, 99–102,
    2007.'
  ieee: 'M. Mlynarski, T. Nelkner, and W. Reinhardt, “Vom Informations- zum Wissensmanagement:
    Der Knowledge Bus als flexibler Lösungsansatz,” in <i>Informatiktage 2007: Fachwissenschaftlicher
    Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center
    for Information Technology Bonn</i>, 2007, pp. 99–102.'
  mla: 'Mlynarski, Michael, et al. “Vom Informations- Zum Wissensmanagement: Der Knowledge
    Bus Als Flexibler Lösungsansatz.” <i>Informatiktage 2007: Fachwissenschaftlicher
    Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center
    for Information Technology Bonn</i>, 2007, pp. 99–102.'
  short: 'M. Mlynarski, T. Nelkner, W. Reinhardt, in: Informatiktage 2007: Fachwissenschaftlicher
    Informatik-Kongress, 30. Und 31. März 2007, B-IT Bonn-Aachen International Center
    for Information Technology Bonn, 2007, pp. 99–102.'
date_created: 2019-02-21T11:56:35Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 99-102
publication: 'Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30.
  und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology
  Bonn'
status: public
title: 'Vom Informations- zum Wissensmanagement: Der Knowledge Bus als flexibler Lösungsansatz'
type: conference
user_id: '52534'
year: '2007'
...
---
_id: '7968'
author:
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Ksenia
  full_name: Ryndina, Ksenia
  last_name: Ryndina
- first_name: Harald
  full_name: Gall, Harald
  last_name: Gall
citation:
  ama: 'Küster J, Ryndina K, Gall H. Improving Inconsistency Resolution with Side-effect
    Evaluation and Costs. In: <i>Proceedings of the ACM/IEEE 10th International Conference
    on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN
    (USA)</i>. Vol 4735. Berlin/Heidelberg: Springer; 2007:136-150. doi:<a href="https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>'
  apa: 'Küster, J., Ryndina, K., &#38; Gall, H. (2007). Improving Inconsistency Resolution
    with Side-effect Evaluation and Costs. In <i>Proceedings of the ACM/IEEE 10th
    International Conference on Model Driven Engineering Languages and Systems (MODELS
    2007), Nashville, TN (USA)</i> (Vol. 4735, pp. 136–150). Berlin/Heidelberg: Springer.
    <a href="https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>'
  bibtex: '@inproceedings{Küster_Ryndina_Gall_2007, place={Berlin/Heidelberg}, title={Improving
    Inconsistency Resolution with Side-effect Evaluation and Costs}, volume={4735},
    DOI={<a href="https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>},
    booktitle={Proceedings of the ACM/IEEE 10th International Conference on Model
    Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)},
    publisher={Springer}, author={Küster, Jochen and Ryndina, Ksenia and Gall, Harald},
    year={2007}, pages={136–150} }'
  chicago: 'Küster, Jochen, Ksenia Ryndina, and Harald Gall. “Improving Inconsistency
    Resolution with Side-Effect Evaluation and Costs.” In <i>Proceedings of the ACM/IEEE
    10th International Conference on Model Driven Engineering Languages and Systems
    (MODELS 2007), Nashville, TN (USA)</i>, 4735:136–50. Berlin/Heidelberg: Springer,
    2007. <a href="https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>.'
  ieee: J. Küster, K. Ryndina, and H. Gall, “Improving Inconsistency Resolution with
    Side-effect Evaluation and Costs,” in <i>Proceedings of the ACM/IEEE 10th International
    Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville,
    TN (USA)</i>, 2007, vol. 4735, pp. 136–150.
  mla: Küster, Jochen, et al. “Improving Inconsistency Resolution with Side-Effect
    Evaluation and Costs.” <i>Proceedings of the ACM/IEEE 10th International Conference
    on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville, TN
    (USA)</i>, vol. 4735, Springer, 2007, pp. 136–50, doi:<a href="https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10">https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10</a>.
  short: 'J. Küster, K. Ryndina, H. Gall, in: Proceedings of the ACM/IEEE 10th International
    Conference on Model Driven Engineering Languages and Systems (MODELS 2007), Nashville,
    TN (USA), Springer, Berlin/Heidelberg, 2007, pp. 136–150.'
date_created: 2019-02-21T11:56:36Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: https://groups.uni-paderborn.de/fg-engels/Publications/10.1007/978-3-540-75209-7_10
intvolume: '      4735'
language:
- iso: eng
page: 136-150
place: Berlin/Heidelberg
publication: Proceedings of the ACM/IEEE 10th International Conference on Model Driven
  Engineering Languages and Systems (MODELS 2007), Nashville, TN (USA)
publisher: Springer
status: public
title: Improving Inconsistency Resolution with Side-effect Evaluation and Costs
type: conference
user_id: '52534'
volume: 4735
year: '2007'
...
---
_id: '7969'
author:
- first_name: Ksenia
  full_name: Ryndina, Ksenia
  last_name: Ryndina
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Harald
  full_name: Gall, Harald
  last_name: Gall
citation:
  ama: 'Ryndina K, Küster J, Gall H. Generation of Business Process Models for Object
    Life Cycle Compliance. In: <i>Proceedings of the BPM Demonstration Program (Satellite
    Event of the 5th International Conference on Business Process Management (BPM
    2007)), Brisbane (Australia)</i>. Vol 4714/2007. LNCS. Berlin/Heidelberg: Springer;
    2007:165-181. doi:<a href="http://dx.doi.org/10.1007/978-3-540-75183-0">http://dx.doi.org/10.1007/978-3-540-75183-0</a>'
  apa: 'Ryndina, K., Küster, J., &#38; Gall, H. (2007). Generation of Business Process
    Models for Object Life Cycle Compliance. In <i>Proceedings of the BPM Demonstration
    Program (satellite event of the 5th International Conference on Business Process
    Management (BPM 2007)), Brisbane (Australia)</i> (Vol. 4714/2007, pp. 165–181).
    Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/978-3-540-75183-0">http://dx.doi.org/10.1007/978-3-540-75183-0</a>'
  bibtex: '@inproceedings{Ryndina_Küster_Gall_2007, place={Berlin/Heidelberg}, series={LNCS},
    title={Generation of Business Process Models for Object Life Cycle Compliance},
    volume={4714/2007}, DOI={<a href="http://dx.doi.org/10.1007/978-3-540-75183-0">http://dx.doi.org/10.1007/978-3-540-75183-0</a>},
    booktitle={Proceedings of the BPM Demonstration Program (satellite event of the
    5th International Conference on Business Process Management (BPM 2007)), Brisbane
    (Australia)}, publisher={Springer}, author={Ryndina, Ksenia and Küster, Jochen
    and Gall, Harald}, year={2007}, pages={165–181}, collection={LNCS} }'
  chicago: 'Ryndina, Ksenia, Jochen Küster, and Harald Gall. “Generation of Business
    Process Models for Object Life Cycle Compliance.” In <i>Proceedings of the BPM
    Demonstration Program (Satellite Event of the 5th International Conference on
    Business Process Management (BPM 2007)), Brisbane (Australia)</i>, 4714/2007:165–81.
    LNCS. Berlin/Heidelberg: Springer, 2007. <a href="http://dx.doi.org/10.1007/978-3-540-75183-0">http://dx.doi.org/10.1007/978-3-540-75183-0</a>.'
  ieee: K. Ryndina, J. Küster, and H. Gall, “Generation of Business Process Models
    for Object Life Cycle Compliance,” in <i>Proceedings of the BPM Demonstration
    Program (satellite event of the 5th International Conference on Business Process
    Management (BPM 2007)), Brisbane (Australia)</i>, 2007, vol. 4714/2007, pp. 165–181.
  mla: Ryndina, Ksenia, et al. “Generation of Business Process Models for Object Life
    Cycle Compliance.” <i>Proceedings of the BPM Demonstration Program (Satellite
    Event of the 5th International Conference on Business Process Management (BPM
    2007)), Brisbane (Australia)</i>, vol. 4714/2007, Springer, 2007, pp. 165–81,
    doi:<a href="http://dx.doi.org/10.1007/978-3-540-75183-0">http://dx.doi.org/10.1007/978-3-540-75183-0</a>.
  short: 'K. Ryndina, J. Küster, H. Gall, in: Proceedings of the BPM Demonstration
    Program (Satellite Event of the 5th International Conference on Business Process
    Management (BPM 2007)), Brisbane (Australia), Springer, Berlin/Heidelberg, 2007,
    pp. 165–181.'
date_created: 2019-02-21T11:56:38Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-75183-0
language:
- iso: eng
page: 165-181
place: Berlin/Heidelberg
publication: Proceedings of the BPM Demonstration Program (satellite event of the
  5th International Conference on Business Process Management (BPM 2007)), Brisbane
  (Australia)
publisher: Springer
series_title: LNCS
status: public
title: Generation of Business Process Models for Object Life Cycle Compliance
type: conference
user_id: '52534'
volume: 4714/2007
year: '2007'
...
---
_id: '7970'
abstract:
- lang: eng
  text: We consider the problem of exploring an unknown environment using a swarm
    of autonomous robots with collective behavior emerging from their local rules.
    Each robot has only a very restricted view on the environment which makes cooperation
    difficult. We introduce a software system which is capable of simulating a large
    number of such robots (e.g. 1000) on highly complex terrains with millions of
    obstacles. Its main purpose is to easily integrate and evaluate any kind of algorithm
    for controlling the robot behavior. The simulation may be observed in real-time
    via a visualization that displays both the individual and the collective progress
    of the robots. We present the system design, its main features and underlying
    concepts.
author:
- first_name: Stephan
  full_name: Arens, Stephan
  last_name: Arens
- first_name: Alexander
  full_name: Buss, Alexander
  last_name: Buss
- first_name: Helena
  full_name: Deck, Helena
  last_name: Deck
- first_name: Miroslaw
  full_name: Dynia, Miroslaw
  last_name: Dynia
- first_name: Matthias
  full_name: Fischer, Matthias
  id: '146'
  last_name: Fischer
- first_name: Holger
  full_name: Hagedorn, Holger
  last_name: Hagedorn
- first_name: Peter
  full_name: Isaak, Peter
  last_name: Isaak
- first_name: Jaroslaw
  full_name: Kutylowski, Jaroslaw
  last_name: Kutylowski
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
- first_name: Viktor
  full_name: Nesterow, Viktor
  last_name: Nesterow
- first_name: Adrian
  full_name: Ogiermann, Adrian
  last_name: Ogiermann
- first_name: Boris
  full_name: Stobbe, Boris
  last_name: Stobbe
- first_name: Thomas
  full_name: Storm, Thomas
  last_name: Storm
- first_name: Henning
  full_name: Wachsmuth, Henning
  id: '3900'
  last_name: Wachsmuth
citation:
  ama: 'Arens S, Buss A, Deck H, et al. Smart Teams: Simulating Large Robotic Swarms
    in Vast Environments. In: <i>Proceedings of the 4th International Symposium on
    Autonomous Minirobots for Research and Edutainment</i>. Buenos Aires, Argentina:
    Heinz Nixdorf Institut, University of Paderborn; 2007:215-222.'
  apa: 'Arens, S., Buss, A., Deck, H., Dynia, M., Fischer, M., Hagedorn, H., … Wachsmuth,
    H. (2007). Smart Teams: Simulating Large Robotic Swarms in Vast Environments.
    In <i>Proceedings of the 4th International Symposium on Autonomous Minirobots
    for Research and Edutainment</i> (pp. 215–222). Buenos Aires, Argentina: Heinz
    Nixdorf Institut, University of Paderborn.'
  bibtex: '@inproceedings{Arens_Buss_Deck_Dynia_Fischer_Hagedorn_Isaak_Kutylowski_Meyer
    auf der Heide_Nesterow_et al._2007, place={Buenos Aires, Argentina}, title={Smart
    Teams: Simulating Large Robotic Swarms in Vast Environments}, booktitle={Proceedings
    of the 4th International Symposium on Autonomous Minirobots for Research and Edutainment},
    publisher={Heinz Nixdorf Institut, University of Paderborn}, author={Arens, Stephan
    and Buss, Alexander and Deck, Helena and Dynia, Miroslaw and Fischer, Matthias
    and Hagedorn, Holger and Isaak, Peter and Kutylowski, Jaroslaw and Meyer auf der
    Heide, Friedhelm and Nesterow, Viktor and et al.}, year={2007}, pages={215–222}
    }'
  chicago: 'Arens, Stephan, Alexander Buss, Helena Deck, Miroslaw Dynia, Matthias
    Fischer, Holger Hagedorn, Peter Isaak, et al. “Smart Teams: Simulating Large Robotic
    Swarms in Vast Environments.” In <i>Proceedings of the 4th International Symposium
    on Autonomous Minirobots for Research and Edutainment</i>, 215–22. Buenos Aires,
    Argentina: Heinz Nixdorf Institut, University of Paderborn, 2007.'
  ieee: 'S. Arens <i>et al.</i>, “Smart Teams: Simulating Large Robotic Swarms in
    Vast Environments,” in <i>Proceedings of the 4th International Symposium on Autonomous
    Minirobots for Research and Edutainment</i>, 2007, pp. 215–222.'
  mla: 'Arens, Stephan, et al. “Smart Teams: Simulating Large Robotic Swarms in Vast
    Environments.” <i>Proceedings of the 4th International Symposium on Autonomous
    Minirobots for Research and Edutainment</i>, Heinz Nixdorf Institut, University
    of Paderborn, 2007, pp. 215–22.'
  short: 'S. Arens, A. Buss, H. Deck, M. Dynia, M. Fischer, H. Hagedorn, P. Isaak,
    J. Kutylowski, F. Meyer auf der Heide, V. Nesterow, A. Ogiermann, B. Stobbe, T.
    Storm, H. Wachsmuth, in: Proceedings of the 4th International Symposium on Autonomous
    Minirobots for Research and Edutainment, Heinz Nixdorf Institut, University of
    Paderborn, Buenos Aires, Argentina, 2007, pp. 215–222.'
date_created: 2019-02-21T11:56:39Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
- _id: '600'
- _id: '63'
language:
- iso: eng
main_file_link:
- url: https://webis.de/downloads/publications/papers/arens_2007.pdf
page: 215-222
place: Buenos Aires, Argentina
publication: Proceedings of the 4th International Symposium on Autonomous Minirobots
  for Research and Edutainment
publisher: Heinz Nixdorf Institut, University of Paderborn
status: public
title: 'Smart Teams: Simulating Large Robotic Swarms in Vast Environments'
type: conference
user_id: '15415'
year: '2007'
...
---
_id: '7971'
author:
- first_name: Olaf
  full_name: Zimmermann, Olaf
  last_name: Zimmermann
- first_name: Thomas
  full_name: Gschwind, Thomas
  last_name: Gschwind
- first_name: Jochen
  full_name: Küster, Jochen
  last_name: Küster
- first_name: Frank
  full_name: Leymann, Frank
  last_name: Leymann
- first_name: Nelly
  full_name: Schuster, Nelly
  last_name: Schuster
citation:
  ama: 'Zimmermann O, Gschwind T, Küster J, Leymann F, Schuster N. Reusable Architectural
    Decision Models for Enterprise Application Development. In: <i>Proceedings the
    Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>.
    Berlin/Heidelberg: Springer; 2007:15-32. doi:<a href="http://dx.doi.org/10.1007/978-3-540-77619-2_2">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>'
  apa: 'Zimmermann, O., Gschwind, T., Küster, J., Leymann, F., &#38; Schuster, N.
    (2007). Reusable Architectural Decision Models for Enterprise Application Development.
    In <i>Proceedings the conference on Quality of Software-Architectures (QoSA 2007),
    Medford, MA (USA)</i> (pp. 15–32). Berlin/Heidelberg: Springer. <a href="http://dx.doi.org/10.1007/978-3-540-77619-2_2">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>'
  bibtex: '@inproceedings{Zimmermann_Gschwind_Küster_Leymann_Schuster_2007, place={Berlin/Heidelberg},
    title={Reusable Architectural Decision Models for Enterprise Application Development},
    DOI={<a href="http://dx.doi.org/10.1007/978-3-540-77619-2_2">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>},
    booktitle={Proceedings the conference on Quality of Software-Architectures (QoSA
    2007), Medford, MA (USA)}, publisher={Springer}, author={Zimmermann, Olaf and
    Gschwind, Thomas and Küster, Jochen and Leymann, Frank and Schuster, Nelly}, year={2007},
    pages={15–32} }'
  chicago: 'Zimmermann, Olaf, Thomas Gschwind, Jochen Küster, Frank Leymann, and Nelly
    Schuster. “Reusable Architectural Decision Models for Enterprise Application Development.”
    In <i>Proceedings the Conference on Quality of Software-Architectures (QoSA 2007),
    Medford, MA (USA)</i>, 15–32. Berlin/Heidelberg: Springer, 2007. <a href="http://dx.doi.org/10.1007/978-3-540-77619-2_2">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>.'
  ieee: O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, and N. Schuster, “Reusable
    Architectural Decision Models for Enterprise Application Development,” in <i>Proceedings
    the conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA)</i>,
    2007, pp. 15–32.
  mla: Zimmermann, Olaf, et al. “Reusable Architectural Decision Models for Enterprise
    Application Development.” <i>Proceedings the Conference on Quality of Software-Architectures
    (QoSA 2007), Medford, MA (USA)</i>, Springer, 2007, pp. 15–32, doi:<a href="http://dx.doi.org/10.1007/978-3-540-77619-2_2">http://dx.doi.org/10.1007/978-3-540-77619-2_2</a>.
  short: 'O. Zimmermann, T. Gschwind, J. Küster, F. Leymann, N. Schuster, in: Proceedings
    the Conference on Quality of Software-Architectures (QoSA 2007), Medford, MA (USA),
    Springer, Berlin/Heidelberg, 2007, pp. 15–32.'
date_created: 2019-02-21T11:56:40Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/978-3-540-77619-2_2
language:
- iso: eng
page: 15-32
place: Berlin/Heidelberg
publication: Proceedings the conference on Quality of Software-Architectures (QoSA
  2007), Medford, MA (USA)
publisher: Springer
status: public
title: Reusable Architectural Decision Models for Enterprise Application Development
type: conference
user_id: '52534'
year: '2007'
...
---
_id: '8216'
author:
- first_name: Matthias
  full_name: Gehrke, Matthias
  last_name: Gehrke
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
- first_name: Ekkart
  full_name: Kindler, Ekkart
  last_name: Kindler
citation:
  ama: Gehrke M, Güldali B, Kindler E. <i>“Modelchecking” - Eine Methode Zur Verbesserung
    Der Softwarequalität</i>. University of Paderborn, s-lab; 2007.
  apa: Gehrke, M., Güldali, B., &#38; Kindler, E. (2007). <i>“Modelchecking” - Eine
    Methode zur Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab.
  bibtex: '@book{Gehrke_Güldali_Kindler_2007, title={“Modelchecking” - Eine Methode
    zur Verbesserung der Softwarequalität}, publisher={University of Paderborn, s-lab},
    author={Gehrke, Matthias and Güldali, Baris and Kindler, Ekkart}, year={2007}
    }'
  chicago: Gehrke, Matthias, Baris Güldali, and Ekkart Kindler. <i>“Modelchecking”
    - Eine Methode Zur Verbesserung Der Softwarequalität</i>. University of Paderborn,
    s-lab, 2007.
  ieee: M. Gehrke, B. Güldali, and E. Kindler, <i>“Modelchecking” - Eine Methode zur
    Verbesserung der Softwarequalität</i>. University of Paderborn, s-lab, 2007.
  mla: Gehrke, Matthias, et al. <i>“Modelchecking” - Eine Methode Zur Verbesserung
    Der Softwarequalität</i>. University of Paderborn, s-lab, 2007.
  short: M. Gehrke, B. Güldali, E. Kindler, “Modelchecking” - Eine Methode Zur Verbesserung
    Der Softwarequalität, University of Paderborn, s-lab, 2007.
date_created: 2019-03-03T16:13:15Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Paderborn, s-lab
report_number: '2'
status: public
title: '"Modelchecking" - Eine Methode zur Verbesserung der Softwarequalität'
type: report
user_id: '52534'
year: '2007'
...
---
_id: '830'
author:
- first_name: Andreas
  full_name: Festag, Andreas
  last_name: Festag
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
- first_name: Adam
  full_name: Wolisz, Adam
  last_name: Wolisz
citation:
  ama: Festag A, Karl H, Wolisz A. Investigation of multicast-based mobility support
    in all-IP cellular networks. <i>Wireless Communications and Mobile Computing</i>.
    2007;(3):319--339. doi:<a href="https://doi.org/10.1002/wcm.328">10.1002/wcm.328</a>
  apa: Festag, A., Karl, H., &#38; Wolisz, A. (2007). Investigation of multicast-based
    mobility support in all-IP cellular networks. <i>Wireless Communications and Mobile
    Computing</i>, (3), 319--339. <a href="https://doi.org/10.1002/wcm.328">https://doi.org/10.1002/wcm.328</a>
  bibtex: '@article{Festag_Karl_Wolisz_2007, title={Investigation of multicast-based
    mobility support in all-IP cellular networks}, DOI={<a href="https://doi.org/10.1002/wcm.328">10.1002/wcm.328</a>},
    number={3}, journal={Wireless Communications and Mobile Computing}, author={Festag,
    Andreas and Karl, Holger and Wolisz, Adam}, year={2007}, pages={319--339} }'
  chicago: 'Festag, Andreas, Holger Karl, and Adam Wolisz. “Investigation of Multicast-Based
    Mobility Support in All-IP Cellular Networks.” <i>Wireless Communications and
    Mobile Computing</i>, no. 3 (2007): 319--339. <a href="https://doi.org/10.1002/wcm.328">https://doi.org/10.1002/wcm.328</a>.'
  ieee: A. Festag, H. Karl, and A. Wolisz, “Investigation of multicast-based mobility
    support in all-IP cellular networks,” <i>Wireless Communications and Mobile Computing</i>,
    no. 3, pp. 319--339, 2007.
  mla: Festag, Andreas, et al. “Investigation of Multicast-Based Mobility Support
    in All-IP Cellular Networks.” <i>Wireless Communications and Mobile Computing</i>,
    no. 3, 2007, pp. 319--339, doi:<a href="https://doi.org/10.1002/wcm.328">10.1002/wcm.328</a>.
  short: A. Festag, H. Karl, A. Wolisz, Wireless Communications and Mobile Computing
    (2007) 319--339.
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1002/wcm.328
issue: '3'
page: 319--339
publication: Wireless Communications and Mobile Computing
status: public
title: Investigation of multicast-based mobility support in all-IP cellular networks
type: journal_article
user_id: '15572'
year: '2007'
...
---
_id: '831'
author:
- first_name: Peter
  full_name: van der Stok, Peter
  last_name: van der Stok
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
- first_name: Fabio
  full_name: De Ambroggi, Fabio
  last_name: De Ambroggi
- first_name: JeanDominique
  full_name: Decotignie, JeanDominique
  last_name: Decotignie
- first_name: Frank
  full_name: Siegemund, Frank
  last_name: Siegemund
- first_name: Kees
  full_name: Lokhorst, Kees
  last_name: Lokhorst
- first_name: Michael
  full_name: Hellenschmidt, Michael
  last_name: Hellenschmidt
citation:
  ama: 'van der Stok P, Karl H, De Ambroggi F, et al. WASP - Wirelessly Accessible
    Sensor Populations: A Project Overview. In: <i>Constructing Ambient Intelligence
    - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>.
    ; 2007:426--429. doi:<a href="https://doi.org/10.1007/978-3-540-85379-4_49">10.1007/978-3-540-85379-4_49</a>'
  apa: 'van der Stok, P., Karl, H., De Ambroggi, F., Decotignie, J., Siegemund, F.,
    Lokhorst, K., &#38; Hellenschmidt, M. (2007). WASP - Wirelessly Accessible Sensor
    Populations: A Project Overview. In <i>Constructing Ambient Intelligence - AmI
    2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers</i> (pp.
    426--429). <a href="https://doi.org/10.1007/978-3-540-85379-4_49">https://doi.org/10.1007/978-3-540-85379-4_49</a>'
  bibtex: '@inproceedings{van der Stok_Karl_De Ambroggi_Decotignie_Siegemund_Lokhorst_Hellenschmidt_2007,
    title={WASP - Wirelessly Accessible Sensor Populations: A Project Overview}, DOI={<a
    href="https://doi.org/10.1007/978-3-540-85379-4_49">10.1007/978-3-540-85379-4_49</a>},
    booktitle={Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany,
    November 7-10, 2007 Revised Papers}, author={van der Stok, Peter and Karl, Holger
    and De Ambroggi, Fabio and Decotignie, JeanDominique and Siegemund, Frank and
    Lokhorst, Kees and Hellenschmidt, Michael}, year={2007}, pages={426--429} }'
  chicago: 'Stok, Peter van der, Holger Karl, Fabio De Ambroggi, JeanDominique Decotignie,
    Frank Siegemund, Kees Lokhorst, and Michael Hellenschmidt. “WASP - Wirelessly
    Accessible Sensor Populations: A Project Overview.” In <i>Constructing Ambient
    Intelligence - AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised
    Papers</i>, 426--429, 2007. <a href="https://doi.org/10.1007/978-3-540-85379-4_49">https://doi.org/10.1007/978-3-540-85379-4_49</a>.'
  ieee: 'P. van der Stok <i>et al.</i>, “WASP - Wirelessly Accessible Sensor Populations:
    A Project Overview,” in <i>Constructing Ambient Intelligence - AmI 2007 Workshops
    Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 2007, pp. 426--429.'
  mla: 'van der Stok, Peter, et al. “WASP - Wirelessly Accessible Sensor Populations:
    A Project Overview.” <i>Constructing Ambient Intelligence - AmI 2007 Workshops
    Darmstadt, Germany, November 7-10, 2007 Revised Papers</i>, 2007, pp. 426--429,
    doi:<a href="https://doi.org/10.1007/978-3-540-85379-4_49">10.1007/978-3-540-85379-4_49</a>.'
  short: 'P. van der Stok, H. Karl, F. De Ambroggi, J. Decotignie, F. Siegemund, K.
    Lokhorst, M. Hellenschmidt, in: Constructing Ambient Intelligence - AmI 2007 Workshops
    Darmstadt, Germany, November 7-10, 2007 Revised Papers, 2007, pp. 426--429.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1007/978-3-540-85379-4_49
page: 426--429
publication: Constructing Ambient Intelligence - AmI 2007 Workshops Darmstadt, Germany,
  November 7-10, 2007 Revised Papers
status: public
title: 'WASP - Wirelessly Accessible Sensor Populations: A Project Overview'
type: conference
user_id: '15572'
year: '2007'
...
---
_id: '832'
author:
- first_name: Dereje
  full_name: H. Woldegebreal, Dereje
  last_name: H. Woldegebreal
- first_name: Stefan
  full_name: Valentin, Stefan
  last_name: Valentin
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'H. Woldegebreal D, Valentin S, Karl H. Outage probability analysis of cooperative
    transmission protocols without and with network coding: inter-user channels based
    comparison. In: <i>Proceedings of the 10th International Symposium on Modeling
    Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete
    Island, Greece, October 22-26, 2007</i>. ; 2007:36--44. doi:<a href="https://doi.org/10.1145/1298126.1298136">10.1145/1298126.1298136</a>'
  apa: 'H. Woldegebreal, D., Valentin, S., &#38; Karl, H. (2007). Outage probability
    analysis of cooperative transmission protocols without and with network coding:
    inter-user channels based comparison. In <i>Proceedings of the 10th International
    Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems,
    MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i> (pp. 36--44).
    <a href="https://doi.org/10.1145/1298126.1298136">https://doi.org/10.1145/1298126.1298136</a>'
  bibtex: '@inproceedings{H. Woldegebreal_Valentin_Karl_2007, title={Outage probability
    analysis of cooperative transmission protocols without and with network coding:
    inter-user channels based comparison}, DOI={<a href="https://doi.org/10.1145/1298126.1298136">10.1145/1298126.1298136</a>},
    booktitle={Proceedings of the 10th International Symposium on Modeling Analysis
    and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island,
    Greece, October 22-26, 2007}, author={H. Woldegebreal, Dereje and Valentin, Stefan
    and Karl, Holger}, year={2007}, pages={36--44} }'
  chicago: 'H. Woldegebreal, Dereje, Stefan Valentin, and Holger Karl. “Outage Probability
    Analysis of Cooperative Transmission Protocols without and with Network Coding:
    Inter-User Channels Based Comparison.” In <i>Proceedings of the 10th International
    Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems,
    MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007</i>, 36--44, 2007.
    <a href="https://doi.org/10.1145/1298126.1298136">https://doi.org/10.1145/1298126.1298136</a>.'
  ieee: 'D. H. Woldegebreal, S. Valentin, and H. Karl, “Outage probability analysis
    of cooperative transmission protocols without and with network coding: inter-user
    channels based comparison,” in <i>Proceedings of the 10th International Symposium
    on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2007,
    Chania, Crete Island, Greece, October 22-26, 2007</i>, 2007, pp. 36--44.'
  mla: 'H. Woldegebreal, Dereje, et al. “Outage Probability Analysis of Cooperative
    Transmission Protocols without and with Network Coding: Inter-User Channels Based
    Comparison.” <i>Proceedings of the 10th International Symposium on Modeling Analysis
    and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island,
    Greece, October 22-26, 2007</i>, 2007, pp. 36--44, doi:<a href="https://doi.org/10.1145/1298126.1298136">10.1145/1298126.1298136</a>.'
  short: 'D. H. Woldegebreal, S. Valentin, H. Karl, in: Proceedings of the 10th International
    Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems,
    MSWiM 2007, Chania, Crete Island, Greece, October 22-26, 2007, 2007, pp. 36--44.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1145/1298126.1298136
page: 36--44
publication: Proceedings of the 10th International Symposium on Modeling Analysis
  and Simulation of Wireless and Mobile Systems, MSWiM 2007, Chania, Crete Island,
  Greece, October 22-26, 2007
status: public
title: 'Outage probability analysis of cooperative transmission protocols without
  and with network coding: inter-user channels based comparison'
type: conference
user_id: '15572'
year: '2007'
...
---
_id: '833'
author:
- first_name: Stefan
  full_name: Valentin, Stefan
  last_name: Valentin
- first_name: Holger
  full_name: von Malm, Holger
  last_name: von Malm
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Valentin S, von Malm H, Karl H. Traffic-Aware Asymmetric Cooperation Diversity
    for Media Streaming in Wireless Networks. In: <i>Proceedings of the IEEE 18th
    International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC
    2007, 3-7 September 2007, Athens, Greece</i>. ; 2007:1--6. doi:<a href="https://doi.org/10.1109/PIMRC.2007.4394223">10.1109/PIMRC.2007.4394223</a>'
  apa: Valentin, S., von Malm, H., &#38; Karl, H. (2007). Traffic-Aware Asymmetric
    Cooperation Diversity for Media Streaming in Wireless Networks. In <i>Proceedings
    of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio
    Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i> (pp. 1--6).
    <a href="https://doi.org/10.1109/PIMRC.2007.4394223">https://doi.org/10.1109/PIMRC.2007.4394223</a>
  bibtex: '@inproceedings{Valentin_von Malm_Karl_2007, title={Traffic-Aware Asymmetric
    Cooperation Diversity for Media Streaming in Wireless Networks}, DOI={<a href="https://doi.org/10.1109/PIMRC.2007.4394223">10.1109/PIMRC.2007.4394223</a>},
    booktitle={Proceedings of the IEEE 18th International Symposium on Personal, Indoor
    and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece},
    author={Valentin, Stefan and von Malm, Holger and Karl, Holger}, year={2007},
    pages={1--6} }'
  chicago: Valentin, Stefan, Holger von Malm, and Holger Karl. “Traffic-Aware Asymmetric
    Cooperation Diversity for Media Streaming in Wireless Networks.” In <i>Proceedings
    of the IEEE 18th International Symposium on Personal, Indoor and Mobile Radio
    Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 1--6, 2007.
    <a href="https://doi.org/10.1109/PIMRC.2007.4394223">https://doi.org/10.1109/PIMRC.2007.4394223</a>.
  ieee: S. Valentin, H. von Malm, and H. Karl, “Traffic-Aware Asymmetric Cooperation
    Diversity for Media Streaming in Wireless Networks,” in <i>Proceedings of the
    IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications,
    PIMRC 2007, 3-7 September 2007, Athens, Greece</i>, 2007, pp. 1--6.
  mla: Valentin, Stefan, et al. “Traffic-Aware Asymmetric Cooperation Diversity for
    Media Streaming in Wireless Networks.” <i>Proceedings of the IEEE 18th International
    Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7
    September 2007, Athens, Greece</i>, 2007, pp. 1--6, doi:<a href="https://doi.org/10.1109/PIMRC.2007.4394223">10.1109/PIMRC.2007.4394223</a>.
  short: 'S. Valentin, H. von Malm, H. Karl, in: Proceedings of the IEEE 18th International
    Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2007, 3-7
    September 2007, Athens, Greece, 2007, pp. 1--6.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1109/PIMRC.2007.4394223
page: 1--6
publication: Proceedings of the IEEE 18th International Symposium on Personal, Indoor
  and Mobile Radio Communications, PIMRC 2007, 3-7 September 2007, Athens, Greece
status: public
title: Traffic-Aware Asymmetric Cooperation Diversity for Media Streaming in Wireless
  Networks
type: conference
user_id: '15572'
year: '2007'
...
---
_id: '834'
author:
- first_name: Hermann
  full_name: S. Lichte, Hermann
  last_name: S. Lichte
- first_name: Stefan
  full_name: Valentin, Stefan
  last_name: Valentin
- first_name: Falk
  full_name: Eitzen, Falk
  last_name: Eitzen
- first_name: Matthias
  full_name: Stege, Matthias
  last_name: Stege
- first_name: Carsten
  full_name: Unger, Carsten
  last_name: Unger
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'S. Lichte H, Valentin S, Eitzen F, Stege M, Unger C, Karl H. Integrating multiuser
    dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined
    radio testbed. In: <i>3rd International ICST Conference on Testbeds and Research
    Infrastructures for the Development of Networks and Communities, TridentCom 2007,
    Orlando, Florida, USA, May 21-23 2007</i>. ; 2007:1--9. doi:<a href="https://doi.org/10.1109/TRIDENTCOM.2007.4444671">10.1109/TRIDENTCOM.2007.4444671</a>'
  apa: S. Lichte, H., Valentin, S., Eitzen, F., Stege, M., Unger, C., &#38; Karl,
    H. (2007). Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping
    it on a real-time software-defined radio testbed. In <i>3rd International ICST
    Conference on Testbeds and Research Infrastructures for the Development of Networks
    and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i> (pp.
    1--9). <a href="https://doi.org/10.1109/TRIDENTCOM.2007.4444671">https://doi.org/10.1109/TRIDENTCOM.2007.4444671</a>
  bibtex: '@inproceedings{S. Lichte_Valentin_Eitzen_Stege_Unger_Karl_2007, title={Integrating
    multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined
    radio testbed}, DOI={<a href="https://doi.org/10.1109/TRIDENTCOM.2007.4444671">10.1109/TRIDENTCOM.2007.4444671</a>},
    booktitle={3rd International ICST Conference on Testbeds and Research Infrastructures
    for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida,
    USA, May 21-23 2007}, author={S. Lichte, Hermann and Valentin, Stefan and Eitzen,
    Falk and Stege, Matthias and Unger, Carsten and Karl, Holger}, year={2007}, pages={1--9}
    }'
  chicago: S. Lichte, Hermann, Stefan Valentin, Falk Eitzen, Matthias Stege, Carsten
    Unger, and Holger Karl. “Integrating Multiuser Dynamic OFDMA into IEEE 802.11a
    and Prototyping It on a Real-Time Software-Defined Radio Testbed.” In <i>3rd International
    ICST Conference on Testbeds and Research Infrastructures for the Development of
    Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>,
    1--9, 2007. <a href="https://doi.org/10.1109/TRIDENTCOM.2007.4444671">https://doi.org/10.1109/TRIDENTCOM.2007.4444671</a>.
  ieee: H. S. Lichte, S. Valentin, F. Eitzen, M. Stege, C. Unger, and H. Karl, “Integrating
    multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on a real-time software-defined
    radio testbed,” in <i>3rd International ICST Conference on Testbeds and Research
    Infrastructures for the Development of Networks and Communities, TridentCom 2007,
    Orlando, Florida, USA, May 21-23 2007</i>, 2007, pp. 1--9.
  mla: S. Lichte, Hermann, et al. “Integrating Multiuser Dynamic OFDMA into IEEE 802.11a
    and Prototyping It on a Real-Time Software-Defined Radio Testbed.” <i>3rd International
    ICST Conference on Testbeds and Research Infrastructures for the Development of
    Networks and Communities, TridentCom 2007, Orlando, Florida, USA, May 21-23 2007</i>,
    2007, pp. 1--9, doi:<a href="https://doi.org/10.1109/TRIDENTCOM.2007.4444671">10.1109/TRIDENTCOM.2007.4444671</a>.
  short: 'H. S. Lichte, S. Valentin, F. Eitzen, M. Stege, C. Unger, H. Karl, in: 3rd
    International ICST Conference on Testbeds and Research Infrastructures for the
    Development of Networks and Communities, TridentCom 2007, Orlando, Florida, USA,
    May 21-23 2007, 2007, pp. 1--9.'
date_created: 2017-11-27T10:22:27Z
date_updated: 2022-01-06T07:03:53Z
department:
- _id: '75'
doi: 10.1109/TRIDENTCOM.2007.4444671
page: 1--9
publication: 3rd International ICST Conference on Testbeds and Research Infrastructures
  for the Development of Networks and Communities, TridentCom 2007, Orlando, Florida,
  USA, May 21-23 2007
status: public
title: Integrating multiuser dynamic OFDMA into IEEE 802.11a and prototyping it on
  a real-time software-defined radio testbed
type: conference
user_id: '15572'
year: '2007'
...
---
_id: '7374'
author:
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
- first_name: Alexey
  full_name: Cherchago, Alexey
  last_name: Cherchago
citation:
  ama: Heckel R, Cherchago A. Structural and Behavioural Compatibility of Graphical
    Service Specifications. <i>Logic and Algebraic Programming</i>. 2007;70(1):15-33.
  apa: Heckel, R., &#38; Cherchago, A. (2007). Structural and Behavioural Compatibility
    of Graphical Service Specifications. <i>Logic and Algebraic Programming</i>, <i>70</i>(1),
    15–33.
  bibtex: '@article{Heckel_Cherchago_2007, title={Structural and Behavioural Compatibility
    of Graphical Service Specifications}, volume={70}, number={1}, journal={Logic
    and Algebraic Programming}, author={Heckel, Reiko and Cherchago, Alexey}, year={2007},
    pages={15–33} }'
  chicago: 'Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility
    of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i> 70,
    no. 1 (2007): 15–33.'
  ieee: R. Heckel and A. Cherchago, “Structural and Behavioural Compatibility of Graphical
    Service Specifications,” <i>Logic and Algebraic Programming</i>, vol. 70, no.
    1, pp. 15–33, 2007.
  mla: Heckel, Reiko, and Alexey Cherchago. “Structural and Behavioural Compatibility
    of Graphical Service Specifications.” <i>Logic and Algebraic Programming</i>,
    vol. 70, no. 1, 2007, pp. 15–33.
  short: R. Heckel, A. Cherchago, Logic and Algebraic Programming 70 (2007) 15–33.
date_created: 2019-01-31T15:27:49Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: '        70'
issue: '1'
language:
- iso: eng
page: 15-33
publication: Logic and Algebraic Programming
status: public
title: Structural and Behavioural Compatibility of Graphical Service Specifications
type: journal_article
user_id: '52534'
volume: 70
year: '2007'
...
---
_id: '7375'
author:
- first_name: Jan-Christopher
  full_name: Bals, Jan-Christopher
  last_name: Bals
- first_name: Fabian
  full_name: Christ, Fabian
  last_name: Christ
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
citation:
  ama: Bals J-C, Christ F, Engels G, Sauer S. Software-Qualität - überall! - Excel-lente
    Software. <i>Forschungsforum Paderborn</i>. 2007;10:56-60.
  apa: Bals, J.-C., Christ, F., Engels, G., &#38; Sauer, S. (2007). Software-Qualität
    - überall! - Excel-lente Software. <i>Forschungsforum Paderborn</i>, <i>10</i>,
    56–60.
  bibtex: '@article{Bals_Christ_Engels_Sauer_2007, title={Software-Qualität - überall!
    - Excel-lente Software}, volume={10}, journal={Forschungsforum Paderborn}, author={Bals,
    Jan-Christopher and Christ, Fabian and Engels, Gregor and Sauer, Stefan}, year={2007},
    pages={56–60} }'
  chicago: 'Bals, Jan-Christopher, Fabian Christ, Gregor Engels, and Stefan Sauer.
    “Software-Qualität - Überall! - Excel-Lente Software.” <i>Forschungsforum Paderborn</i>
    10 (2007): 56–60.'
  ieee: J.-C. Bals, F. Christ, G. Engels, and S. Sauer, “Software-Qualität - überall!
    - Excel-lente Software,” <i>Forschungsforum Paderborn</i>, vol. 10, pp. 56–60,
    2007.
  mla: Bals, Jan-Christopher, et al. “Software-Qualität - Überall! - Excel-Lente Software.”
    <i>Forschungsforum Paderborn</i>, vol. 10, 2007, pp. 56–60.
  short: J.-C. Bals, F. Christ, G. Engels, S. Sauer, Forschungsforum Paderborn 10
    (2007) 56–60.
date_created: 2019-01-31T15:28:21Z
date_updated: 2022-01-06T07:03:35Z
department:
- _id: '66'
intvolume: '        10'
language:
- iso: eng
page: 56-60
publication: Forschungsforum Paderborn
status: public
title: Software-Qualität - überall! - Excel-lente Software
type: journal_article
user_id: '52534'
volume: 10
year: '2007'
...
---
_id: '7551'
abstract:
- lang: eng
  text: Service-oriented computing is distinguished by its use of dynamic discovery
    and binding for the integration of services at runtime. This poses a challenge
    for testing, in particular, of the interaction between services. We propose a
    model-driven solution to address this challenge. Service descriptions are promoted
    from largely syntactical to behavioural specifications of services in terms of
    contracts (pre-conditions and effects of operations), expressed in a visual UML-like
    notion. Through mappings to semantic web languages and the Java Modeling Language
    (JML) contracts support the automatic discovery of services as well as the derivation
    of test cases and their execution and monitoring. We discuss an extended life
    cycle model for services based on the model-driven approach and illustrate its
    application using a model of a hotel reservation service.
author:
- first_name: Marc
  full_name: Lohmann, Marc
  last_name: Lohmann
- first_name: Leonardo
  full_name: Mariani, Leonardo
  last_name: Mariani
- first_name: Reiko
  full_name: Heckel, Reiko
  last_name: Heckel
citation:
  ama: 'Lohmann M, Mariani L, Heckel R. A Model-Driven Approach to Discovery, Testing
    and Monitoring of Web Services. In: Baresi, E. Di Nitto L, ed. <i>Test and Analysis
    of Web Services</i>. Berlin/Heidelberg: Springer; 2007:173-204.'
  apa: 'Lohmann, M., Mariani, L., &#38; Heckel, R. (2007). A Model-Driven Approach
    to Discovery, Testing and Monitoring of Web Services. In L. Baresi, E. Di Nitto
    (Ed.), <i>Test and Analysis of Web Services</i> (pp. 173–204). Berlin/Heidelberg:
    Springer.'
  bibtex: '@inbook{Lohmann_Mariani_Heckel_2007, place={Berlin/Heidelberg}, title={A
    Model-Driven Approach to Discovery, Testing and Monitoring of Web Services}, booktitle={Test
    and Analysis of Web Services}, publisher={Springer}, author={Lohmann, Marc and
    Mariani, Leonardo and Heckel, Reiko}, editor={Baresi, E. Di Nitto, L.Editor},
    year={2007}, pages={173–204} }'
  chicago: 'Lohmann, Marc, Leonardo Mariani, and Reiko Heckel. “A Model-Driven Approach
    to Discovery, Testing and Monitoring of Web Services.” In <i>Test and Analysis
    of Web Services</i>, edited by L. Baresi, E. Di Nitto, 173–204. Berlin/Heidelberg:
    Springer, 2007.'
  ieee: 'M. Lohmann, L. Mariani, and R. Heckel, “A Model-Driven Approach to Discovery,
    Testing and Monitoring of Web Services,” in <i>Test and Analysis of Web Services</i>,
    L. Baresi, E. Di Nitto, Ed. Berlin/Heidelberg: Springer, 2007, pp. 173–204.'
  mla: Lohmann, Marc, et al. “A Model-Driven Approach to Discovery, Testing and Monitoring
    of Web Services.” <i>Test and Analysis of Web Services</i>, edited by L. Baresi,
    E. Di Nitto, Springer, 2007, pp. 173–204.
  short: 'M. Lohmann, L. Mariani, R. Heckel, in: L. Baresi, E. Di Nitto (Ed.), Test
    and Analysis of Web Services, Springer, Berlin/Heidelberg, 2007, pp. 173–204.'
date_created: 2019-02-05T13:04:26Z
date_updated: 2022-01-06T07:03:39Z
department:
- _id: '66'
editor:
- first_name: L.
  full_name: Baresi, E. Di Nitto, L.
  last_name: Baresi, E. Di Nitto
language:
- iso: eng
page: 173-204
place: Berlin/Heidelberg
publication: Test and Analysis of Web Services
publisher: Springer
status: public
title: A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services
type: book_chapter
user_id: '52534'
year: '2007'
...
---
_id: '7579'
abstract:
- lang: eng
  text: 'Today, mobility is one of the most important market and technology trend
    within information and communication technology. As the demand for rapid deployment
    of dependable mobile applications increases, middleware for mobile systems is
    emerging as one of the most active areas of system research in mobility. The middleware
    is a set of distributed software services that exists between distributed operating
    systems and mobile applications. The key to the middleware is to provide support
    across the mobile application domains, help application developers overcome the
    complexity and problems brought by mobility, and enhance dependability and usability
    of developed mobile applications. The criticality and pervasiveness of middleware
    for mobile systems is continually growing. However, the design and development
    of the middleware are difficult tasks, and it is not easy to ensure the quality
    of a developed middleware. This is mainly caused by the increasing complexity
    of the middleware. In addition, the great diversity of this area makes it very
    difficult for the designers to reuse the already established design knowledge
    or successful experience when building new systems. All these make the design
    process quite inefficient and unpredictable, and therefore risking the project.
    “One man’s magic is another man’s engineering”. Engineering design is much more
    routine than innovative. Founding on this fundamental notion in software engineering,
    we develop an architectural style-based approach to deal with the problems in
    the thesis. We build architectural styles for a class of related middleware. The
    style represents a common form of design, which originates from the results that
    practitioners have achieved in one area. The style is formulated to repeat successes
    and avoid failures from previous projects. When building a new middleware, the
    designers and developers do not need to explore all possible alternatives for
    its supported architecture. Instead, they can use the architectural style that
    is effective for the middleware. They can define the design as instances of the
    style, or they can use the style as a reference model for further improvement
    and development. By structuring the design space for a family of related middleware,
    the style can drastically simplify the process of building a middleware, reduce
    costs of implementation through reusable infrastructure, and improve system integrity
    through style-specific analysis and checks. We develop the approach based on UML-like
    meta modeling and graph transformation techniques to support sound methodological
    principles, powerful modeling, formal analysis and refinement. The approach consists
    of several main parts: the modeling language that supports specification of the
    style and mobility, the refinement formalization that ensures that an abstract
    style is correctly refined to a concrete one, as well as the consistency check
    framework that validates behavioral consistency between two styles on different
    abstract layers. With the Fujaba simulation tool support, we also develop a style-based
    engineering process that helps us to efficiently develop correct and consistent
    styles. Besides, it allows a seamless integration of our approach into the well-known
    object oriented design. By providing a concrete example of how to construct the
    style for a class of related middleware, and how to use the style to help the
    design and development of a new middleware, we show that the architectural style-based
    approach is useful and practical.'
author:
- first_name: Ping
  full_name: Guo, Ping
  last_name: Guo
citation:
  ama: Guo P. <i>Architectural Style-Based Modeling and Simulation of Middleware for
    Mobile Systems</i>.; 2007.
  apa: Guo, P. (2007). <i>Architectural Style-based Modeling and Simulation of Middleware
    for Mobile Systems</i>.
  bibtex: '@book{Guo_2007, title={Architectural Style-based Modeling and Simulation
    of Middleware for Mobile Systems}, author={Guo, Ping}, year={2007} }'
  chicago: Guo, Ping. <i>Architectural Style-Based Modeling and Simulation of Middleware
    for Mobile Systems</i>, 2007.
  ieee: P. Guo, <i>Architectural Style-based Modeling and Simulation of Middleware
    for Mobile Systems</i>. 2007.
  mla: Guo, Ping. <i>Architectural Style-Based Modeling and Simulation of Middleware
    for Mobile Systems</i>. 2007.
  short: P. Guo, Architectural Style-Based Modeling and Simulation of Middleware for
    Mobile Systems, 2007.
date_created: 2019-02-06T14:23:47Z
date_updated: 2022-01-06T07:03:40Z
department:
- _id: '66'
language:
- iso: eng
status: public
title: Architectural Style-based Modeling and Simulation of Middleware for Mobile
  Systems
type: dissertation
user_id: '52534'
year: '2007'
...
