[{"abstract":[{"lang":"eng","text":"We present a formal definition of the event based SystemC V2.0 simulation semantics by means of distributed Abstract State Machines (ASMs). Our definition provides a rigorous and concise, but yet readable, definition of the SystemC specific operations and their interaction with the simulation scheduler that covers channel updates, notify, notify_delayed, wait, and next_trigger operations. We present the semantics in the form of rules by means of distributed ASMs reflecting the lines of the SystemC V2.0 Standard Manuals and reference implementation. The semantics introduced is defined to complement the language reference manual with aprecise definition reflecting an abstract model of the SystemC reference implementation, which can be used for advanced applications and for investigating interoperabilities with other languages."}],"publication":"SystemC - Methodologies and Applications","citation":{"short":"W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.","chicago":"Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>.","ieee":"W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,” in <i>SystemC - Methodologies and Applications</i>, W. Müller, J. Ruf, and W. Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126.","apa":"Müller, W., Ruf, J., &#38; Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, &#38; W. Rosenstiel (Eds.), <i>SystemC - Methodologies and Applications</i> (pp. 97–126). Kluwer. <a href=\"https://doi.org/10.1007/0-306-48735-7_4\">https://doi.org/10.1007/0-306-48735-7_4</a>","bibtex":"@inbook{Müller_Ruf_Rosenstiel_2003, place={Dordrecht}, title={An ASM Based SystemC Simulation Semantics}, DOI={<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>}, booktitle={SystemC - Methodologies and Applications}, publisher={Kluwer}, author={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, editor={Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}, year={2003}, pages={97–126} }","ama":"Müller W, Ruf J, Rosenstiel W. An ASM Based SystemC Simulation Semantics. In: Müller W, Ruf J, Rosenstiel W, eds. <i>SystemC - Methodologies and Applications</i>. Kluwer; 2003:97-126. doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>","mla":"Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” <i>SystemC - Methodologies and Applications</i>, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi:<a href=\"https://doi.org/10.1007/0-306-48735-7_4\">10.1007/0-306-48735-7_4</a>."},"type":"book_chapter","department":[{"_id":"672"}],"date_created":"2022-12-15T11:30:32Z","place":"Dordrecht","date_updated":"2022-12-15T11:43:33Z","status":"public","year":"2003","title":"An ASM Based SystemC Simulation Semantics","publication_identifier":{"isbn":["978-0-306-48735-4"]},"author":[{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"},{"full_name":"Ruf, Jürgen","first_name":"Jürgen","last_name":"Ruf"},{"first_name":"Wolfgang","last_name":"Rosenstiel","full_name":"Rosenstiel, Wolfgang"}],"user_id":"5786","doi":"10.1007/0-306-48735-7_4","editor":[{"full_name":"Müller, Wolfgang","first_name":"Wolfgang","last_name":"Müller"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"},{"full_name":"Rosenstiel, Wolfgang","last_name":"Rosenstiel","first_name":"Wolfgang"}],"page":"97 - 126","language":[{"iso":"eng"}],"_id":"34446","publisher":"Kluwer"},{"citation":{"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>.","short":"S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.","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>","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>."},"status":"public","page":"164-186","_id":"34565","publisher":"Springer-Verlag","user_id":"5786","volume":2,"issue":"3","publication":"Journal on Software and System Modeling (SoSyM)","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. "}],"date_created":"2022-12-19T12:26:46Z","keyword":["Object Constraint Language     UML Statecharts     UML Profile     Real-time constraints     Temporal logics"],"type":"journal_article","department":[{"_id":"672"}],"title":"Formal Semantics of Static and Temporal State-Oriented OCL Constraints","year":"2003","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_updated":"2022-12-19T12:27:00Z","intvolume":"         2","language":[{"iso":"eng"}],"doi":"10.1007/s10270-003-0026-x"},{"language":[{"iso":"ger"}],"_id":"47641","user_id":"41047","year":"2003","status":"public","title":"Asymptotische Optimalität von LZ77 bei beschränktem Speicher","author":[{"first_name":"Matthias","last_name":"Ernst","full_name":"Ernst, Matthias"}],"date_updated":"2023-10-05T13:39:01Z","date_created":"2023-10-05T13:33:11Z","type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"citation":{"ama":"Ernst M. <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>.; 2003.","bibtex":"@book{Ernst_2003, title={Asymptotische Optimalität von LZ77 bei beschränktem Speicher}, author={Ernst, Matthias}, year={2003} }","mla":"Ernst, Matthias. <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>. 2003.","short":"M. Ernst, Asymptotische Optimalität von LZ77 bei beschränktem Speicher, 2003.","chicago":"Ernst, Matthias. <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>, 2003.","apa":"Ernst, M. (2003). <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>.","ieee":"M. Ernst, <i>Asymptotische Optimalität von LZ77 bei beschränktem Speicher</i>. 2003."}},{"type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"date_created":"2023-10-05T13:30:48Z","citation":{"ieee":"K. Voß, <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>. 2003.","apa":"Voß, K. (2003). <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>.","short":"K. Voß, Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen, 2003.","chicago":"Voß, Kerstin. <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>, 2003.","mla":"Voß, Kerstin. <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>. 2003.","bibtex":"@book{Voß_2003, title={Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen}, author={Voß, Kerstin}, year={2003} }","ama":"Voß K. <i>Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen</i>.; 2003."},"user_id":"41047","_id":"47635","language":[{"iso":"ger"}],"date_updated":"2023-10-05T13:39:08Z","title":"Asymptotische Optimalität von Lempel-Ziv bei Markowprozessen","status":"public","year":"2003","author":[{"last_name":"Voß","first_name":"Kerstin","full_name":"Voß, Kerstin"}]},{"file_date_updated":"2023-10-05T16:54:38Z","citation":{"bibtex":"@book{Hoppe_2003, title={Markovprozesse zur Modellierung bei Codekompression}, author={Hoppe, Ulrich}, year={2003} }","short":"U. Hoppe, Markovprozesse zur Modellierung bei Codekompression, 2003.","ama":"Hoppe U. <i>Markovprozesse zur Modellierung bei Codekompression</i>.; 2003.","chicago":"Hoppe, Ulrich. <i>Markovprozesse zur Modellierung bei Codekompression</i>, 2003.","ieee":"U. Hoppe, <i>Markovprozesse zur Modellierung bei Codekompression</i>. 2003.","apa":"Hoppe, U. (2003). <i>Markovprozesse zur Modellierung bei Codekompression</i>.","mla":"Hoppe, Ulrich. <i>Markovprozesse zur Modellierung bei Codekompression</i>. 2003."},"keyword":["Diplomarbeit"],"type":"misc","oa":"1","department":[{"_id":"34"},{"_id":"64"}],"file":[{"relation":"main_file","date_updated":"2023-10-05T16:54:38Z","file_name":"2003_Hoppe_MarkowprozesseZurModellierungBeiCodekompression.ps","access_level":"open_access","file_size":1902248,"file_id":"47724","content_type":"application/postscript","creator":"bhenrik","date_created":"2023-10-05T16:38:12Z"}],"date_created":"2023-10-05T16:38:19Z","date_updated":"2023-10-05T16:54:38Z","has_accepted_license":"1","status":"public","title":"Markovprozesse zur Modellierung bei Codekompression","year":"2003","author":[{"full_name":"Hoppe, Ulrich","last_name":"Hoppe","first_name":"Ulrich"}],"ddc":["000"],"user_id":"41047","language":[{"iso":"ger"}],"_id":"47696"},{"type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"oa":"1","file":[{"creator":"bhenrik","date_created":"2023-10-05T22:03:44Z","relation":"main_file","date_updated":"2023-10-05T22:08:27Z","file_name":"2003_Unterkircher_ImplementierungEinesArithmetischenDekodierersInJava.pdf","file_size":809237,"access_level":"open_access","file_id":"47787","content_type":"application/pdf"}],"date_created":"2023-10-05T13:31:16Z","file_date_updated":"2023-10-05T22:08:27Z","citation":{"mla":"Unterkirchner, Claudia. <i>Implementierung eines arithmetischen Dekodierers in Java</i>. 2003.","ama":"Unterkirchner C. <i>Implementierung eines arithmetischen Dekodierers in Java</i>.; 2003.","bibtex":"@book{Unterkirchner_2003, title={Implementierung eines arithmetischen Dekodierers in Java}, author={Unterkirchner, Claudia}, year={2003} }","apa":"Unterkirchner, C. (2003). <i>Implementierung eines arithmetischen Dekodierers in Java</i>.","ieee":"C. Unterkirchner, <i>Implementierung eines arithmetischen Dekodierers in Java</i>. 2003.","short":"C. Unterkirchner, Implementierung eines arithmetischen Dekodierers in Java, 2003.","chicago":"Unterkirchner, Claudia. <i>Implementierung eines arithmetischen Dekodierers in Java</i>, 2003."},"user_id":"41047","ddc":["000"],"language":[{"iso":"ger"}],"_id":"47636","date_updated":"2023-10-05T22:08:27Z","has_accepted_license":"1","title":"Implementierung eines arithmetischen Dekodierers in Java","year":"2003","status":"public","author":[{"full_name":"Unterkirchner, Claudia","last_name":"Unterkirchner","first_name":"Claudia"}]},{"oa":"1","department":[{"_id":"34"},{"_id":"64"}],"type":"bachelorsthesis","date_created":"2023-10-05T13:32:54Z","file":[{"creator":"bhenrik","date_created":"2023-10-05T22:04:08Z","file_name":"2003_Kuntze_TabellenbasierteArithmetischeCodierung.pdf","file_size":304544,"access_level":"open_access","relation":"main_file","date_updated":"2023-10-05T22:08:52Z","file_id":"47788","content_type":"application/pdf"}],"citation":{"short":"D. Kuntze, Tabellenbasierte arithmetische Codierung, 2003.","chicago":"Kuntze, Daniel. <i>Tabellenbasierte arithmetische Codierung</i>, 2003.","apa":"Kuntze, D. (2003). <i>Tabellenbasierte arithmetische Codierung</i>.","ieee":"D. Kuntze, <i>Tabellenbasierte arithmetische Codierung</i>. 2003.","ama":"Kuntze D. <i>Tabellenbasierte arithmetische Codierung</i>.; 2003.","bibtex":"@book{Kuntze_2003, title={Tabellenbasierte arithmetische Codierung}, author={Kuntze, Daniel}, year={2003} }","mla":"Kuntze, Daniel. <i>Tabellenbasierte arithmetische Codierung</i>. 2003."},"file_date_updated":"2023-10-05T22:08:52Z","ddc":["000"],"user_id":"41047","_id":"47640","language":[{"iso":"ger"}],"has_accepted_license":"1","date_updated":"2023-10-05T22:08:52Z","author":[{"full_name":"Kuntze, Daniel","last_name":"Kuntze","first_name":"Daniel"}],"title":"Tabellenbasierte arithmetische Codierung","year":"2003","status":"public"},{"language":[{"iso":"ger"}],"_id":"47638","user_id":"41047","status":"public","year":"2003","title":"Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision","author":[{"full_name":"Soltenborn, Christian","last_name":"Soltenborn","first_name":"Christian"}],"date_updated":"2023-10-05T13:39:29Z","date_created":"2023-10-05T13:32:10Z","type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"citation":{"chicago":"Soltenborn, Christian. <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>, 2003.","short":"C. Soltenborn, Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision, 2003.","ieee":"C. Soltenborn, <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>. 2003.","apa":"Soltenborn, C. (2003). <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>.","bibtex":"@book{Soltenborn_2003, title={Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision}, author={Soltenborn, Christian}, year={2003} }","ama":"Soltenborn C. <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>.; 2003.","mla":"Soltenborn, Christian. <i>Kompressionsverlust bei arithmetischer Codierung mit endlicher Präzision</i>. 2003."}},{"type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"date_created":"2023-10-05T13:31:45Z","citation":{"bibtex":"@book{Todtenbier_2003, title={Implementierung eines arithmetischen Kodierers in Java}, author={Todtenbier, Christian}, year={2003} }","ama":"Todtenbier C. <i>Implementierung eines arithmetischen Kodierers in Java</i>.; 2003.","mla":"Todtenbier, Christian. <i>Implementierung eines arithmetischen Kodierers in Java</i>. 2003.","chicago":"Todtenbier, Christian. <i>Implementierung eines arithmetischen Kodierers in Java</i>, 2003.","short":"C. Todtenbier, Implementierung eines arithmetischen Kodierers in Java, 2003.","ieee":"C. Todtenbier, <i>Implementierung eines arithmetischen Kodierers in Java</i>. 2003.","apa":"Todtenbier, C. (2003). <i>Implementierung eines arithmetischen Kodierers in Java</i>."},"user_id":"41047","language":[{"iso":"ger"}],"_id":"47637","date_updated":"2023-10-05T13:39:26Z","status":"public","title":"Implementierung eines arithmetischen Kodierers in Java","year":"2003","author":[{"full_name":"Todtenbier, Christian","last_name":"Todtenbier","first_name":"Christian"}]},{"type":"bachelorsthesis","department":[{"_id":"34"},{"_id":"64"}],"date_created":"2023-10-05T13:30:15Z","citation":{"ieee":"M. Ziegler, <i>Fehlerangriffe auf spezielle Implementierungen von RSA</i>. 2003.","mla":"Ziegler, Max. <i>Fehlerangriffe Auf Spezielle Implementierungen von RSA</i>. 2003.","apa":"Ziegler, M. (2003). <i>Fehlerangriffe auf spezielle Implementierungen von RSA</i>.","bibtex":"@book{Ziegler_2003, title={Fehlerangriffe auf spezielle Implementierungen von RSA}, author={Ziegler, Max}, year={2003} }","chicago":"Ziegler, Max. <i>Fehlerangriffe Auf Spezielle Implementierungen von RSA</i>, 2003.","short":"M. Ziegler, Fehlerangriffe Auf Spezielle Implementierungen von RSA, 2003.","ama":"Ziegler M. <i>Fehlerangriffe Auf Spezielle Implementierungen von RSA</i>.; 2003."},"user_id":"41047","language":[{"iso":"eng"}],"_id":"47634","date_updated":"2023-10-05T13:39:11Z","year":"2003","title":"Fehlerangriffe auf spezielle Implementierungen von RSA","status":"public","author":[{"full_name":"Ziegler, Max","first_name":"Max","last_name":"Ziegler"}]},{"date_created":"2023-10-05T13:32:32Z","department":[{"_id":"34"},{"_id":"64"}],"type":"bachelorsthesis","citation":{"chicago":"Lindner, Marvin. <i>Verkürzte Huffman-Codierung zur Codekompression</i>, 2003.","short":"M. Lindner, Verkürzte Huffman-Codierung zur Codekompression, 2003.","ieee":"M. Lindner, <i>Verkürzte Huffman-Codierung zur Codekompression</i>. 2003.","apa":"Lindner, M. (2003). <i>Verkürzte Huffman-Codierung zur Codekompression</i>.","bibtex":"@book{Lindner_2003, title={Verkürzte Huffman-Codierung zur Codekompression}, author={Lindner, Marvin}, year={2003} }","ama":"Lindner M. <i>Verkürzte Huffman-Codierung zur Codekompression</i>.; 2003.","mla":"Lindner, Marvin. <i>Verkürzte Huffman-Codierung zur Codekompression</i>. 2003."},"_id":"47639","language":[{"iso":"ger"}],"user_id":"41047","author":[{"last_name":"Lindner","first_name":"Marvin","full_name":"Lindner, Marvin"}],"year":"2003","title":"Verkürzte Huffman-Codierung zur Codekompression","status":"public","date_updated":"2023-10-05T13:42:10Z"},{"file_date_updated":"2023-10-05T16:54:32Z","citation":{"ieee":"M. R. Ackermann, <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>. 2003.","apa":"Ackermann, M. R. (2003). <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>.","short":"M.R. Ackermann, Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten, 2003.","chicago":"Ackermann, Marcel R. <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>, 2003.","mla":"Ackermann, Marcel R. <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>. 2003.","bibtex":"@book{Ackermann_2003, title={Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten}, author={Ackermann, Marcel R.}, year={2003} }","ama":"Ackermann MR. <i>Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten</i>.; 2003."},"file":[{"creator":"bhenrik","date_created":"2023-10-05T16:37:41Z","file_name":"2003_Ackermann_TabellenbasierteArithmetischeKodierungBeiAllgemeinenAlphabeten.ps","file_size":8764824,"access_level":"open_access","relation":"main_file","date_updated":"2023-10-05T16:54:32Z","file_id":"47722","content_type":"application/postscript"}],"date_created":"2023-10-05T16:37:47Z","type":"misc","keyword":["Diplomarbeit"],"oa":"1","department":[{"_id":"34"},{"_id":"64"}],"status":"public","title":"Tabellenbasierte arithmetische Kodierung bei allgemeinen Alphabeten","year":"2003","author":[{"last_name":"Ackermann","first_name":"Marcel R.","full_name":"Ackermann, Marcel R."}],"date_updated":"2023-10-05T16:54:32Z","has_accepted_license":"1","language":[{"iso":"ger"}],"_id":"47695","ddc":["000"],"user_id":"41047"},{"date_updated":"2023-01-24T09:35:11Z","author":[{"full_name":"Kostienko, Tomasz","last_name":"Kostienko","first_name":"Tomasz"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"last_name":"Pawlak","first_name":"Adam","full_name":"Pawlak, Adam"},{"full_name":"Schattkowsky, Tim","first_name":"Tim","last_name":"Schattkowsky"}],"title":"An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation","year":"2003","status":"public","user_id":"5786","language":[{"iso":"eng"}],"_id":"39357","abstract":[{"text":"Engineering collaboration gets its new global dimension with the omnipotent access to Internet. Engineers have severe requirements concerning: security of design data, quality of net connections, easiness of collaboration, etc. This article presents visions and middleware architecture to establish pan-European col- laborative engineering infrastructure and its application in the field of Electronic Design Automation (EDA). We present a transparent infrastructure to engineers to enable their Internet-based collaboration during the de- sign of complex electronic systems. In thi s context, we introduce an advanced collaborative infrastructure (ACI) for distance spanning, tool integration, and administration as well as open interfaces for XML-based data exchange. ACI constitutes a backbone for our collaborative research and engineering studies by fostering a combination of most recent plug-and-play technologies and secure, peer-to-peer data transfer with XML- based tool integration. ACI and its deployments have been developed with the EU project E-Colleg (IST- 1999-11746).","lang":"eng"}],"citation":{"short":"T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.","chicago":"Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” In <i>Proceedings of CE 2003</i>. Madeira, Portugal, 2003.","ieee":"T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003.","apa":"Kostienko, T., Müller, W., Pawlak, A., &#38; Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. <i>Proceedings of CE 2003</i>.","bibtex":"@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira, Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003} }","ama":"Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. In: <i>Proceedings of CE 2003</i>. ; 2003.","mla":"Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” <i>Proceedings of CE 2003</i>, 2003."},"publication":"Proceedings of CE 2003","department":[{"_id":"672"}],"type":"conference","date_created":"2023-01-24T09:35:07Z","place":"Madeira, Portugal"},{"language":[{"iso":"eng"}],"_id":"39355","user_id":"5786","year":"2003","title":"Peer-to-Peer for Virtual Home Environments","status":"public","author":[{"full_name":"Loeser, Chris","last_name":"Loeser","first_name":"Chris"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Franz","last_name":"Berger","full_name":"Berger, Franz"},{"full_name":"Eikerling, Heinz-Josef","first_name":"Heinz-Josef","last_name":"Eikerling"}],"date_updated":"2023-01-24T09:33:14Z","date_created":"2023-01-24T09:33:08Z","place":"Hawaii, USA","type":"conference","department":[{"_id":"672"}],"publication":"Proceedings of HICCS-36","citation":{"short":"C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.","chicago":"Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling. “Peer-to-Peer for Virtual Home Environments.” In <i>Proceedings of HICCS-36</i>. Hawaii, USA, 2003.","apa":"Loeser, C., Müller, W., Berger, F., &#38; Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. <i>Proceedings of HICCS-36</i>.","ieee":"C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual Home Environments,” 2003.","ama":"Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home Environments. In: <i>Proceedings of HICCS-36</i>. ; 2003.","bibtex":"@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA}, title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}, year={2003} }","mla":"Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings of HICCS-36</i>, 2003."},"abstract":[{"text":"This pap er presents an approach to extend OSGi\r\nserver based home networks with JXTA's p eer-to-\r\np eer (P2P) technology to a multi-server home envi-\r\nronment connecting multiple private home networks\r\nto one true virtual environment for communication,\r\nmedia sharing/exchange, and distributed device con-\r\ntrol. We elab orate on the basic integration metho d-\r\nology and extend it to a general, security preserv-\r\ning, architectural concept based on a two level inte-\r\ngration concept for inhome and interhome networks.\r\nThe integration is achieved through additional OSGi\r\nservices for the management of virtual devices, p eer-\r\nto-p eer communication, and authentication. The ex-\r\nample of a Quality of Service based video streaming\r\nmanagement demonstrates one of the p otential ad-\r\nvanced application for which p eer-to-p eer can b e used\r\nin addition.","lang":"eng"}]},{"publication":"Proceedings of DATE’03","citation":{"mla":"Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” <i>Proceedings of DATE’03</i>, 2003.","ama":"Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management in Heterogeneous Computer Networks. In: <i>Proceedings of DATE’03</i>. ; 2003.","bibtex":"@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich, Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks}, booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller, Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }","apa":"Eikerling, H.-J., Müller, W., Schattkowski, T., &#38; Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. <i>Proceedings of DATE’03</i>.","ieee":"H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration and Management in Heterogeneous Computer Networks,” 2003.","chicago":"Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner. “Tool Integration and Management in Heterogeneous Computer Networks.” In <i>Proceedings of DATE’03</i>. Munich, Germany, 2003.","short":"H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003."},"date_created":"2023-01-24T09:31:07Z","place":"Munich, Germany","type":"conference","department":[{"_id":"672"}],"title":"Tool Integration and Management in Heterogeneous Computer Networks","status":"public","year":"2003","author":[{"full_name":"Eikerling, Heinz-Josef","first_name":"Heinz-Josef","last_name":"Eikerling"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Schattkowski","first_name":"Tim","full_name":"Schattkowski, Tim"},{"full_name":"Wegner, J.","last_name":"Wegner","first_name":"J."}],"date_updated":"2023-01-24T09:31:12Z","_id":"39354","language":[{"iso":"eng"}],"user_id":"5786"},{"citation":{"mla":"Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>, 2003.","bibtex":"@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003} }","ama":"Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. In: <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>. ; 2003.","ieee":"R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks,” 2003.","apa":"Schäfer, R., &#38; Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” In <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>. Acapulco, Mexico, 2003.","short":"R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003."},"publication":"Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing","abstract":[{"text":"Large-scale mobility in the era of embedded and mobile computers yields significant challenges with respect to personalization, networking, and security. Currently, mobile computing devices cannot be seamlessly and flexibly obtain information about the context in which computing takes place. This requires dedicated personalization and localization in combination with advanced autocustomization techniques in order to adapt them to the needs of the current context. For natural interaction, for instance, many devices offer different input and output modalities, which enable different modes of operation to perform the same task. Auto-customization of modalities and devices in range can be obtained, if the system has sufficient information on the user’s preferences, abilities, the current situation, and the device that performs a specific task. To aid the system’s decision, we propose a set of interrelated and expandable profiles, which are prepared for automated adaptation, what will play a central part in making the technology to become invisible.","lang":"eng"}],"date_created":"2023-01-24T09:47:49Z","place":"Acapulco, Mexico","department":[{"_id":"672"}],"type":"conference","author":[{"last_name":"Schäfer","first_name":"Robbie","full_name":"Schäfer, Robbie"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"year":"2003","status":"public","title":"Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks","date_updated":"2023-01-24T09:47:54Z","_id":"39365","language":[{"iso":"eng"}],"user_id":"5786"},{"date_updated":"2023-01-24T09:45:54Z","status":"public","title":"Expressing Property Specification Patterns with OCL","year":"2003","author":[{"last_name":"Flake","first_name":"Stephan","full_name":"Flake, Stephan"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"}],"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":{"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.","ieee":"S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns with OCL. <i>Proceedings of SERP’03</i>.","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} }","ama":"Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: <i>Proceedings of SERP’03</i>. ; 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” <i>Proceedings of SERP’03</i>, 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"},{"title":"Distributed Engineering Environment for the Design of Electronic Systems","status":"public","year":"2003","author":[{"first_name":"Tim","last_name":"Schattkowsky","full_name":"Schattkowsky, Tim"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T09:49:23Z","language":[{"iso":"eng"}],"_id":"39366","user_id":"5786","publication":"Proceedings of CCE'03","citation":{"chicago":"Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003.","short":"T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.","ieee":"T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.","apa":"Schattkowsky, T., &#38; Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. <i>Proceedings of CCE’03</i>.","bibtex":"@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }","ama":"Schattkowsky T, Müller W. Distributed Engineering Environment for the Design of Electronic Systems. In: <i>Proceedings of CCE’03</i>. ; 2003.","mla":"Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” <i>Proceedings of CCE’03</i>, 2003."},"abstract":[{"lang":"eng","text":"Computer supported collaborative work (CSCW) is currently of growing interest for application industrial context. Integrated workflow systems are available to allow the integration of globally distributed teams. However, in many areas (i.e. in electronic design automation), tool integration remains to be a critical issue since existing legacy tools have to be integrated into distributed workflows. By integrating tools based on the operational semantics, dynamic assignment and replacement of tools in the workflows becomes possible. We present a middleware for secure collaborative engineering that enables flexible tool management and overcomes existing networking problems through a peer-to-peer based network infrastructure."}],"place":"Poznan Poland","date_created":"2023-01-24T09:49:18Z","type":"conference","department":[{"_id":"672"}]},{"title":"Semantics of State-Oriented Expressions in the Object Constraint Language","status":"public","year":"2003","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"date_updated":"2023-01-24T09:44:24Z","_id":"39363","language":[{"iso":"eng"}],"user_id":"5786","publication":"Proceedings of SEKE 2003","citation":{"short":"S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.","chicago":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” In <i>Proceedings of SEKE 2003</i>. San Francisco, 2003.","ieee":"S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object Constraint Language,” 2003.","apa":"Flake, S., &#38; Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. <i>Proceedings of SEKE 2003</i>.","bibtex":"@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }","ama":"Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint Language. In: <i>Proceedings of SEKE 2003</i>. ; 2003.","mla":"Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” <i>Proceedings of SEKE 2003</i>, 2003."},"abstract":[{"lang":"eng","text":"The textual Object Constraint Language (OCL) is an of-\r\nficial part of the Unified Modeling Language (UML). It is\r\nprimarily used to formulate restrictions for UML class di-\r\nagrams. Additionally, it is possible to refer to UML State-\r\nchart states in OCL expressions to reason about currently\r\nactivated states.\r\nHowever, neither the current OCL standard nor the pro-\r\nposal for the new OCL 2.0 version integrate Statecharts on\r\nthe language definition level, i.e., the semantics of State-\r\nchart states in the context of OCL expressions is not suf-\r\nficiently defined so far. To overcome this deficiency, this\r\narticle provides a formal semantics for state-oriented OCL\r\nexpressions for application with UML Statecharts."}],"place":"San Francisco","date_created":"2023-01-24T09:44:11Z","type":"conference","department":[{"_id":"672"}]},{"user_id":"5786","_id":"39367","language":[{"iso":"eng"}],"date_updated":"2023-01-24T09:51:20Z","status":"public","year":"2003","title":"SmartCard for Secure Collaborative Engineering","author":[{"last_name":"Wang","first_name":"J.","full_name":"Wang, J."},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"}],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-24T09:51:15Z","place":"Poznan Poland","abstract":[{"lang":"eng","text":"Confidentiality and security in data access and transmission over multiple open networks are of utmost importance for most collaborative engineering environments. In this article, we review smart card based security technologies for their application in computer-based collaborative engineering environments. We focus on most recent microprocessor-based smart cards and on JavaCard as a development infrastructure and operating system. Since JavaCard supports the integration of multiple applications on one card, it enables smart cards to integrate large sets of additional applications. In that context, we identify and discuss three potential key applications: authentication with biometrics, certification, and advanced profile management."}],"publication":"Proceedings of CCE'03","citation":{"chicago":"Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003.","short":"J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.","apa":"Wang, J., &#38; Müller, W. (2003). SmartCard for Secure Collaborative Engineering. <i>Proceedings of CCE’03</i>.","ieee":"J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.","ama":"Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: <i>Proceedings of CCE’03</i>. ; 2003.","bibtex":"@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang, J. and Müller, Wolfgang}, year={2003} }","mla":"Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” <i>Proceedings of CCE’03</i>, 2003."}}]