---
_id: '4684'
abstract:
- lang: eng
text: Recent years have seen the emergence of physical products that are digitally
networked with other products and with information systems to enable complex business
scenarios in manufacturing, mobility, or healthcare. These “smart products”, which
enable the co-creation of “smart service” that is based on monitoring, optimization,
remote control, and autonomous adaptation of products, profoundly transform service
systems into what we call “smart service systems”. In a multi-method study that
includes conceptual research and qualitative data from in-depth interviews, we
conceptualize “smart service” and “smart service systems” based on using smart
products as boundary objects that integrate service consumers’ and service providers’
resources and activities. Smart products allow both actors to retrieve and to
analyze aggregated field evidence and to adapt service systems based on contextual
data. We discuss the implications that the introduction of smart service systems
have for foundational concepts of service science and conclude that smart service
systems are characterized by technology-mediated, continuous, and routinized interactions.
article_type: original
author:
- first_name: Daniel
full_name: Beverungen, Daniel
id: '59677'
last_name: Beverungen
- first_name: Oliver
full_name: Müller, Oliver
id: '72849'
last_name: Müller
- first_name: Martin
full_name: Matzner, Martin
last_name: Matzner
- first_name: Jan
full_name: Mendling, Jan
last_name: Mendling
- first_name: Jan
full_name: vom Brocke, Jan
last_name: vom Brocke
citation:
ama: Beverungen D, Müller O, Matzner M, Mendling J, vom Brocke J. Conceptualizing
smart service systems. Electronic Markets. 2019;29:7-18. doi:10.1007/s12525-017-0270-5
apa: Beverungen, D., Müller, O., Matzner, M., Mendling, J., & vom Brocke, J.
(2019). Conceptualizing smart service systems. Electronic Markets, 29,
7–18. https://doi.org/10.1007/s12525-017-0270-5
bibtex: '@article{Beverungen_Müller_Matzner_Mendling_vom Brocke_2019, title={Conceptualizing
smart service systems}, volume={29}, DOI={10.1007/s12525-017-0270-5},
journal={Electronic Markets}, publisher={SpringerNature}, author={Beverungen,
Daniel and Müller, Oliver and Matzner, Martin and Mendling, Jan and vom Brocke,
Jan}, year={2019}, pages={7–18} }'
chicago: 'Beverungen, Daniel, Oliver Müller, Martin Matzner, Jan Mendling, and Jan
vom Brocke. “Conceptualizing Smart Service Systems.” Electronic Markets
29 (2019): 7–18. https://doi.org/10.1007/s12525-017-0270-5.'
ieee: 'D. Beverungen, O. Müller, M. Matzner, J. Mendling, and J. vom Brocke, “Conceptualizing
smart service systems,” Electronic Markets, vol. 29, pp. 7–18, 2019, doi:
10.1007/s12525-017-0270-5.'
mla: Beverungen, Daniel, et al. “Conceptualizing Smart Service Systems.” Electronic
Markets, vol. 29, SpringerNature, 2019, pp. 7–18, doi:10.1007/s12525-017-0270-5.
short: D. Beverungen, O. Müller, M. Matzner, J. Mendling, J. vom Brocke, Electronic
Markets 29 (2019) 7–18.
date_created: 2018-10-12T08:24:45Z
date_updated: 2024-04-18T12:55:05Z
ddc:
- '380'
department:
- _id: '195'
doi: 10.1007/s12525-017-0270-5
file:
- access_level: closed
content_type: application/pdf
creator: dabe
date_created: 2024-04-18T12:53:07Z
date_updated: 2024-04-18T12:53:07Z
file_id: '53575'
file_name: Beverungen_et_al-Conceptualizing_Smart_Service_Systems.pdf
file_size: 599681
relation: main_file
success: 1
file_date_updated: 2024-04-18T12:53:07Z
has_accepted_license: '1'
intvolume: ' 29'
jel:
- L8
keyword:
- Boundary object
- Internet of things
- Service science
- Smart products
- Smart service
language:
- iso: eng
page: 7-18
project:
- _id: '1070'
call_identifier: MSCA-RISE-2014
grant_number: '645751'
name: 'RISE_BPM: Propelling Business Process Management by Research and Innovation
Staff Exchange'
publication: Electronic Markets
publication_identifier:
issn:
- '14228890'
publication_status: published
publisher: SpringerNature
quality_controlled: '1'
status: public
title: Conceptualizing smart service systems
type: journal_article
user_id: '59677'
volume: 29
year: '2019'
...
---
_id: '57889'
abstract:
- lang: eng
text: During the past decade, there has been an increase of pedagogical research
under conditions of posthuman theories, such as the Actor Network Theory or post-phenomenology.
Yet, there has not been much research on the materiality of music pedagogical
practices. This article introduces an ongoing grounded-theory study on the role
of things (e.g., music instruments, black board, or digital devices) within the
music classroom. Results from the analysis of group discussions and interviews
with student teachers show tensions between personal preferences, school conventions,
and material conventions within the process of introducing things into the classroom.
(DIPF/Orig.)
author:
- first_name: Marc
full_name: Godau, Marc
id: '98877'
last_name: Godau
citation:
ama: 'Godau M. Wie kommen die Dinge in den Musikunterricht? Zur Materialität musikpädagogischer
Praxis am Beispiel divergierender Orientierungen im Kontext unterrichtsbezogenen
Handelns angehender Lehrkräfte. In: Clausen B, Dreßler S, eds. Soziale Aspekte
Des Musiklernens. Musikpädagogische Forschung. Waxmann; 2018:43–55.'
apa: Godau, M. (2018). Wie kommen die Dinge in den Musikunterricht? Zur Materialität
musikpädagogischer Praxis am Beispiel divergierender Orientierungen im Kontext
unterrichtsbezogenen Handelns angehender Lehrkräfte. In B. Clausen & S. Dreßler
(Eds.), Soziale Aspekte des Musiklernens (pp. 43–55). Waxmann.
bibtex: '@inbook{Godau_2018, place={Münster, New York}, series={Musikpädagogische
Forschung}, title={Wie kommen die Dinge in den Musikunterricht? Zur Materialität
musikpädagogischer Praxis am Beispiel divergierender Orientierungen im Kontext
unterrichtsbezogenen Handelns angehender Lehrkräfte}, booktitle={Soziale Aspekte
des Musiklernens}, publisher={Waxmann}, author={Godau, Marc}, editor={Clausen,
Bernd and Dreßler, Susanne}, year={2018}, pages={43–55}, collection={Musikpädagogische
Forschung} }'
chicago: 'Godau, Marc. “Wie Kommen Die Dinge in Den Musikunterricht? Zur Materialität
Musikpädagogischer Praxis Am Beispiel Divergierender Orientierungen Im Kontext
Unterrichtsbezogenen Handelns Angehender Lehrkräfte.” In Soziale Aspekte Des
Musiklernens, edited by Bernd Clausen and Susanne Dreßler, 43–55. Musikpädagogische
Forschung. Münster, New York: Waxmann, 2018.'
ieee: 'M. Godau, “Wie kommen die Dinge in den Musikunterricht? Zur Materialität
musikpädagogischer Praxis am Beispiel divergierender Orientierungen im Kontext
unterrichtsbezogenen Handelns angehender Lehrkräfte,” in Soziale Aspekte des
Musiklernens, B. Clausen and S. Dreßler, Eds. Münster, New York: Waxmann,
2018, pp. 43–55.'
mla: Godau, Marc. “Wie Kommen Die Dinge in Den Musikunterricht? Zur Materialität
Musikpädagogischer Praxis Am Beispiel Divergierender Orientierungen Im Kontext
Unterrichtsbezogenen Handelns Angehender Lehrkräfte.” Soziale Aspekte Des Musiklernens,
edited by Bernd Clausen and Susanne Dreßler, Waxmann, 2018, pp. 43–55.
short: 'M. Godau, in: B. Clausen, S. Dreßler (Eds.), Soziale Aspekte Des Musiklernens,
Waxmann, Münster, New York, 2018, pp. 43–55.'
date_created: 2024-12-30T14:43:14Z
date_updated: 2025-02-06T10:52:25Z
department:
- _id: '131'
- _id: '36'
- _id: '129'
- _id: '540'
editor:
- first_name: Bernd
full_name: Clausen, Bernd
last_name: Clausen
- first_name: Susanne
full_name: Dreßler, Susanne
last_name: Dreßler
extern: '1'
keyword:
- Interview
- Lehrer
- Musical education
- Musikpädagogik
- Musikunterricht
- Teacher
- Music lessons
- Qualitative Forschung
- Qualitative research
- Teaching of music
- Object
- Objekt
- Ding
- Handlung
- Practice
- Praxis
- Probationary teacher training
- Referendariat
language:
- iso: eng
main_file_link:
- open_access: '1'
oa: '1'
page: 43–55
place: Münster, New York
publication: Soziale Aspekte des Musiklernens
publisher: Waxmann
quality_controlled: '1'
series_title: Musikpädagogische Forschung
status: public
title: Wie kommen die Dinge in den Musikunterricht? Zur Materialität musikpädagogischer
Praxis am Beispiel divergierender Orientierungen im Kontext unterrichtsbezogenen
Handelns angehender Lehrkräfte
type: book_chapter
user_id: '99991'
year: '2018'
...
---
_id: '6075'
abstract:
- lang: eng
text: For almost three decades, the theory of visual attention (TVA) has been successful
in mathematically describing and explaining a wide variety of phenomena in visual
selection and recognition with high quantitative precision. Interestingly, the
influence of feature contrast on attention has been included in TVA only recently,
although it has been extensively studied outside the TVA framework. The present
approach further develops this extension of TVA’s scope by measuring and modeling
salience. An empirical measure of salience is achieved by linking different (orientation
and luminance) contrasts to a TVA parameter. In the modeling part, the function
relating feature contrasts to salience is described mathematically and tested
against alternatives by Bayesian model comparison. This model comparison reveals
that the power function is an appropriate model of salience growth in the dimensions
of orientation and luminance contrast. Furthermore, if contrasts from the two
dimensions are comb
article_type: original
author:
- first_name: Alexander
full_name: Krüger, Alexander
last_name: Krüger
- first_name: Jan
full_name: Tünnermann, Jan
last_name: Tünnermann
- first_name: Ingrid
full_name: Scharlau, Ingrid
id: '451'
last_name: Scharlau
orcid: 0000-0003-2364-9489
citation:
ama: Krüger A, Tünnermann J, Scharlau I. Measuring and modeling salience with the
theory of visual attention. Attention, Perception, & Psychophysics.
2017;79(6):1593-1614. doi:10.3758/s13414-017-1325-6
apa: Krüger, A., Tünnermann, J., & Scharlau, I. (2017). Measuring and modeling
salience with the theory of visual attention. Attention, Perception, &
Psychophysics, 79(6), 1593–1614. https://doi.org/10.3758/s13414-017-1325-6
bibtex: '@article{Krüger_Tünnermann_Scharlau_2017, title={Measuring and modeling
salience with the theory of visual attention.}, volume={79}, DOI={10.3758/s13414-017-1325-6},
number={6}, journal={Attention, Perception, & Psychophysics}, author={Krüger,
Alexander and Tünnermann, Jan and Scharlau, Ingrid}, year={2017}, pages={1593–1614}
}'
chicago: 'Krüger, Alexander, Jan Tünnermann, and Ingrid Scharlau. “Measuring and
Modeling Salience with the Theory of Visual Attention.” Attention, Perception,
& Psychophysics 79, no. 6 (2017): 1593–1614. https://doi.org/10.3758/s13414-017-1325-6.'
ieee: 'A. Krüger, J. Tünnermann, and I. Scharlau, “Measuring and modeling salience
with the theory of visual attention.,” Attention, Perception, & Psychophysics,
vol. 79, no. 6, pp. 1593–1614, 2017, doi: 10.3758/s13414-017-1325-6.'
mla: Krüger, Alexander, et al. “Measuring and Modeling Salience with the Theory
of Visual Attention.” Attention, Perception, & Psychophysics, vol.
79, no. 6, 2017, pp. 1593–614, doi:10.3758/s13414-017-1325-6.
short: A. Krüger, J. Tünnermann, I. Scharlau, Attention, Perception, & Psychophysics
79 (2017) 1593–1614.
date_created: 2018-12-10T07:05:04Z
date_updated: 2022-06-06T14:08:05Z
department:
- _id: '424'
doi: 10.3758/s13414-017-1325-6
intvolume: ' 79'
issue: '6'
keyword:
- Salience
- Visual attention
- Bayesian inference
- Theory of visual attention
- Computational modeling
- Inference
- Object Recognition
- Theories
- Visual Perception
- Visual Attention
- Luminance
- Perceptual Orientation
- Statistical Probability
- Stimulus Salience
- Computational Modeling
language:
- iso: eng
page: 1593 - 1614
publication: Attention, Perception, & Psychophysics
publication_identifier:
issn:
- 1943-3921
publication_status: published
status: public
title: Measuring and modeling salience with the theory of visual attention.
type: journal_article
user_id: '42165'
volume: 79
year: '2017'
...
---
_id: '5701'
abstract:
- lang: eng
text: "Purpose\r\n– The purpose of this paper is to craft a future research agenda
to advance smart service research and practice. Smart services are delivered to
or via intelligent objects that feature awareness and connectivity. For service
researchers and managers, one of the most fascinating aspects of smart service
provision is that the connected object is able to sense its own condition and
its surroundings and thus allows for real-time data collection, continuous communication
and interactive feedback. \r\n\r\nDesign/methodology/approach\r\n– This article
is based on discussions in the workshop on “Fresh perspectives on technology in
service” at the International Network of Service Researchers on September 26,
2014 at CTF, Karlstad, Sweden. The paper summarizes the discussion on smart services,
adds an extensive literature review, provides examples from business practice
and develops a structured approach to new research avenues. \r\n\r\nFindings\r\n–
We propose that smart services vary on their individual level of autonomous decision-making,
visibility and embeddedness in objects and customer lives. Based on a discussion
of these characteristics, we identify research avenues regarding the perception
and nature of smart services, the adoption of smart services, the innovation through
smart services as well as regarding the development of new business models. \r\n\r\nOriginality/value\r\n–
Smart services is a new emerging topic in service marketing research, their implications
on organizations, customers and the service landscape have not been fully explored.
We provide a fresh perspective on service research by characterizing relevant
aspects of smart service that will stimulate fruitful future research and advance
the understanding and practice of smart services."
article_type: original
author:
- first_name: Nancy
full_name: Wünderlich, Nancy
id: '36392'
last_name: Wünderlich
- first_name: Kristina
full_name: Heinonen, Kristina
last_name: Heinonen
- first_name: Amy L
full_name: Ostrom, Amy L
last_name: Ostrom
- first_name: Lia
full_name: Patricio, Lia
last_name: Patricio
- first_name: Rui
full_name: Sousa, Rui
last_name: Sousa
- first_name: Chris
full_name: Voss, Chris
last_name: Voss
- first_name: Jos
full_name: Lemmink, Jos
last_name: Lemmink
citation:
ama: 'Wünderlich N, Heinonen K, Ostrom AL, et al. Futurizing” Smart Service: Implications
for Service Researchers and Managers. Journal of Services Marketing. 2015;29(6/7):442-447.'
apa: 'Wünderlich, N., Heinonen, K., Ostrom, A. L., Patricio, L., Sousa, R., Voss,
C., & Lemmink, J. (2015). Futurizing” Smart Service: Implications for Service
Researchers and Managers. Journal of Services Marketing, 29(6/7),
442–447.'
bibtex: '@article{Wünderlich_Heinonen_Ostrom_Patricio_Sousa_Voss_Lemmink_2015, title={Futurizing”
Smart Service: Implications for Service Researchers and Managers.}, volume={29},
number={6/7}, journal={Journal of Services Marketing}, publisher={Emerald Group
Publishing Limited}, author={Wünderlich, Nancy and Heinonen, Kristina and Ostrom,
Amy L and Patricio, Lia and Sousa, Rui and Voss, Chris and Lemmink, Jos}, year={2015},
pages={442–447} }'
chicago: 'Wünderlich, Nancy, Kristina Heinonen, Amy L Ostrom, Lia Patricio, Rui
Sousa, Chris Voss, and Jos Lemmink. “Futurizing” Smart Service: Implications for
Service Researchers and Managers.” Journal of Services Marketing 29, no.
6/7 (2015): 442–47.'
ieee: 'N. Wünderlich et al., “Futurizing” Smart Service: Implications for
Service Researchers and Managers.,” Journal of Services Marketing, vol.
29, no. 6/7, pp. 442–447, 2015.'
mla: 'Wünderlich, Nancy, et al. “Futurizing” Smart Service: Implications for Service
Researchers and Managers.” Journal of Services Marketing, vol. 29, no.
6/7, Emerald Group Publishing Limited, 2015, pp. 442–47.'
short: N. Wünderlich, K. Heinonen, A.L. Ostrom, L. Patricio, R. Sousa, C. Voss,
J. Lemmink, Journal of Services Marketing 29 (2015) 442–447.
date_created: 2018-11-15T11:27:26Z
date_updated: 2022-01-06T07:02:36Z
department:
- _id: '181'
intvolume: ' 29'
issue: 6/7
keyword:
- Connected services
- Intelligent object
- New service type
- Smart services
language:
- iso: eng
page: 442-447
publication: Journal of Services Marketing
publication_status: published
publisher: Emerald Group Publishing Limited
status: public
title: 'Futurizing” Smart Service: Implications for Service Researchers and Managers.'
type: journal_article
user_id: '37741'
volume: 29
year: '2015'
...
---
_id: '37037'
abstract:
- lang: eng
text: Today we can identify a big gap between requirement specification and the
generation of test environments. This article extends the Classification Tree
Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the
precise specification of stimuli for operational ranges of continuous control
systems. It introduces novel means for continuous acceptance criteria definition
and for functional coverage definition.
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In:
Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186'
apa: Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW
System Test. Proceedings of DATE’10. Design, Automation & Test in Europe
Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
bibtex: '@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic
Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander
and Müller, Wolfgang}, year={2010} }'
chicago: 'Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined
HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.'
ieee: 'A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,”
presented at the Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.'
mla: Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW
System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
short: 'A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
location: Dresden
name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:41:15Z
date_updated: 2023-01-17T10:41:25Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457186
keyword:
- System testing
- Automatic testing
- Object oriented modeling
- Classification tree analysis
- Automotive engineering
- Mathematical model
- Embedded system
- Control systems
- Electronic equipment testing
- Software testing
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: A Systematic Approach to Combined HW/SW System Test
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '38543'
abstract:
- lang: eng
text: Today a large variety of mobile interaction devices such as PDAs and mobile
phones enforce the development of a wide range of user interfaces for each platform.
The complexity even grows, when multiple interaction devices are used to perform
the same task and when different modalities have to be supported. We introduce
a new dialog model for the abstraction of concrete user interfaces with a separate
advanced control layer for the integration of different modalities. In this context,
we present the Dialog and Interface Specification Language (DISL), which comes
with a proof-of-concept implementation.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Steffen
full_name: Bleul, Steffen
last_name: Bleul
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple
Interaction Modalities. In: Proceedings of the 5th International Workshop on
Task Models and Diagrams for User Interface Design (TAMODIA’2006). ; 2006.
doi:10.1007/978-3-540-70816-2_4'
apa: Schäfer, R., Bleul, S., & Müller, W. (2006). Dialog Modelling for Multiple
Devices and Multiple Interaction Modalities. Proceedings of the 5th International
Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006).
https://doi.org/10.1007/978-3-540-70816-2_4
bibtex: '@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog
Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={10.1007/978-3-540-70816-2_4},
booktitle={Proceedings of the 5th International Workshop on Task Models and Diagrams
for User Interface Design (TAMODIA’2006)}, author={Schäfer, Robbie and Bleul,
Steffen and Müller, Wolfgang}, year={2006} }'
chicago: Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling
for Multiple Devices and Multiple Interaction Modalities.” In Proceedings of
the 5th International Workshop on Task Models and Diagrams for User Interface
Design (TAMODIA’2006). Hasselt, Belgium, 2006. https://doi.org/10.1007/978-3-540-70816-2_4.
ieee: 'R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices
and Multiple Interaction Modalities,” 2006, doi: 10.1007/978-3-540-70816-2_4.'
mla: Schäfer, Robbie, et al. “Dialog Modelling for Multiple Devices and Multiple
Interaction Modalities.” Proceedings of the 5th International Workshop on Task
Models and Diagrams for User Interface Design (TAMODIA’2006), 2006, doi:10.1007/978-3-540-70816-2_4.
short: 'R. Schäfer, S. Bleul, W. Müller, in: Proceedings of the 5th International
Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006),
Hasselt, Belgium, 2006.'
date_created: 2023-01-24T08:03:51Z
date_updated: 2023-01-24T08:03:56Z
department:
- _id: '672'
doi: 10.1007/978-3-540-70816-2_4
keyword:
- User Interface Interaction Manager Output Device Multimodal Interface Interaction
Object
language:
- iso: eng
place: Hasselt, Belgium
publication: Proceedings of the 5th International Workshop on Task Models and Diagrams
for User Interface Design (TAMODIA'2006)
publication_identifier:
isbn:
- 978-3-540-70815-5
status: public
title: Dialog Modelling for Multiple Devices and Multiple Interaction Modalities
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '39029'
abstract:
- lang: eng
text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
Much effort has been undertaken to employ different aspects of UML for multiple
domains, mainly in the area of software systems. Considering the area of electronic
design automation, however, we currently see only very few approaches which investigate
UML for hardware design and hardware/software co-design. We present an approach
for executable UML closing the gap from system specification to its model-based
execution on reconfigurable hardware. For this purpose, we present our abstract
execution platform (AEP), which is based on a virtual machine running an executable
UML subset for embedded software and reconfigurable hardware. This subset combines
UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
We describe how these binary encoded UML specifications can be directly executed
and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
we present evaluation results comparing the AEP implementation with C code on
a C167 microcontroller.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE;
2005. doi:10.1109/DATE.2005.20'
apa: Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach
for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.
https://doi.org/10.1109/DATE.2005.20
bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
}, title={A Model-Based Approach for Executable Specification on Reconfigurable
Hardware}, DOI={10.1109/DATE.2005.20},
booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings
of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.'
ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.'
mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
isbn:
- 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '33825'
abstract:
- lang: eng
text: This article describes our approach for the specification and verification
of production automation systems with real-time properties. We focus on the graphical
MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification
of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint
Language (OCL) that is part of the Unified Modeling Language (UML). We introduce
the formal semantics of RT-OCL based on a formal model of UML Class and State
Diagrams and provide a mapping to temporal logics. The applicability of our approach
is demonstrated by the case study of a manufacturing system with automated guided
vehicles.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Ulrich
full_name: Pape, Ulrich
last_name: Pape
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of
Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel
J, et al., eds. Integration of Software Specification Techniques for Applications
in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag;
2004:206-226. doi:10.1007/978-3-540-27863-4_13'
apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal
Verification of Temporal Properties of Production Automation Systems. In H. Ehrig,
W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper
(Eds.), Integration of Software Specification Techniques for Applications in
Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
bibtex: '@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture
Notes in Computer Science}, title={Specification and Formal Verification of Temporal
Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13},
booktitle={Integration of Software Specification Techniques for Applications in
Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller,
Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner
and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard
and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification
and Formal Verification of Temporal Properties of Production Automation Systems.”
In Integration of Software Specification Techniques for Applications in Engineering,
edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang
Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes
in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.'
ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification
of Temporal Properties of Production Automation Systems,” in Integration of
Software Specification Techniques for Applications in Engineering, vol. 3147,
H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper,
Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.'
mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties
of Production Automation Systems.” Integration of Software Specification Techniques
for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147,
Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M.
Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software
Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin,
Heidelberg, 2004, pp. 206–226.'
date_created: 2022-10-20T09:25:53Z
date_updated: 2022-10-20T09:26:15Z
department:
- _id: '672'
doi: 10.1007/978-3-540-27863-4_13
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Jörg
full_name: Desel, Jörg
last_name: Desel
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Eckehard
full_name: Schnieder, Eckehard
last_name: Schnieder
- first_name: Engelbert
full_name: Westkämper, Engelbert
last_name: Westkämper
intvolume: ' 3147'
keyword:
- Model Check
- Temporal Logic
- Object Constraint Language
- Abstract Syntax
- Temporal Logic Formula
language:
- iso: eng
page: 206-226
place: Berlin, Heidelberg
publication: Integration of Software Specification Techniques for Applications in
Engineering
publication_identifier:
isbn:
- 978-3-540-27863-4
publisher: Springer-Verlag
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Formal Verification of Temporal Properties of Production
Automation Systems
type: book_chapter
user_id: '5786'
volume: 3147
year: '2004'
...
---
_id: '39071'
abstract:
- lang: eng
text: The interconnection of software components is a key to enabling collaborative
work. However, technology differences and security barriers like firewalls often
hinder establishing collaborative infrastructures between enterprises or even
within a single enterprise. We introduce a peer-to-peer based network infrastructure
that transparently overcomes these problems using relay and routing mechanisms
as well as different underlying transport protocols. We discuss the application
of this technology to interconnect Web services.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Chris
full_name: Loeser, Chris
last_name: Loeser
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting
Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE;
2004. doi:10.1109/AINA.2004.1283977'
apa: Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology
for Interconnecting Web Services in Heterogeneous Networks. Proceedings of
AINA2004. 18th International Conference on Advanced Information Networking
and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan },
title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
Networks}, DOI={10.1109/AINA.2004.1283977},
booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim
and Loeser, Chris and Müller, Wolfgang}, year={2004} }'
chicago: 'Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology
for Interconnecting Web Services in Heterogeneous Networks.” In Proceedings
of AINA2004. Fukuoka, Japan : IEEE, 2004. https://doi.org/10.1109/AINA.2004.1283977.'
ieee: 'T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting
Web Services in Heterogeneous Networks,” presented at the 18th International
Conference on Advanced Information Networking and Applications, Fukuoka, Japan
, 2004, doi: 10.1109/AINA.2004.1283977.'
mla: Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web
Services in Heterogeneous Networks.” Proceedings of AINA2004, IEEE, 2004,
doi:10.1109/AINA.2004.1283977.
short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE,
Fukuoka, Japan , 2004.'
conference:
location: 'Fukuoka, Japan '
name: ' 18th International Conference on Advanced Information Networking and Applications'
date_created: 2023-01-24T09:05:58Z
date_updated: 2023-01-24T09:06:02Z
department:
- _id: '672'
doi: 10.1109/AINA.2004.1283977
keyword:
- Peer to peer computing
- Web services
- Intelligent networks
- Routing
- Relays
- Simple object access protocol
- Collaborative work
- Transport protocols
- Network address translation
- Java
language:
- iso: eng
place: 'Fukuoka, Japan '
publication: Proceedings of AINA2004
publication_identifier:
isbn:
- 0-7695-2051-0
publisher: IEEE
status: public
title: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39352'
abstract:
- lang: eng
text: The recently adopted OCL 2.0 specification comes with a formal semantics that
is based on set theory with a notion of an object model and system states. System
states keep the runtime information relevant for the evaluation of OCL expressions.
However, not all new language concepts of OCL 2.0 are already addressed in that
formal semantics. We show how to overcome this by introducing new components to
the object model and system states defining a dynamic semantics of OCL. In order
to give precise rules that determine when the current system state has to be updated
according to a change in the referred UML model, we make use of adequate mathematical
means, namely Abstract State Machines (ASMs). Though our ASM specification also
gives a clear definition for the evaluation of OCL constraints, it leaves sufficient
flexibility for application specific implementations that have to determine when
constraints are to be checked.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
citation:
ama: 'Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In:
Proceedings of the UML 2004. ; 2004. doi:10.1007/978-3-540-30187-5_17'
apa: Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0
Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
bibtex: '@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM
Definition of the Dynamic OCL 2.0 Semantics}, DOI={10.1007/978-3-540-30187-5_17},
booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang},
year={2004} }'
chicago: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic
OCL 2.0 Semantics.” In Proceedings of the UML 2004. Lisbon, Portugal, 2004.
https://doi.org/10.1007/978-3-540-30187-5_17.
ieee: 'S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,”
2004, doi: 10.1007/978-3-540-30187-5_17.'
mla: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL
2.0 Semantics.” Proceedings of the UML 2004, 2004, doi:10.1007/978-3-540-30187-5_17.
short: 'S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal,
2004.'
date_created: 2023-01-24T09:28:53Z
date_updated: 2023-01-24T09:28:58Z
department:
- _id: '672'
doi: 10.1007/978-3-540-30187-5_17
keyword:
- System State Formal Semantic Object Management Group Denotational Semantic Dynamic
Semantic
language:
- iso: eng
place: Lisbon, Portugal
publication: Proceedings of the UML 2004
publication_identifier:
eisbn:
- 978-3-540-30187-5
status: public
title: An ASM Definition of the Dynamic OCL 2.0 Semantics
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '34565'
abstract:
- lang: eng
text: "The textual Object Constraint Language (OCL) is primarily intended to specify
restrictions over UML class diagrams, in particular class invariants, operation
pre-, and postconditions. Based on several improvements in the definition of the
language concepts in last years, a proposal for a new version of OCL has recently
been published [43]. That document provides an extensive OCL semantic description
that constitutes a tight integration into UML. However, OCL still lacks a semantic
integration of UML Statecharts, although it can already be used to refer to states
in OCL expressions.\r\n\r\nThis article presents an approach that closes this
gap and introduces a formal semantics for such integration through a mathematical
model. It also presents the definition of a temporal OCL extension by means of
a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension
enables modelers to specify behavioral state-oriented real-time constraints. It
provides an intuitive understanding and readability at application level since
common OCL syntax and concepts are preserved. A well-defined formal semantics
is given through the mapping of temporal OCL expressions to temporal logics formulae. "
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL
Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186.
doi:10.1007/s10270-003-0026-x
apa: Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal
State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM),
2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
bibtex: '@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal
State-Oriented OCL Constraints}, volume={2}, DOI={10.1007/s10270-003-0026-x},
number={3}, journal={Journal on Software and System Modeling (SoSyM)}, publisher={Springer-Verlag},
author={Flake, Stephan and Müller, Wolfgang}, year={2003}, pages={164–186} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM)
2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.'
ieee: 'S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented
OCL Constraints,” Journal on Software and System Modeling (SoSyM), vol.
2, no. 3, pp. 164–186, 2003, doi: 10.1007/s10270-003-0026-x.'
mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal
State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM),
vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
short: S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003)
164–186.
date_created: 2022-12-19T12:26:46Z
date_updated: 2022-12-19T12:27:00Z
department:
- _id: '672'
doi: 10.1007/s10270-003-0026-x
intvolume: ' 2'
issue: '3'
keyword:
- Object Constraint Language UML Statecharts UML Profile Real-time constraints Temporal
logics
language:
- iso: eng
page: 164-186
publication: Journal on Software and System Modeling (SoSyM)
publisher: Springer-Verlag
status: public
title: Formal Semantics of Static and Temporal State-Oriented OCL Constraints
type: journal_article
user_id: '5786'
volume: 2
year: '2003'
...
---
_id: '39364'
abstract:
- lang: eng
text: "The textual Object Constraint Language (OCL) is an of-\r\nficial part of
the Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions
over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions
in the context of class diagrams. However, OCL\r\nis missing means to specify
constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed
a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral
state-oriented constraints. That work provides\r\nan alternative to the rather
cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral
system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension
al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant
in practice. We present according temporal OCL\r\nexpressions for property specification
patterns that have\r\nbeen identified in the area of formal specification."
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. Expressing Property Specification Patterns with OCL. In:
Proceedings of SERP’03. ; 2003.'
apa: Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns
with OCL. Proceedings of SERP’03.
bibtex: '@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing
Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03},
author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
chicago: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification
Patterns with OCL.” In Proceedings of SERP’03. Las Vegas, NV, 2003.
ieee: S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,”
2003.
mla: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns
with OCL.” Proceedings of SERP’03, 2003.
short: 'S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.'
date_created: 2023-01-24T09:45:49Z
date_updated: 2023-01-24T09:45:54Z
department:
- _id: '672'
keyword:
- UML
- Object Constraint Language
- Patterns
- Property Specification
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of SERP'03
status: public
title: Expressing Property Specification Patterns with OCL
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '34447'
abstract:
- lang: eng
text: "The Object Constraint Language (OCL) was introduced to support the specification
of constraints for UML diagrams and is mainly used to formulate invariants and
operation pre- and postconditions. Though OCL is also applied in behavioral diagrams,
e.g., as guards for state transitions, it is currently not possible to specify
constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis
article discusses OCL’s application for the dynamic behavior of UML Statechart
diagrams and presents an OCL extension for specification of state-oriented time-bounded
constraints.We introduce operations to extract state configurations from diagrams
and define additional predicates over states and state configurations. The semantics
of our OCL extension is given by employing time-bounded Computational Tree Logic
(CTL) formulae. An example of a flexible manufacturing system with automated guided
vehicles demonstrates the application of our extension."
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T,
Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag;
2002:150-171. doi:10.1007/3-540-45669-4_8'
apa: Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints.
In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL
(pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
bibtex: '@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension
for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8},
booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag},
author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.},
year={2002}, pages={150–171} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
In Advances in Object Modelling with the OCL, edited by T. Clark and J.
Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. https://doi.org/10.1007/3-540-45669-4_8.'
ieee: 'S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in
Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds.
Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.'
mla: Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”
Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer,
Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8.
short: 'S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object
Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.'
date_created: 2022-12-15T11:38:20Z
date_updated: 2022-12-15T11:38:47Z
department:
- _id: '672'
doi: 10.1007/3-540-45669-4_8
editor:
- first_name: T.
full_name: Clark, T.
last_name: Clark
- first_name: J.
full_name: Warmer, J.
last_name: Warmer
keyword:
- Model Check Temporal Logic Object Constraint Language Execution Path Kripke
Structure
language:
- iso: eng
page: 150 - 171
place: Berlin, Heidelberg
publication: Advances in Object Modelling with the OCL
publication_identifier:
isbn:
- 978-3-540-45669-8
publisher: Springer-Verlag
status: public
title: An OCL Extension for Real-Time Constraints
type: book_chapter
user_id: '5786'
year: '2002'
...
---
_id: '39487'
abstract:
- lang: eng
text: This article introduces and discusses different innovative means for visual
specification and animation of complex concurrent systems. It introduces the completely
visual programming language Pictorial Janus (PJ) and its application in the customer-oriented
design process. PJ implements a completely visual programming language with inherent
animation facilities. The article outlines the transformation of purely visual
PJ programs into textual imperative programming languages. The second part of
the article investigates animated 3D-presentations and introduces a novel approach
to an animated 3D programming language for interactive customer-oriented illustrations.
author:
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: G.
full_name: Lehrenfeld, G.
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations
of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621'
apa: Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification,
Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32.
Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences
1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
bibtex: '@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual
Specification, Modeling, and Illustrations of Complex Systems}, DOI={10.1109/HICSS.1999.772621},
booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld,
G. and Müller, Wolfgang}, year={1999} }'
chicago: Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification,
Modeling, and Illustrations of Complex Systems.” In Proceedings of HICSS-32.
Maui, Hawaii, 1999. https://doi.org/10.1109/HICSS.1999.772621.
ieee: 'C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling,
and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd
Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii,
1999, doi: 10.1109/HICSS.1999.772621.'
mla: Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations
of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
short: 'C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui,
Hawaii, 1999.'
conference:
location: Maui, Hawaii
name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
Sciences 1999
date_created: 2023-01-24T11:33:05Z
date_updated: 2023-01-24T11:33:35Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.772621
keyword:
- Animation
- Computer languages
- Object oriented modeling
- Collaboration
- Process design
- Graphical user interfaces
- Jacobian matrices
- Standardization
- Feedback
- Software prototyping
language:
- iso: eng
place: Maui, Hawaii
publication: Proceedings of HICSS-32
publication_identifier:
isbn:
- 0-7695-0001-3
status: public
title: Visual Specification, Modeling, and Illustrations of Complex Systems
type: conference
user_id: '5786'
year: '1999'
...