@inbook{33832, author = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}}, booktitle = {{UML-B System Specification for Proven Electronic Design}}, editor = {{Mermet, J.}}, isbn = {{1-4020-2866-0}}, pages = {{227--240}}, publisher = {{Kluwer}}, title = {{{The Echo Cancellation Unit Case Study}}}, year = {{2004}}, } @book{53585, editor = {{Müller, Wolfgang and Martin, Grant}}, title = {{{Proceedings of the 1st International DAC Workshop of UML for SoC Design}}}, year = {{2004}}, } @misc{53589, author = {{Dangberg, Andreas and Müller, Wolfgang}}, title = {{{Control method for disposing graphical elements}}}, year = {{2004}}, } @inproceedings{39053, abstract = {{Portable devices come with different limitations in user interaction like limited display size, small keyboard, and different sorts of input and output capabilities. With the advance of speech recognition and speech synthesis technologies, their complementary use becomes attractive for mobile devices in order to implement real multimodal user interaction. However, current systems and formats do not sufficiently integrate advanced multimodal interactions. We introduce an advanced generic multimodal interaction and rendering system (MIRS) dedicated for mobile devices. MIRS incorporates efficient processing of XML specification languages for limited, mobile devices and comes with the XML-based dialog and interface specification language (DISL). DISL can be considered as an UIML subset, which is enhanced by the means of state-oriented dialog specifications. The dialog specification is based on ODSN (object oriented dialog specification notation), which has been introduced to define user interface control by means of interaction states with transition rules.}}, author = {{Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}}, booktitle = {{Proceedings of HICCS-37}}, isbn = {{0-7695-2056-1}}, keywords = {{User interfaces, Speech recognition, Streaming media, Specification languages, Keyboards, Speech synthesis, Rendering (computer graphics), Ambient intelligence, Humans, Displays}}, location = {{Waikoloa, HI, USA}}, title = {{{Interactive Multimodal User Interfaces for Mobile Devices}}}, doi = {{10.1109/HICSS.2004.1265674}}, year = {{2004}}, } @inproceedings{39055, abstract = {{We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the simulation scheduler including the management of new SystemVerilog regions. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemVerilog Language Reference Manual [1]. Our formal semantics is a concise, unambiguous, high-level specification for SystemVerilog-based implementations and for investigation of interoperabilities of SystemVerilog with SpecC, SystemC, and VHDL.}}, author = {{Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}}, booktitle = {{Proceedings of FDL’04}}, location = {{Lille, France}}, title = {{{The Formal Simulation Semantics of SystemVerilog}}}, year = {{2004}}, } @inproceedings{39060, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of DATE’04}}, title = {{{Model-Based Specification and Execution of Embedded Real-Time Systems}}}, year = {{2004}}, } @inproceedings{39061, abstract = {{This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML state diagrams, which are translated to the formal B language and are model checked for real-time properties. By means of the B language and a B theorem prover, refined state diagrams are verified against their abstract representation. The approach is presented by means of the refinement of a digital echo cancellation unit.}}, author = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}}, booktitle = {{Proceedings of DATE’04 Designers' Forum}}, isbn = {{0-7695-2085-5}}, keywords = {{Echo cancellers, Logic, Unified modeling language, Automata, Data structures, Boolean functions, Electronic design automation and methodology, Prototypes, Specification languages, Constraint theory}}, title = {{{Formal Refinement and Model Checking of An Echo Cancellation Unit}}}, doi = {{10.1109/DATE.2004.1269214}}, year = {{2004}}, } @inproceedings{39063, author = {{Müller, Wolfgang and Paelke, Volker}}, booktitle = {{Proceedings of the Simulation and Visualisation 2004}}, title = {{{A Formal Model of a Framework for Simulation-Based Animation}}}, year = {{2004}}, } @inproceedings{39071, abstract = {{The interconnection of software components is a key to enabling collaborative work. However, technology differences and security barriers like firewalls often hinder establishing collaborative infrastructures between enterprises or even within a single enterprise. We introduce a peer-to-peer based network infrastructure that transparently overcomes these problems using relay and routing mechanisms as well as different underlying transport protocols. We discuss the application of this technology to interconnect Web services.}}, author = {{Schattkowsky, Tim and Loeser, Chris and Müller, Wolfgang}}, booktitle = {{Proceedings of AINA2004}}, isbn = {{0-7695-2051-0}}, keywords = {{Peer to peer computing, Web services, Intelligent networks, Routing, Relays, Simple object access protocol, Collaborative work, Transport protocols, Network address translation, Java}}, location = {{Fukuoka, Japan }}, publisher = {{IEEE}}, title = {{{Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}}}, doi = {{10.1109/AINA.2004.1283977}}, year = {{2004}}, } @inproceedings{39069, abstract = {{We present the syntax and semantics of a past- and future-oriented temporal extension of the Object Constraint Language (OCL). Our extension supports designers to express time-bounded properties over a state-oriented UML model of a system under development. The semantics is formally defined over the system states of a mathematical object model. Additionally, we present a mapping to Clocked Linear Temporal Logic (Clocked LTL) formulae, which is the basis for further application in verification with model checking. We demonstrate the applicability of the approach by the example of a buffer specification in the context of a production system.}}, author = {{Flake, Stephan and Müller, Wolfgang}}, booktitle = {{Proceedings of SEFM´04}}, isbn = {{0-7695-2222-X}}, keywords = {{Unified modeling language, Logic, Clocks, Boolean functions, Application software, Time factors, Real time systems, Formal verification, Buffer storage, Software packages}}, publisher = {{IEEE}}, title = {{{Past- and Future-Oriented Time-Bound Temporal Properties with OCL}}}, doi = {{10.1109/SEFM.2004.1347516}}, year = {{2004}}, } @inproceedings{39065, author = {{Gausemeier, Jürgen and Müller, Wolfgang and Bauch, Jürgen and Radkowski, W. and Shen, T. and Paelke, Volker}}, booktitle = {{Proceedings of the Simulation and Visualisation 2004}}, title = {{{Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality}}}, year = {{2004}}, } @inproceedings{39068, author = {{Schattkowsky, Tim and Müller, Wolfgang}}, booktitle = {{Proceedings of ISORC’04}}, title = {{{Model-Based Design of Embedded Systems}}}, year = {{2004}}, } @inproceedings{39078, author = {{Gausemeier, Jürgen and Müller, Wolfgang and Paelke, Volker and Bauch, Jürgen and Shen, Q. and Radkowski, R. }}, booktitle = {{Proceedings of the Design 2004}}, keywords = {{mechatronic systems, self-optimization, virtual prototyping}}, location = {{Dubrovnik}}, title = {{{Virtual Prototyping Of Self-Optimizing Mechatronic Systems}}}, year = {{2004}}, } @inproceedings{39075, author = {{Loeser, Chris and Schäfer, Robbie and Müller, Wolfgang and Borowski, Marek}}, booktitle = {{Proceedings of SCI’04}}, title = {{{RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control}}}, year = {{2004}}, } @inproceedings{39082, abstract = {{The provision of personalized user interfaces for mobile de-vices is a challenging task since different devices with vary-ing capabilities and interaction modalities have to be sup-ported. Multiple variants of different UIs for one application almost enforces the employment of a model-based approach in order to design one interface and to adapt to or render it on those devices. This position paper presents a new dia-log modelling language named DISL (Dialog and Interface Specification Language) that is based on UIML and DSN (Dialog Specification Notation). DISL supports the mod-elling of advanced dialogs in a comprehensive way. The dialog descriptions are device-and modality-agnostic and therefore highly scalable with focus on limited devices, like mobile phones.}}, author = {{Bleul, Steffen and Müller, Wolfgang and Schäfer, Robbie}}, booktitle = {{Proceedings of AVI 2004}}, title = {{{Multimodal Dialog Description for Mobile Devices}}}, year = {{2004}}, } @inproceedings{39350, abstract = {{Variation in different mobile devices with different capabilities and interaction modalities as well as changing user context in nomadic applications, poses huge challenges to the design of user interfaces. To avoid multiple designs for each device or modality, it is almost a must to employ a model-based approach. In this short paper, we present a new dialog model for multimodal interaction together with an advanced control model, which can either be used for direct modeling by an interface designer or in conjunction with higher level models.}}, author = {{Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}}, booktitle = {{Proceedings of EHCI-DSVIS 2005}}, keywords = {{Multimodal User Interface High Level Model Multimodal User High Level Approach Dialog Model}}, title = {{{A Novel Dialog Model for the Design of Multimodal User Interfaces}}}, year = {{2004}}, } @inbook{34446, abstract = {{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.}}, author = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}}, booktitle = {{SystemC - Methodologies and Applications}}, editor = {{Müller, Wolfgang and Ruf, Jürgen and Rosenstiel, Wolfgang}}, isbn = {{978-0-306-48735-4}}, pages = {{97 -- 126}}, publisher = {{Kluwer}}, title = {{{An ASM Based SystemC Simulation Semantics}}}, doi = {{10.1007/0-306-48735-7_4}}, year = {{2003}}, } @article{34565, abstract = {{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. This article presents an approach that closes this gap and introduces a formal semantics for such integration through a mathematical model. It also presents the definition of a temporal OCL extension by means of a UML Profile based on the metamodel of the latest OCL proposal. Our OCL extension enables modelers to specify behavioral state-oriented real-time constraints. It provides an intuitive understanding and readability at application level since common OCL syntax and concepts are preserved. A well-defined formal semantics is given through the mapping of temporal OCL expressions to temporal logics formulae. }}, author = {{Flake, Stephan and Müller, Wolfgang}}, journal = {{Journal on Software and System Modeling (SoSyM)}}, keywords = {{Object Constraint Language UML Statecharts UML Profile Real-time constraints Temporal logics}}, number = {{3}}, pages = {{164--186}}, publisher = {{Springer-Verlag}}, title = {{{Formal Semantics of Static and Temporal State-Oriented OCL Constraints}}}, doi = {{10.1007/s10270-003-0026-x}}, volume = {{2}}, year = {{2003}}, } @inproceedings{39357, abstract = {{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).}}, author = {{Kostienko, Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}}, booktitle = {{Proceedings of CE 2003}}, title = {{{An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation}}}, year = {{2003}}, } @inproceedings{39355, abstract = {{This pap er presents an approach to extend OSGi server based home networks with JXTA's p eer-to- p eer (P2P) technology to a multi-server home envi- ronment connecting multiple private home networks to one true virtual environment for communication, media sharing/exchange, and distributed device con- trol. We elab orate on the basic integration metho d- ology and extend it to a general, security preserv- ing, architectural concept based on a two level inte- gration concept for inhome and interhome networks. The integration is achieved through additional OSGi services for the management of virtual devices, p eer- to-p eer communication, and authentication. The ex- ample of a Quality of Service based video streaming management demonstrates one of the p otential ad- vanced application for which p eer-to-p eer can b e used in addition.}}, author = {{Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling, Heinz-Josef}}, booktitle = {{Proceedings of HICCS-36}}, title = {{{Peer-to-Peer for Virtual Home Environments}}}, year = {{2003}}, }