[{"page":"7-18","publisher":"SpringerNature","_id":"4684","ddc":["380"],"user_id":"59677","volume":29,"status":"public","jel":["L8"],"has_accepted_license":"1","file_date_updated":"2024-04-18T12:53:07Z","citation":{"mla":"Beverungen, Daniel, et al. “Conceptualizing Smart Service Systems.” <i>Electronic Markets</i>, vol. 29, SpringerNature, 2019, pp. 7–18, doi:<a href=\"https://doi.org/10.1007/s12525-017-0270-5\">10.1007/s12525-017-0270-5</a>.","ama":"Beverungen D, Müller O, Matzner M, Mendling J, vom Brocke J. Conceptualizing smart service systems. <i>Electronic Markets</i>. 2019;29:7-18. doi:<a href=\"https://doi.org/10.1007/s12525-017-0270-5\">10.1007/s12525-017-0270-5</a>","bibtex":"@article{Beverungen_Müller_Matzner_Mendling_vom Brocke_2019, title={Conceptualizing smart service systems}, volume={29}, DOI={<a href=\"https://doi.org/10.1007/s12525-017-0270-5\">10.1007/s12525-017-0270-5</a>}, 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} }","apa":"Beverungen, D., Müller, O., Matzner, M., Mendling, J., &#38; vom Brocke, J. (2019). Conceptualizing smart service systems. <i>Electronic Markets</i>, <i>29</i>, 7–18. <a href=\"https://doi.org/10.1007/s12525-017-0270-5\">https://doi.org/10.1007/s12525-017-0270-5</a>","ieee":"D. Beverungen, O. Müller, M. Matzner, J. Mendling, and J. vom Brocke, “Conceptualizing smart service systems,” <i>Electronic Markets</i>, vol. 29, pp. 7–18, 2019, doi: <a href=\"https://doi.org/10.1007/s12525-017-0270-5\">10.1007/s12525-017-0270-5</a>.","chicago":"Beverungen, Daniel, Oliver Müller, Martin Matzner, Jan Mendling, and Jan vom Brocke. “Conceptualizing Smart Service Systems.” <i>Electronic Markets</i> 29 (2019): 7–18. <a href=\"https://doi.org/10.1007/s12525-017-0270-5\">https://doi.org/10.1007/s12525-017-0270-5</a>.","short":"D. Beverungen, O. Müller, M. Matzner, J. Mendling, J. vom Brocke, Electronic Markets 29 (2019) 7–18."},"quality_controlled":"1","project":[{"name":"RISE_BPM: Propelling Business Process Management by Research and Innovation Staff Exchange","grant_number":"645751","_id":"1070","call_identifier":"MSCA-RISE-2014"}],"language":[{"iso":"eng"}],"doi":"10.1007/s12525-017-0270-5","year":"2019","title":"Conceptualizing smart service systems","author":[{"first_name":"Daniel","last_name":"Beverungen","full_name":"Beverungen, Daniel","id":"59677"},{"last_name":"Müller","first_name":"Oliver","full_name":"Müller, Oliver","id":"72849"},{"full_name":"Matzner, Martin","last_name":"Matzner","first_name":"Martin"},{"full_name":"Mendling, Jan","first_name":"Jan","last_name":"Mendling"},{"last_name":"vom Brocke","first_name":"Jan","full_name":"vom Brocke, Jan"}],"publication_identifier":{"issn":["14228890"]},"date_updated":"2024-04-18T12:55:05Z","publication_status":"published","intvolume":"        29","article_type":"original","file":[{"creator":"dabe","date_created":"2024-04-18T12:53:07Z","file_size":599681,"access_level":"closed","file_name":"Beverungen_et_al-Conceptualizing_Smart_Service_Systems.pdf","date_updated":"2024-04-18T12:53:07Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"53575"}],"date_created":"2018-10-12T08:24:45Z","keyword":["Boundary object","Internet of things","Service science","Smart products","Smart service"],"type":"journal_article","department":[{"_id":"195"}],"publication":"Electronic Markets","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."}]},{"oa":"1","place":"Münster, New York","quality_controlled":"1","citation":{"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 <i>Soziale Aspekte des Musiklernens</i>, B. Clausen and S. Dreßler, Eds. Münster, New York: Waxmann, 2018, pp. 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 &#38; S. Dreßler (Eds.), <i>Soziale Aspekte des Musiklernens</i> (pp. 43–55). Waxmann.","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.” <i>Soziale Aspekte Des Musiklernens</i>, edited by Bernd Clausen and Susanne Dreßler, Waxmann, 2018, pp. 43–55.","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} }","short":"M. Godau, in: B. Clausen, S. Dreßler (Eds.), Soziale Aspekte Des Musiklernens, Waxmann, Münster, New York, 2018, pp. 43–55.","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. <i>Soziale Aspekte Des Musiklernens</i>. Musikpädagogische Forschung. Waxmann; 2018:43–55.","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 <i>Soziale Aspekte Des Musiklernens</i>, edited by Bernd Clausen and Susanne Dreßler, 43–55. Musikpädagogische Forschung. Münster, New York: Waxmann, 2018."},"user_id":"99991","editor":[{"full_name":"Clausen, Bernd","last_name":"Clausen","first_name":"Bernd"},{"last_name":"Dreßler","first_name":"Susanne","full_name":"Dreßler, Susanne"}],"page":"43–55","_id":"57889","publisher":"Waxmann","status":"public","type":"book_chapter","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"],"department":[{"_id":"131"},{"_id":"36"},{"_id":"129"},{"_id":"540"}],"date_created":"2024-12-30T14:43:14Z","extern":"1","abstract":[{"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.)","lang":"eng"}],"publication":"Soziale Aspekte des Musiklernens","main_file_link":[{"open_access":"1"}],"language":[{"iso":"eng"}],"series_title":"Musikpädagogische Forschung","date_updated":"2025-02-06T10:52:25Z","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","year":"2018","author":[{"id":"98877","first_name":"Marc","last_name":"Godau","full_name":"Godau, Marc"}]},{"year":"2017","title":"Measuring and modeling salience with the theory of visual attention.","author":[{"first_name":"Alexander","last_name":"Krüger","full_name":"Krüger, Alexander"},{"first_name":"Jan","last_name":"Tünnermann","full_name":"Tünnermann, Jan"},{"id":"451","full_name":"Scharlau, Ingrid","first_name":"Ingrid","last_name":"Scharlau","orcid":"0000-0003-2364-9489"}],"publication_identifier":{"issn":["1943-3921"]},"publication_status":"published","date_updated":"2022-06-06T14:08:05Z","article_type":"original","intvolume":"        79","language":[{"iso":"eng"}],"doi":"10.3758/s13414-017-1325-6","publication":"Attention, Perception, & Psychophysics","issue":"6","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"}],"date_created":"2018-12-10T07:05:04Z","type":"journal_article","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"],"department":[{"_id":"424"}],"status":"public","page":"1593 - 1614","_id":"6075","user_id":"42165","volume":79,"citation":{"apa":"Krüger, A., Tünnermann, J., &#38; Scharlau, I. (2017). Measuring and modeling salience with the theory of visual attention. <i>Attention, Perception, &#38; Psychophysics</i>, <i>79</i>(6), 1593–1614. <a href=\"https://doi.org/10.3758/s13414-017-1325-6\">https://doi.org/10.3758/s13414-017-1325-6</a>","ieee":"A. Krüger, J. Tünnermann, and I. Scharlau, “Measuring and modeling salience with the theory of visual attention.,” <i>Attention, Perception, &#38; Psychophysics</i>, vol. 79, no. 6, pp. 1593–1614, 2017, doi: <a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>.","chicago":"Krüger, Alexander, Jan Tünnermann, and Ingrid Scharlau. “Measuring and Modeling Salience with the Theory of Visual Attention.” <i>Attention, Perception, &#38; Psychophysics</i> 79, no. 6 (2017): 1593–1614. <a href=\"https://doi.org/10.3758/s13414-017-1325-6\">https://doi.org/10.3758/s13414-017-1325-6</a>.","short":"A. Krüger, J. Tünnermann, I. Scharlau, Attention, Perception, &#38; Psychophysics 79 (2017) 1593–1614.","mla":"Krüger, Alexander, et al. “Measuring and Modeling Salience with the Theory of Visual Attention.” <i>Attention, Perception, &#38; Psychophysics</i>, vol. 79, no. 6, 2017, pp. 1593–614, doi:<a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>.","ama":"Krüger A, Tünnermann J, Scharlau I. Measuring and modeling salience with the theory of visual attention. <i>Attention, Perception, &#38; Psychophysics</i>. 2017;79(6):1593-1614. doi:<a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>","bibtex":"@article{Krüger_Tünnermann_Scharlau_2017, title={Measuring and modeling salience with the theory of visual attention.}, volume={79}, DOI={<a href=\"https://doi.org/10.3758/s13414-017-1325-6\">10.3758/s13414-017-1325-6</a>}, number={6}, journal={Attention, Perception, &#38; Psychophysics}, author={Krüger, Alexander and Tünnermann, Jan and Scharlau, Ingrid}, year={2017}, pages={1593–1614} }"}},{"department":[{"_id":"181"}],"keyword":["Connected services","Intelligent object","New service type","Smart services"],"type":"journal_article","date_created":"2018-11-15T11:27:26Z","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."}],"publication":"Journal of Services Marketing","issue":"6/7","language":[{"iso":"eng"}],"intvolume":"        29","article_type":"original","date_updated":"2022-01-06T07:02:36Z","publication_status":"published","author":[{"last_name":"Wünderlich","first_name":"Nancy","full_name":"Wünderlich, Nancy","id":"36392"},{"full_name":"Heinonen, Kristina","first_name":"Kristina","last_name":"Heinonen"},{"last_name":"Ostrom","first_name":"Amy L","full_name":"Ostrom, Amy L"},{"last_name":"Patricio","first_name":"Lia","full_name":"Patricio, Lia"},{"last_name":"Sousa","first_name":"Rui","full_name":"Sousa, Rui"},{"first_name":"Chris","last_name":"Voss","full_name":"Voss, Chris"},{"full_name":"Lemmink, Jos","first_name":"Jos","last_name":"Lemmink"}],"title":"Futurizing” Smart Service: Implications for Service Researchers and Managers.","year":"2015","citation":{"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.” <i>Journal of Services Marketing</i> 29, no. 6/7 (2015): 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.","ieee":"N. Wünderlich <i>et al.</i>, “Futurizing” Smart Service: Implications for Service Researchers and Managers.,” <i>Journal of Services Marketing</i>, vol. 29, no. 6/7, pp. 442–447, 2015.","apa":"Wünderlich, N., Heinonen, K., Ostrom, A. L., Patricio, L., Sousa, R., Voss, C., &#38; Lemmink, J. (2015). Futurizing” Smart Service: Implications for Service Researchers and Managers. <i>Journal of Services Marketing</i>, <i>29</i>(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} }","ama":"Wünderlich N, Heinonen K, Ostrom AL, et al. Futurizing” Smart Service: Implications for Service Researchers and Managers. <i>Journal of Services Marketing</i>. 2015;29(6/7):442-447.","mla":"Wünderlich, Nancy, et al. “Futurizing” Smart Service: Implications for Service Researchers and Managers.” <i>Journal of Services Marketing</i>, vol. 29, no. 6/7, Emerald Group Publishing Limited, 2015, pp. 442–47."},"volume":29,"user_id":"37741","_id":"5701","publisher":"Emerald Group Publishing Limited","page":"442-447","status":"public"},{"doi":"10.1109/DATE.2010.5457186","user_id":"5786","_id":"37037","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2023-01-17T10:41:25Z","title":"A Systematic Approach to Combined HW/SW System Test","year":"2010","status":"public","conference":{"name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","location":"Dresden"},"author":[{"first_name":"Alexander","last_name":"Krupp","full_name":"Krupp, Alexander"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"keyword":["System testing","Automatic testing","Object oriented modeling","Classification tree analysis","Automotive engineering","Mathematical model","Embedded system","Control systems","Electronic equipment testing","Software testing"],"type":"conference","department":[{"_id":"672"}],"place":"Dresden","date_created":"2023-01-17T10:41:15Z","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."}],"publication":"Proceedings of DATE’10","citation":{"chicago":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>.","short":"A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.","apa":"Krupp, A., &#38; Müller, W. (2010). A Systematic Approach to Combined HW/SW System Test. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">https://doi.org/10.1109/DATE.2010.5457186</a>","ieee":"A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>.","ama":"Krupp A, Müller W. A Systematic Approach to Combined HW/SW System Test. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>","bibtex":"@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic Approach to Combined HW/SW System Test}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2010} }","mla":"Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW System Test.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5457186\">10.1109/DATE.2010.5457186</a>."}},{"publication_identifier":{"isbn":["978-3-540-70815-5"]},"author":[{"first_name":"Robbie","last_name":"Schäfer","full_name":"Schäfer, Robbie"},{"full_name":"Bleul, Steffen","first_name":"Steffen","last_name":"Bleul"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"year":"2006","title":"Dialog Modelling for Multiple Devices and Multiple Interaction Modalities","status":"public","date_updated":"2023-01-24T08:03:56Z","language":[{"iso":"eng"}],"_id":"38543","user_id":"5786","doi":"10.1007/978-3-540-70816-2_4","citation":{"bibtex":"@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>}, 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} }","ama":"Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. In: <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. ; 2006. doi:<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>","mla":"Schäfer, Robbie, et al. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>, 2006, doi:<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>.","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.","chicago":"Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” In <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. Hasselt, Belgium, 2006. <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">https://doi.org/10.1007/978-3-540-70816-2_4</a>.","ieee":"R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities,” 2006, doi: <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>.","apa":"Schäfer, R., Bleul, S., &#38; Müller, W. (2006). Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">https://doi.org/10.1007/978-3-540-70816-2_4</a>"},"publication":"Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA'2006)","abstract":[{"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.","lang":"eng"}],"date_created":"2023-01-24T08:03:51Z","place":"Hasselt, Belgium","department":[{"_id":"672"}],"type":"conference","keyword":["User Interface     Interaction Manager     Output Device     Multimodal Interface     Interaction Object"]},{"publisher":"IEEE","_id":"39029","language":[{"iso":"eng"}],"user_id":"5786","doi":"10.1109/DATE.2005.20","author":[{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"},{"full_name":"Rettberg, Achim","last_name":"Rettberg","first_name":"Achim"}],"publication_identifier":{"isbn":["0-7695-2288-2"]},"status":"public","title":"A Model-Based Approach for Executable Specification on Reconfigurable Hardware","year":"2005","date_updated":"2023-01-24T08:10:44Z","date_created":"2023-01-24T08:10:40Z","place":"Munich, Germany ","department":[{"_id":"672"}],"keyword":["Hardware","Unified modeling language","Virtual machining","Object oriented modeling","Field programmable gate arrays","Java","Microcontrollers","Embedded software","Real time systems","Documentation"],"type":"conference","citation":{"ama":"Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: <i>Proceedings of DATE’05</i>. IEEE; 2005. doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>","bibtex":"@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany }, title={A Model-Based Approach for Executable Specification on Reconfigurable Hardware}, DOI={<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>}, booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim}, year={2005} }","mla":"Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” <i>Proceedings of DATE’05</i>, IEEE, 2005, doi:<a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>.","short":"T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.","chicago":"Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In <i>Proceedings of DATE’05</i>. Munich, Germany : IEEE, 2005. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>.","apa":"Schattkowsky, T., Müller, W., &#38; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. <i>Proceedings of DATE’05</i>. <a href=\"https://doi.org/10.1109/DATE.2005.20\">https://doi.org/10.1109/DATE.2005.20</a>","ieee":"T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: <a href=\"https://doi.org/10.1109/DATE.2005.20\">10.1109/DATE.2005.20</a>."},"publication":"Proceedings of DATE’05","abstract":[{"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.","lang":"eng"}]},{"place":"Berlin, Heidelberg","citation":{"chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In <i>Integration of Software Specification Techniques for Applications in Engineering</i>, 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. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>.","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.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in <i>Integration of Software Specification Techniques for Applications in Engineering</i>, 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.","apa":"Flake, S., Müller, W., Pape, U., &#38; 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, &#38; E. Westkämper (Eds.), <i>Integration of Software Specification Techniques for Applications in Engineering</i> (Vol. 3147, pp. 206–226). Springer-Verlag. <a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">https://doi.org/10.1007/978-3-540-27863-4_13</a>","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={<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>}, 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} }","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. <i>Integration of Software Specification Techniques for Applications in Engineering</i>. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>","mla":"Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” <i>Integration of Software Specification Techniques for Applications in Engineering</i>, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:<a href=\"https://doi.org/10.1007/978-3-540-27863-4_13\">10.1007/978-3-540-27863-4_13</a>."},"page":"206-226","_id":"33825","publisher":"Springer-Verlag","user_id":"5786","editor":[{"full_name":"Ehrig, Hartmut","first_name":"Hartmut","last_name":"Ehrig"},{"last_name":"Damm","first_name":"Werner","full_name":"Damm, Werner"},{"first_name":"Jörg","last_name":"Desel","full_name":"Desel, Jörg"},{"first_name":"Martin","last_name":"Große-Rhode","full_name":"Große-Rhode, Martin"},{"full_name":"Reif, Wolfgang","last_name":"Reif","first_name":"Wolfgang"},{"last_name":"Schnieder","first_name":"Eckehard","full_name":"Schnieder, Eckehard"},{"full_name":"Westkämper, Engelbert","last_name":"Westkämper","first_name":"Engelbert"}],"volume":3147,"status":"public","date_created":"2022-10-20T09:25:53Z","type":"book_chapter","keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"],"department":[{"_id":"672"}],"publication":"Integration of Software Specification Techniques for Applications in Engineering","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."}],"language":[{"iso":"eng"}],"series_title":"Lecture Notes in Computer Science","doi":"10.1007/978-3-540-27863-4_13","title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","year":"2004","publication_identifier":{"isbn":["978-3-540-27863-4"]},"author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"first_name":"Ulrich","last_name":"Pape","full_name":"Pape, Ulrich"},{"last_name":"Ruf","first_name":"Jürgen","full_name":"Ruf, Jürgen"}],"date_updated":"2022-10-20T09:26:15Z","intvolume":"      3147"},{"doi":"10.1109/AINA.2004.1283977","user_id":"5786","_id":"39071","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2023-01-24T09:06:02Z","conference":{"name":" 18th International Conference on Advanced Information Networking and Applications","location":"Fukuoka, Japan "},"author":[{"last_name":"Schattkowsky","first_name":"Tim","full_name":"Schattkowsky, Tim"},{"full_name":"Loeser, Chris","last_name":"Loeser","first_name":"Chris"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"publication_identifier":{"isbn":["0-7695-2051-0"]},"year":"2004","status":"public","title":"Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks","department":[{"_id":"672"}],"keyword":["Peer to peer computing","Web services","Intelligent networks","Routing","Relays","Simple object access protocol","Collaborative work","Transport protocols","Network address translation","Java"],"type":"conference","place":"Fukuoka, Japan ","date_created":"2023-01-24T09:05:58Z","abstract":[{"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.","lang":"eng"}],"citation":{"ama":"Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: <i>Proceedings of AINA2004</i>. IEEE; 2004. doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>","bibtex":"@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan }, title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, DOI={<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>}, booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}, year={2004} }","mla":"Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” <i>Proceedings of AINA2004</i>, IEEE, 2004, doi:<a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>.","short":"T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.","chicago":"Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” In <i>Proceedings of AINA2004</i>. Fukuoka, Japan : IEEE, 2004. <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>.","apa":"Schattkowsky, T., Loeser, C., &#38; Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. <i>Proceedings of AINA2004</i>.  18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">https://doi.org/10.1109/AINA.2004.1283977</a>","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: <a href=\"https://doi.org/10.1109/AINA.2004.1283977\">10.1109/AINA.2004.1283977</a>."},"publication":"Proceedings of AINA2004"},{"publication_identifier":{"eisbn":["978-3-540-30187-5"]},"author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"year":"2004","title":"An ASM Definition of the Dynamic OCL 2.0 Semantics","status":"public","date_updated":"2023-01-24T09:28:58Z","_id":"39352","language":[{"iso":"eng"}],"doi":"10.1007/978-3-540-30187-5_17","user_id":"5786","citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” <i>Proceedings of the UML 2004</i>, 2004, doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>.","ama":"Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In: <i>Proceedings of the UML 2004</i>. ; 2004. doi:<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>","bibtex":"@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM Definition of the Dynamic OCL 2.0 Semantics}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>}, booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }","apa":"Flake, S., &#38; Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. <i>Proceedings of the UML 2004</i>. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>","ieee":"S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">10.1007/978-3-540-30187-5_17</a>.","chicago":"Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” In <i>Proceedings of the UML 2004</i>. Lisbon, Portugal, 2004. <a href=\"https://doi.org/10.1007/978-3-540-30187-5_17\">https://doi.org/10.1007/978-3-540-30187-5_17</a>.","short":"S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004."},"publication":"Proceedings of the UML 2004","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."}],"place":"Lisbon, Portugal","date_created":"2023-01-24T09:28:53Z","department":[{"_id":"672"}],"keyword":["System State     Formal Semantic     Object Management Group     Denotational Semantic     Dynamic Semantic"],"type":"conference"},{"status":"public","user_id":"5786","volume":2,"page":"164-186","_id":"34565","publisher":"Springer-Verlag","citation":{"bibtex":"@article{Flake_Müller_2003, title={Formal Semantics of Static and Temporal State-Oriented OCL Constraints}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>}, 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} }","ama":"Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>. 2003;2(3):164-186. doi:<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>","mla":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i>, vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:<a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>.","short":"S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.","chicago":"Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” <i>Journal on Software and System Modeling (SoSyM)</i> 2, no. 3 (2003): 164–86. <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">https://doi.org/10.1007/s10270-003-0026-x</a>.","ieee":"S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented OCL Constraints,” <i>Journal on Software and System Modeling (SoSyM)</i>, vol. 2, no. 3, pp. 164–186, 2003, doi: <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">10.1007/s10270-003-0026-x</a>.","apa":"Flake, S., &#38; Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. <i>Journal on Software and System Modeling (SoSyM)</i>, <i>2</i>(3), 164–186. <a href=\"https://doi.org/10.1007/s10270-003-0026-x\">https://doi.org/10.1007/s10270-003-0026-x</a>"},"date_updated":"2022-12-19T12:27:00Z","intvolume":"         2","title":"Formal Semantics of Static and Temporal State-Oriented OCL Constraints","year":"2003","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"}],"doi":"10.1007/s10270-003-0026-x","language":[{"iso":"eng"}],"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. "}],"publication":"Journal on Software and System Modeling (SoSyM)","issue":"3","keyword":["Object Constraint Language     UML Statecharts     UML Profile     Real-time constraints     Temporal logics"],"type":"journal_article","department":[{"_id":"672"}],"date_created":"2022-12-19T12:26:46Z"},{"date_updated":"2023-01-24T09:45:54Z","status":"public","title":"Expressing Property Specification Patterns with OCL","year":"2003","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"user_id":"5786","language":[{"iso":"eng"}],"_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."}],"publication":"Proceedings of SERP'03","citation":{"ama":"Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: <i>Proceedings of SERP’03</i>. ; 2003.","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} }","mla":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” <i>Proceedings of SERP’03</i>, 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.","short":"S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns with OCL. <i>Proceedings of SERP’03</i>.","ieee":"S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003."},"keyword":["UML","Object Constraint Language","Patterns","Property Specification"],"type":"conference","department":[{"_id":"672"}],"place":"Las Vegas, NV","date_created":"2023-01-24T09:45:49Z"},{"place":"Berlin, Heidelberg","citation":{"ieee":"S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.","apa":"Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i> (pp. 150–171). Springer-Verlag. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>","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.","chicago":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>.","mla":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>.","bibtex":"@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>}, 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} }","ama":"Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag; 2002:150-171. doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>"},"_id":"34447","publisher":"Springer-Verlag","page":"150 - 171","editor":[{"last_name":"Clark","first_name":"T.","full_name":"Clark, T."},{"last_name":"Warmer","first_name":"J.","full_name":"Warmer, J."}],"user_id":"5786","status":"public","date_created":"2022-12-15T11:38:20Z","department":[{"_id":"672"}],"keyword":["Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure"],"type":"book_chapter","publication":"Advances in Object Modelling with the OCL","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."}],"language":[{"iso":"eng"}],"doi":"10.1007/3-540-45669-4_8","publication_identifier":{"isbn":["978-3-540-45669-8"]},"author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller","id":"16243"}],"year":"2002","title":"An OCL Extension for Real-Time Constraints","date_updated":"2022-12-15T11:38:47Z"},{"language":[{"iso":"eng"}],"_id":"39487","user_id":"5786","doi":"10.1109/HICSS.1999.772621","year":"1999","title":"Visual Specification, Modeling, and Illustrations of Complex Systems","status":"public","publication_identifier":{"isbn":["0-7695-0001-3"]},"author":[{"last_name":"Geiger","first_name":"Christian","full_name":"Geiger, Christian"},{"full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld","first_name":"G."},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"conference":{"name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999","location":"Maui, Hawaii"},"date_updated":"2023-01-24T11:33:35Z","date_created":"2023-01-24T11:33:05Z","place":"Maui, Hawaii","type":"conference","keyword":["Animation","Computer languages","Object oriented modeling","Collaboration","Process design","Graphical user interfaces","Jacobian matrices","Standardization","Feedback","Software prototyping"],"department":[{"_id":"672"}],"publication":"Proceedings of HICSS-32","citation":{"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: <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>","short":"C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.","chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>. Maui, Hawaii, 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>.","mla":"Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","bibtex":"@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }","ama":"Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>"},"abstract":[{"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.","lang":"eng"}]}]