Achtung:

Sie haben Javascript deaktiviert!
Sie haben versucht eine Funktion zu nutzen, die nur mit Javascript möglich ist. Um sämtliche Funktionalitäten unserer Internetseite zu nutzen, aktivieren Sie bitte Javascript in Ihrem Browser.

Rezensierte Konferenzbeiträge

Tim Schattkowsky and Tao Xie: A UML Framework for IP-XACT-based IP Management. In Proceedings of the conference on Design Automation and Test in Europe (DATE 2009), Nice (France). IEEE Computer Society (Washington, DC, USA), pp. 238--243 (2009)
Show Bibtex

@inproceedings{SchatXACT09, author = {Tim Schattkowsky and Tao Xie}, title = {A UML Framework for IP-XACT-based IP Management}, booktitle = {Proceedings of the conference on Design Automation and Test in Europe (DATE 2009), Nice (France)}, year = {2009}, pages = {238--243}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

Tim Schattkowsky and Gregor Engels and Alexander Förster: A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency. In Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007). IEEE Computer Society (Washington, DC, USA), pp. 286ff. (2007)
Show Bibtex | Show Abstract | DOI

@inproceedings{Schattkowsky2007a, author = {Tim Schattkowsky and Gregor Engels and Alexander Förster}, title = {A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency}, booktitle = {Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS 2007)}, year = {2007}, pages = {286ff.}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be consistently enforced by the actual implementation. Automated synthesis of the implementation from such specifications appears to be a straightforward way to ensure this consistency. However, especially for software systems this is quite difficult, since software lacks the inherent timing and concurrency of a hardware system. Still, the same timing and concurrency requirements have to be fulfilled. Thus, we introduce a UML-based design approach that supports the synthesis of embedded hardware or software systems from essentially the same abstract specification. Our approach provides explicit support for specifying fine grained concurrency and microsecond accurate timing. In our approach, these properties must be ensured by the automatically derived implementation. Since this is especially hard to achieve for software systems, this paper focuses on execution on software platforms. For this, we introduce our UML Virtual Machine (UVM). It enables the direct execution of binary encoded system specifications and enforces the desired timing and concurrency. As a result, our approach enables the creation of binary encoded portable concurrent time-accurate software components.

Alexander Förster and Gregor Engels and Tim Schattkowsky and Ragnhild Van Der Straeten: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China). IEEE Computer Society (Washington, DC, USA), pp. 197--208 (2007)
Show Bibtex | Show Abstract | DOI

@inproceedings{Forster2007, author = {Alexander Förster and Gregor Engels and Tim Schattkowsky and Ragnhild Van Der Straeten}, title = {Verification of Business Process Quality Constraints Based on Visual Process Patterns}, booktitle = {Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), Shanghai (China)}, year = {2007}, pages = {197--208}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

Business processes usually have to consider certain constraints like domain specific and quality requirements. The automated formal verification of these constraints is desirable, but requires the user to provide an unambiguous formal specification. In particular since the notations for business process modeling are usually visual flow-oriented languages, the notational gap to the languages usually employed for the formal specification of constraints, e.g., temporal logic, is significant and hard to bridge. Thus, our approach relies on UML Activities as a single language for the specification of both business processes and the corresponding constraints. For the expression of such constraints, we have provided a process pattern definition language based on specialized Activities. In this paper, we describe how model checking can be employed for formal verification of business processes against such patterns. For this, we present an automated transformation of the business process and the corresponding patterns into a transition system and temporal logic, respectively.

Tim Schattkowsky and Alexander Förster and Christoph Loeser: Secure Storage for Physically Exposed Web- and Application Servers. In Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius). IEEE Computer Society (Washington, DC, USA), pp. 86 (2006)
Show Bibtex | URL

@inproceedings{Schattkowsky2006d, author = {Tim Schattkowsky and Alexander Förster and Christoph Loeser}, title = {Secure Storage for Physically Exposed Web- and Application Servers}, booktitle = {Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)}, year = {2006}, pages = {86}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

Christoph Loeser and Gunnar Schomaker and Matthias Schubert and Tim Schattkowsky: Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks. In Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius). IEEE Computer Society (Washington, DC, USA), pp. 105 (2006)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{Loeser2006, author = {Christoph Loeser and Gunnar Schomaker and Matthias Schubert and Tim Schattkowsky}, title = {Fairness Considerations in Replication and Placement Strategies for large Documents in heterogeneous Content Delivery Networks}, booktitle = {Proceedings of the 5th International Conference on Networking (ICN 2006), Morne (Mauritius)}, year = {2006}, pages = {105}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

In previous publications there have been several proposals regarding replica generation and placement of readonly content in content distribution networks or P2P overlays. Within this paper, we extend approaches for heterogeneous placement scenarios described in prior publications. Therefore we presume heterogeneous server peers' bandwidth, HD capacity, and movie popularities. Within our scenario, movie documents are replicated and placed onto server peers with respect to the predicted popularity values. Thus, each document aims to gain fair networks resources according to its popularity. Besides different heuristics for placement and replication strategies we present simulation results for these techniques in hierarchical overlay networks. These algorithms base on predicted popularity values of each document.

Alexander Förster and Tim Schattkowsky and Gregor Engels and Ragnhild Van Der Straeten: A Pattern-driven Development Process for Quality Standard-conforming Business Process Models. In IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK). IEEE Computer Society (Washington, DC, USA), pp. 135--142 (2006)
Show Bibtex

@inproceedings{FoersterVLHCC06, author = {Alexander Förster and Tim Schattkowsky and Gregor Engels and Ragnhild Van Der Straeten}, title = {A Pattern-driven Development Process for Quality Standard-conforming Business Process Models}, booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2006), Brighton (UK)}, year = {2006}, pages = {135--142}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

Tim Schattkowsky and Jan Hendrik Hausmann and Gregor Engels: Using UML Activities for System-on-Chip Design and Synthesis. In Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy). Springer (Berlin/Heidelberg), LNCS, vol. 4199/2006, pp. 737--752 (2006)
Show Bibtex | Show Abstract | DOI

@inproceedings{Schattkowsky2006c, author = {Tim Schattkowsky and Jan Hendrik Hausmann and Gregor Engels}, title = {Using UML Activities for System-on-Chip Design and Synthesis}, booktitle = {Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), Genova (Italy)}, year = {2006}, volume = {4199/2006}, series = {LNCS}, pages = {737--752}, address = {Berlin/Heidelberg}, publisher = {Springer} }

The continuous advances in manufacturing Integrated Circuits (ICs) enable complete systems on a single chip. However, the design effort for such System-on-Chip (SoC) solutions is significant. The productivity of the design teams currently lags behind the advances in manufacturing and this design productivity gap is still widening. One important reason is the lack of abstraction in traditional Hardware Description Languages (HDLs) like VHDL. The UML provides more abstract concepts for modeling behavior that can also be employed for hardware design. In particular, the new UML Activity semantics fit nicely with the inherent data flow in hardware systems. Therefore, we introduce a UML-based design approach for complete SoC specification. Our approach enables generation of complete synthesizable HDL code. The equivalent hardware can be automatically generated using the existing tools chains. As an example, we outline Handel-C code generation for an MP3 decoder design.

Tim Schattkowsky: UML 2.0 - Overview and Perspectives in SoC Design. In Proceedings of the conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany). IEEE Computer Society (Washington, DC, USA), vol. 2, pp. 832--833 (2005)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{Schattkowsky2005f, author = {Tim Schattkowsky}, title = {UML 2.0 - Overview and Perspectives in SoC Design}, booktitle = {Proceedings of the conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany)}, year = {2005}, volume = {2}, pages = {832--833}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the introduction of more abstract design methods. The UML has become the standard for software systems modeling and thus the foundation of new design methods. Although the UML is defined as a general purpose modeling language, its application to hardware and hardware/software codesign is very limited. In order to successfully apply the UML in these fields, it is essential to understand its capabilities and to map it to a new domain.

Tim Schattkowsky and Wolfgang Müller and Achim Rettberg: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. In Proceedings of the conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany). IEEE Computer Society (Washington, DC, USA), pp. 692--697 (2005)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{Schattkowsky2005e, author = {Tim Schattkowsky and Wolfgang Müller and Achim Rettberg}, title = {A Model-Based Approach for Executable Specifications on Reconfigurable Hardware}, booktitle = {Proceedings of the conference on Design, Automation and Test in Europe (DATE 2005), Munich (Germany)}, year = {2005}, pages = {692--697}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

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.

Tim Schattkowsky and Alexander Förster: A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities. In Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005). IEEE Computer Society (Washington, DC, USA), pp. 3--10 (2005)
Show Bibtex | Show Abstract | DOI

@inproceedings{Schattkowsky2005d, author = {Tim Schattkowsky and Alexander Förster}, title = {A Generic Component Framework for High Performance Locally Concurrent Computing Based on UML 2.0 Activities}, booktitle = {Proceedings of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2005)}, year = {2005}, pages = {3--10}, address = {Washington, DC, USA}, publisher = {IEEE Computer Society} }

Software support for multiple hardware threads like the Pentium 4's hyperthreading technology or the upcoming multi-core desktop processors is required even for traditional single processor domains like home and office systems. Although the modeling of concurrent systems is already quite advanced, the current engineering practice usually does not yield highly concurrent applications without significant extra efforts due to several limitations of most methods for concurrent systems design. Unlike other methods, we consider the problem as a deployment problem where the software components need to be deployed on different multiple execution units depending on the system configuration. To overcome this, we present a component model and design approach based on the execution semantics of UML 2.0 Activities that enables the efficient design and construction of software applications with increased inherent concurrency and scalability for multi-processor platforms. The application of the approach and its benefits are demonstrated in a real world Web server example.

Tim Schattkowsky: Discovery and Routing in the HEN Heterogeneous Peer-to-Peer Network. In Proceedings of the 4th International Conference on Networking (ICN 2005), Reunion Island (France). Springer (Berlin/Heidelberg), LNCS, vol. 3421, pp. 653--661 (2005)
Show Bibtex | Show Abstract | DOI

@inproceedings{Schattkowsky2005c, author = {Tim Schattkowsky}, title = {Discovery and Routing in the HEN Heterogeneous Peer-to-Peer Network}, booktitle = {Proceedings of the 4th International Conference on Networking (ICN 2005), Reunion Island (France)}, year = {2005}, volume = {3421}, series = {LNCS}, pages = {653--661}, address = {Berlin/Heidelberg}, publisher = {Springer} }

Network infrastructures are nowadays getting more and more complex as security considerations and technical needs like network address translation are blocking traffic and protocols in IP-based networks. Applications in such networks should transparently overcome these limitations. Examples for such applications range from simple chat clients to collaborative work environments spanning different enterprises with different heterogeneous network infrastructure and different security policies, e.g., different firewalls with different configurations. Overlay networks are a convenient way to overcome this problem. In many cases, diverse barriers like multiple facing firewalls would require significant user knowledge to establish a connection. Self-organizing peer-to-peer networks appear to be a convenient solution, but contemporary systems still have limitations in overcoming connectivity problems in heterogeneous networks. Thus, we introduce a self-organizing peer-to-peer infrastructure that overcomes these issues by transparently interconnecting networks with different protocols and address schemes.

Tim Schattkowsky and Wolfgang Müller: Transformation of UML StateMachines for Direct Execution. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA). IEEE Computer Society (Washington, DC, USA), pp. 117--124 (2005)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{Schattkowsky2005b, author = {Tim Schattkowsky and Wolfgang Müller}, title = {Transformation of UML StateMachines for Direct Execution}, booktitle = {Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), Dallas, TX (USA)}, year = {2005}, pages = {117--124}, address = {Washington, DC, USA}, month = {September }, publisher = {IEEE Computer Society} }

Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In this context, the direct execution of UML State Machines is an interesting alternative to native code generation approaches since it significantly increases portability. However, fully featured UML 2.0 State Machines may contain a broad set of features with complex execution semantics that differ significantly from other StateChart variants. This makes their direct execution complex and inefficient. In this paper, we demonstrate how such State Machines can be represented using a small subset of the UML State Machine features that enables efficient execution. We describe the necessary model transformations in terms of graph transformations and discuss the underlying semantics and implications for execution.

Tim Schattkowsky and Wolfgang Müller: A UML Virtual Machine for Embedded Systems. In Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA). (2005)
Show Bibtex

@inproceedings{Schattkowsky05, author = {Tim Schattkowsky and Wolfgang Müller}, title = {A UML Virtual Machine for Embedded Systems}, booktitle = {Proceedings of the International Conference on Information Systems - New Generations (ISNG 2005), Las Vegas, NV (USA)}, year = {2005}, month = {April} }

Alexander Förster and Gregor Engels and Tim Schattkowsky: Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. In Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica). Springer (Berlin/Heidelberg), LNCS, vol. 3713, pp. 2--16 (2005)
Show Bibtex

@inproceedings{Foerster2005, author = {Alexander Förster and Gregor Engels and Tim Schattkowsky}, title = {Activity Diagram Patterns for Modeling Quality Constraints in Business Processes}, booktitle = {Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)}, year = {2005}, volume = {3713}, series = {LNCS}, pages = {2--16}, address = {Berlin/Heidelberg}, publisher = {Springer} }

Tim Schattkowsky and Wolfgang Müller: Model-Based Specification and Execution of Embedded Real-Time Systems. In Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France. IEEE Computer Society (Los Alamitos, CA, USA), vol. 2, pp. 1392--1393 (2004)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{Schattkowsky2004d, author = {Tim Schattkowsky and Wolfgang Müller}, title = {Model-Based Specification and Execution of Embedded Real-Time Systems}, booktitle = {Proceedings of the conference on Design Automation and Test in Europe (DATE 2004), Paris, France}, year = {2004}, volume = {2}, pages = {1392--1393}, address = {Los Alamitos, CA, USA}, month = {February }, publisher = {IEEE Computer Society} }

This paper proposes a methodology for an executable UML 2.0 subset based on State Transition Diagrams (STDs) and Sequence Diagrams (SD) that covers interrupts, exceptions, and timeouts. In this a UML Virtual Machine (UVM) as the run-time environment for complete executable specifications based on that executable UML subset. Such specifications are compiled to binary programs consisting of data structures (STDs) and bytecode (SDs).

Tim Schattkowsky and Christoph Loeser and Wolfgang Müller: Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France). IEEE Computer Society (Los Alamitos, CA, USA) (2004)
Show Bibtex | Show Abstract

@inproceedings{Schattkowsky2004c, author = {Tim Schattkowsky and Christoph Loeser and Wolfgang Müller}, title = {Peer-to-Peer-based Web Services for Collaborative Engineering Environments}, booktitle = {Proceedings of the International Conference on Networking (ICN 2004), Guadeloupe (France)}, year = {2004}, address = {Los Alamitos, CA, USA}, month = {March}, publisher = {IEEE Computer Society} }

The Internet connects different enterprises to allow collaborative work, sharing of resources or just the integration of remotely supplied and possibly commercial services. However, different enterprises usually have different heterogeneous network infrastructure and different security policies, e.g., different firewalls with different configurations. The latter often imposes severe challenges to establish a real collaborative engineering infrastructure with distributed tool environments as well as secure exchange of design data and documents over different Intranets. We introduce ANTS (Advanced Network Transport Service) as a peer-to-peer based infrastructure, which can be applied to seamlessly integrate tools and interconnect them as Web Services in order to overcome connectivity problems between highly protected intranets. ANTS is supports relay and routing as well as different underlying transport protocols like TCP, HTTP(R) to transmit data across heterogeneous networks. The transport mechanism itself can be accessed as a Web Service using SOAP calls to the same server. This enables us to have a unified security solution for both the transport service and all other services hosted by the server. We currently apply in industrial projects to interconnect distributed design teams for secure exchange of design data and documents between different Intranets.

Tim Schattkowsky and Christoph Loeser and Wolfgang Müller: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan). IEEE Computer Society (Washington, DC, USA), pp. 611-616 (2004)
Show Bibtex | Show Abstract | URL

@inproceedings{Schattkowsky2004b, author = {Tim Schattkowsky and Christoph Loeser and Wolfgang Müller}, title = {Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks}, booktitle = {Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka (Japan)}, year = {2004}, pages = {611-616}, address = {Washington, DC, USA}, month = {April}, publisher = {IEEE Computer Society} }

The interconnection of software components is a keyto enabling collaborative work. However, technologydifferences and security barriers like firewalls oftenhinder establishing collaborative infrastructures betweenenterprises or even within a single enterprise. Weintroduce a peer-to-peer based network infrastructurethat transparently overcomes these problems using relayand routing mechanisms as well as different underlyingtransport protocols. We discuss the application of thistechnology to interconnect Web Services.

Tim Schattkowsky: Efficient Execution of UML State Machines on a Virtual Machine. In Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA). (2004) Proc. 8th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando, FL, USA, 2004
Show Bibtex

@inproceedings{Schattkowsky04-1, author = {Tim Schattkowsky}, title = {Efficient Execution of UML State Machines on a Virtual Machine}, booktitle = {Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, year = {2004}, month = {July}, note = {Proc. 8th World Multi-Conference on Systemics, Cybernetics and Informatics, Orlando, FL, USA, 2004} }

Tim Schattkowsky: Direct Execution of UML 2.0 Sequence Diagrams. In Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA). (2004)
Show Bibtex

@inproceedings{Schattkowsky04, author = {Tim Schattkowsky}, title = {Direct Execution of UML 2.0 Sequence Diagrams}, booktitle = {Proceedings of the 10th International Conference on Information Systems Analysis and Synthesis (ISAS 2004), Orlando, FL (USA)}, year = {2004}, month = {August} }

Stefan Böttcher and Sven Groppe and Tim Schattkowsky: Automated Data and Service Mapping for Integrated Electronic Markets. In Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA). (2004)
Show Bibtex

@inproceedings{Böttcher04, author = {Stefan Böttcher and Sven Groppe and Tim Schattkowsky}, title = {Automated Data and Service Mapping for Integrated Electronic Markets}, booktitle = {Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, year = {2004} }

Tim Schattkowsky and Wolfgang Müller: Model-Based Design of Embedded Systems. In Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria). IEEE Computer Society (Los Alamitos, CA, USA), pp. 121--128 (2004) 12-14 May 2004
Show Bibtex | URL

@inproceedings{Schattkowsky2004a, author = {Tim Schattkowsky and Wolfgang Müller}, title = {Model-Based Design of Embedded Systems}, booktitle = {Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), Vienna (Austria)}, year = {2004}, pages = {121--128}, address = {Los Alamitos, CA, USA}, publisher = {IEEE Computer Society}, note = {12-14 May 2004} }

Tim Schattkowsky: A Model-based Approach for Dynamic Tool Integration. In Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA). (2003) In Proc. 7th Multi-Conference on Systemics, Cybernetics and Informatics
Show Bibtex

@inproceedings{Schattkowsky03, author = {Tim Schattkowsky}, title = {A Model-based Approach for Dynamic Tool Integration}, booktitle = {Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2003), Orlando, FL (USA)}, year = {2003}, month = {June }, note = {In Proc. 7th Multi-Conference on Systemics, Cybernetics and Informatics} }

Wolfgang Mueller and Tim Schattkowsky and Heinz-Josef Eikerling and Jan Wegner: Dynamic Tool Integration in Heterogeneous Computer Networks. In Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany). IEEE Computer Society (Washington, DC, USA), pp. 946-951 (2003)
Show Bibtex | Show Abstract | DOI

@inproceedings{Mueller03, author = {Wolfgang Mueller and Tim Schattkowsky and Heinz-Josef Eikerling and Jan Wegner}, title = {Dynamic Tool Integration in Heterogeneous Computer Networks}, booktitle = {Proceedings of the conference on Design Automation and Test in Europe (DATE 2003), Munich (Germany)}, year = {2003}, pages = {946-951}, address = {Washington, DC, USA}, month = {March}, publisher = {IEEE Computer Society} }

Tool installation and automation of administrative tasks in heterogeneous computer networks becomes of increasing importance with the availability of complex heterogeneous computer networks. This article introduces a new approach for dynamic network tool management, i.e., TRMS. A variant of TRMS using SNMP - a well established standard for network administration is outlined and illustrated by the application of the integration and management of design tools for Printed Circuit Boards (PCBs).

Marc Lohmann and Stefan Sauer and Tim Schattkowsky: ProGUM-Web: Tool Support for Model-Based Development of Web Applications. In Proceedings of the 6th International Conference on the Unified Modeling Language (UML 2003), San Francisco, CA (USA). Springer (Berlin/Heidelberg), LNCS, vol. 2863, pp. 101--105 (2003)
Show Bibtex | Show Abstract | DOI

@inproceedings{Lohmann2003, author = {Marc Lohmann and Stefan Sauer and Tim Schattkowsky}, title = {ProGUM-Web: Tool Support for Model-Based Development of Web Applications}, booktitle = {Proceedings of the 6th International Conference on the Unified Modeling Language (UML 2003), San Francisco, CA (USA)}, year = {2003}, volume = {2863}, series = {LNCS}, pages = {101--105}, address = {Berlin/Heidelberg}, publisher = {Springer} }

ProGUM-Web is a tool that supports model-based development of Web applications using an extension of UML. It accounts for the characteristics of Web applications and their specific development. Code templates are generated from the model for both graphic designers and software developers. These code templates can iteratively and independently be advanced and are re-integrated within ProGUM-Web. Prototypes of Web applications can automatically be generated throughout the development.

Tomasz Kostienko and Wolfgang Müller and Adam Pawlak and Tim Schattkowsky: An advanced infrastructure for collaborative engineering in electronic design automation. In Proceedings of the 10th International Conference on Concurrent Engineering (ISPE CE 2003), Madeira, Portugal. A. A. Balkema Publishers, pp. 703--710 (2003)
Show Bibtex | Show Abstract | URL

@inproceedings{Kostienko2003, author = {Tomasz Kostienko and Wolfgang Müller and Adam Pawlak and Tim Schattkowsky}, title = {An advanced infrastructure for collaborative engineering in electronic design automation}, booktitle = {Proceedings of the 10th International Conference on Concurrent Engineering (ISPE CE 2003), Madeira, Portugal}, year = {2003}, pages = {703--710}, month = {July }, publisher = {A. A. Balkema Publishers} }

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 collaborative 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 design of complex electronic systems. In this 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 XMLbased tool integration. ACI and its deployments have been developed with the EU project E-Colleg (IST-1999-11746).

Tim Schattkowsky and Marc Lohmann: Rapid Development of Modular Dynamic Web Sites Using UML. In Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany). Springer (London, UK), LNCS, pp. 336--350 (2002)
Show Bibtex | Show Abstract | DOI

@inproceedings{Schattkowsky2002, author = {Tim Schattkowsky and Marc Lohmann}, title = {Rapid Development of Modular Dynamic Web Sites Using UML}, booktitle = {Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany)}, year = {2002}, series = {LNCS}, pages = {336--350}, address = {London, UK}, publisher = {Springer} }

Development of dynamic Web sites is often performed by teams consisting of graphic designers and software developers. Communication between these different team members has to be supported with a simple modeling approach that considers their different academical backgrounds. Dynamic Web sites can contain multiple modules that may reappear on different pages. Reuse of both business logic and visual design modules would be desirable. Furthermore, a considerable amount of time is usually consumed by the implementation of data flows that are already defined in the model. Rapid development is enabled by providing roundtrip engineering capabilities with support for automatic code generation. We propose a simple subset of the UML adapted to the problem domain by means of stereotypes as well as a strategy for generating code templates from such models. These templates are tailored to the tasks of each team member. This enables parallel work and automated reintegration of results.

Rezensierte Workshopbeiträge

Tim Schattkowsky and Tao Xie: UML and IP-XACT for Integrated SPRINT IP Management. In Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA). (2008)
Show Bibtex

@inproceedings{SchatX08, author = {Tim Schattkowsky and Tao Xie}, title = {UML and IP-XACT for Integrated SPRINT IP Management}, booktitle = {Proceedings of the 5th International UML for SoC Design Workshop (UML-SoC 2008), Anaheim, CA (USA)}, year = {2008} }

Tim Schattkowsky and Alexander Förster: On the Pitfalls of UML Activity Modeling. In Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA). IEEE Computer Society (Los Alamitos, CA, USA), pp. 8 (2007)
Show Bibtex | Show Abstract | DOI

@inproceedings{Schattkowsky2007, author = {Tim Schattkowsky and Alexander Förster}, title = {On the Pitfalls of UML Activity Modeling}, booktitle = {Proceedings of the ICSE workshop on Modeling in Software Engineering (MISE 2007), Minneapolis, MN (USA)}, year = {2007}, pages = {8}, address = {Los Alamitos, CA, USA}, month = {May}, publisher = {IEEE Computer Society} }

With the introduction of new Petri net-like semantics for Activities in UML 2.0, these have become a complete language for modeling behavior. Thus, UML Activities are nowadays investigated for application in many areas from embedded systems to business process modeling. However, some issues have been discovered that currently seem to limit the practical applicability of Activities. In this paper, we present an overview of the identified semantic and syntactic problems, and point at possible solutions and directions for future research.

Tim Schattkowsky and Achim Rettberg and Rainer Dömer: Design Space Exploration through Interactive Model Mappings for UML-based Specifications. In Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA). , pp. 25--28 (2006)
Show Bibtex

@inproceedings{Schattkowsky2006a, author = {Tim Schattkowsky and Achim Rettberg and Rainer Dömer}, title = {Design Space Exploration through Interactive Model Mappings for UML-based Specifications}, booktitle = {Proceedings of the 3rd UML for SoC Design Workshop (satellite event of the 43rd Design Automation Conference (DAC 2006)), San Francisco, CA (USA)}, year = {2006}, pages = {25--28}, month = {July} }

Tim Schattkowsky: Capturing Implementation Aspects in UML-based Functional Specifications. In Proceedings of the 2nd workshop on Aspect-Oriented Software Development (satellite event of the International Conference on Automated Software Engineering, ASE 2006), Tokyo (Japan). IEEE Computer Society (Tokyo, Japan), pp. 30--34 (2006)
Show Bibtex

@inproceedings{Schattkowsky2006, author = {Tim Schattkowsky}, title = {Capturing Implementation Aspects in UML-based Functional Specifications}, booktitle = {Proceedings of the 2nd workshop on Aspect-Oriented Software Development (satellite event of the International Conference on Automated Software Engineering, ASE 2006), Tokyo (Japan)}, year = {2006}, pages = {30--34}, address = {Tokyo, Japan}, month = {September}, publisher = {IEEE Computer Society} }

Tim Schattkowsky and Marc Lohmann: Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised). In Proceedings of the Satellite Events at the MoDELS 2005 Conference. Springer (Berlin/Heidelberg), LNCS, vol. 3844, pp. 201--209 (2005)
Show Bibtex | Show Abstract | URL | DOI

@inproceedings{Schattkowsky2006b, author = {Tim Schattkowsky and Marc Lohmann}, title = {Towards employing UML Model Mappings for Platform Independent User Interface Design (Revised)}, booktitle = {Proceedings of the Satellite Events at the MoDELS 2005 Conference}, year = {2005}, volume = {3844}, series = {LNCS}, pages = {201--209}, address = {Berlin/Heidelberg}, publisher = {Springer} }

While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further investigation. Nowadays, user interface design is usually platform specific or based on C-level cross-platform libraries. In this paper, we propose a MDA like design approach for user interfaces based on the transformation of UML models at different levels of abstraction. This enables platform independent design of user interfaces and a clear separation of UI and application logic design while enabling full use of native controls in the actual user interface implementation.

Tim Schattkowsky and Jan Hendrik Hausmann and Achim Rettberg: Using UML Activities for Synthesis on Reconfigurable Hardware. In Proceedings of the UML for SoC Design Workshop. (Anaheim, USA) (2005)
Show Bibtex

@inproceedings{Schattkowsky2005g, author = {Tim Schattkowsky and Jan Hendrik Hausmann and Achim Rettberg}, title = {Using UML Activities for Synthesis on Reconfigurable Hardware}, booktitle = {Proceedings of the UML for SoC Design Workshop}, year = {2005}, address = {Anaheim, USA} }

Tim Schattkowsky and Marc Lohmann: Towards employing UML Model Mappings for Platform Independent User Interface Design. In Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces. CEUR-WS.org, CEUR Workshop Proceedings, vol. 159 (2005)
Show Bibtex | Show Abstract | URL

@inproceedings{Schattkowsky2005a, author = {Tim Schattkowsky and Marc Lohmann}, title = {Towards employing UML Model Mappings for Platform Independent User Interface Design}, booktitle = {Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces}, year = {2005}, volume = {159}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org} }

While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further investigation. Nowadays, user interface design is usually platform specific or based on C-level cross-platform libraries. In this paper, we propose a MDA like design approach for user interfaces based on the transformation of UML models at different levels of abstraction. This enables platform independent design of user interfaces and a clear separation of UI and application logic design while enabling full use of native controls in the actual user interface implementation.

Achim Rettberg and Tim Schattkowsky and Carsten Rust and Wolfgang Müller and Franz Josef Rammig: The Reconfigurable UML Machine Project Group. In Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia). Springer (Berlin/Heidelberg), IFIP - International Federation for Information Processing, vol. 192, pp. 139-147 (2005)
Show Bibtex | Show Abstract

@inproceedings{Rettberg2005, author = {Achim Rettberg and Tim Schattkowsky and Carsten Rust and Wolfgang Müller and Franz Josef Rammig}, title = {The Reconfigurable UML Machine Project Group}, booktitle = {Proceedings of the EduTech Workshop on New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design (Edutech 2005), Perth (Australia)}, year = {2005}, volume = {192}, series = {IFIP - International Federation for Information Processing}, pages = {139-147}, address = {Berlin/Heidelberg}, organization = {EduTech Workshop}, publisher = {Springer} }

This paper describes a seminar of a project group consisting of students that realizes a code generation from UML to a reconfigurable hardware platform. The usage of high-level modeling is nowadays essential in the software and in the hardware development. The reason for this is the complexity the industries have to cope with. The idea to specify a hardware system at such a high abstraction level should be realized for a given application within the project group. By dealing with the application the students learn to use these new development methods for system design, especially hardware design. Furthermore, an overview of the structure and organization of project groups are given.

Tim Schattkowsky and Achim Rettberg: UML for FPGA Synthesis. In Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA). (2004)
Show Bibtex

@inproceedings{Schattkowsky2004e, author = {Tim Schattkowsky and Achim Rettberg}, title = {UML for FPGA Synthesis}, booktitle = {Proceedings of the International Workshop on UML for SoC Design (UML-SOC 2004), San Diego, CA (USA)}, year = {2004}, month = {June } }

Tim Schattkowsky: Model-based Development of Embedded Systems: Executable Models vs. Code Generation. In Proceedings of the workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (satellite event of the UML 2003 conference), San Francisco, CA (USA). (2003) Proc. Workshop, International Conference on the Unified Modeling Language UML 2003
Show Bibtex | Show Abstract | URL

@inproceedings{Schattkowsky2004f, author = {Tim Schattkowsky}, title = {Model-based Development of Embedded Systems: Executable Models vs. Code Generation}, booktitle = {Proceedings of the workshop on Model Driven Architecture in the Specification, Implementation and Validation of Object-oriented Embedded Systems (satellite event of the UML 2003 conference), San Francisco, CA (USA)}, year = {2003}, month = {October}, note = {Proc. Workshop, International Conference on the Unified Modeling Language UML 2003} }

The use of models during the development of embedded systems is nowadays fairly limited. During the evolution of the system, the implementation and the design models often tend to get out of sync. The use of Model Driven Architecture in the development of embedded systems makes this problem more imminent, as it is much more demanding by introducing two separate modeling levels. Thus, there is a need to introduce techniques that overcome this problem. Complete code generation and the use of executable models potentially eliminate the need for a manual implementation that may get out of sync with the design models. We discuss important properties of such approaches and outline the advantages and possibilities of using a UML virtual machine in embedded systems.

Tim Schattkowsky and Wolfgang Müller: Distributed Engineering Environment for the Design of Electronic Systems. In Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland). , pp. 15--16 (2003)
Show Bibtex

@inproceedings{Schattkowsky2003, author = {Tim Schattkowsky and Wolfgang Müller}, title = {Distributed Engineering Environment for the Design of Electronic Systems}, booktitle = {Proceedings of the Workshop on Challenges in Collaborative Engineering (CCE 2003), Poznan (Poland)}, year = {2003}, pages = {15--16} }

Tim Schattkowsky and Marc Lohmann and Reiko Heckel: Lightweight Modeling of Dynamic Websites using UML. In Proceedings of Workshop on Web Engineering (satellite event of the ICSE 2002), Orlando, FL (USA). (2002)
Show Bibtex | Show Abstract | URL

@inproceedings{Schattkowsky2002a, author = {Tim Schattkowsky and Marc Lohmann and Reiko Heckel}, title = {Lightweight Modeling of Dynamic Websites using UML}, booktitle = {Proceedings of Workshop on Web Engineering (satellite event of the ICSE 2002), Orlando, FL (USA)}, year = {2002}, month = {Mai} }

Development of small- or medium scale Web applications is usually performed by teams consisting of graphic designers responsible for the layout and software developers realizing the business logic. Due to short production cycles, these people have to work in parallel on the implementation. Because of the different backgrounds of the people involved and the relative simplicity of the application, a simple design process and modeling approach is required which supports communication between team members and helps to identify and relate their respective tasks. We propose a simple subset of the UML adapted to the problem domain by means of stereotypes. Based on the design, we propose a strategy for generating code templates specifically tailored to the tasks of each team member, so that the implementation can immediately start in parallel when the modeling is complete.

Tim Schattkowsky and Katharina Mehner and Ralph Depke: Using UML models for the Description of Concurrent Behavior in Component Interfaces. In Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada). (2001)
Show Bibtex

@inproceedings{Schattkowsky2001, author = {Tim Schattkowsky and Katharina Mehner and Ralph Depke}, title = {Using UML models for the Description of Concurrent Behavior in Component Interfaces}, booktitle = {Proceedings of the Workshop on Concurrency Issues of the UML (satellite event of the International Conference on the Unified Modeling Language - UML 2001), Toronto (Canada)}, year = {2001}, month = {October} }

Katharina Mehner and Tim Schattkowsky: Methodische Aspekte von Modellierungssprachen für nebenläufige Software. In Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany). Universität Münster, vol. 24, pp. 14--18 (2000) Technical Report
Show Bibtex | Show Abstract

@inproceedings{Mehner2000a, author = {Katharina Mehner and Tim Schattkowsky}, title = {Methodische Aspekte von Modellierungssprachen für nebenläufige Software}, booktitle = {Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}, year = {2000}, volume = {24}, pages = {14--18}, month = {November }, publisher = {Universität Münster}, note = {Technical Report} }

In den letzten Jahren ist ein deutlicher Trend zu verstärkt nebenläufiger Software festzustellen. Hierfür gibt es verschiedene Gründe, wie die rasante Verbreitung des Internets mit seinen Client/Server-Architekturen und die verstärkte Unterstützung nebenläufiger Programmierung in neuen Programmiersprachen wie z.B. Java. Softwareentwickler werden somit zunehmend mit dem Problem der Synchronisation der nebenläufigen Abläufe in der Software konfrontiert. Dabei treten immer wieder gravierende Fehler auf. Besonders problematisch ist in diesem Zusammenhang der Nichtdeterminismus nebenläufiger Abläufe, der dazu führt, dass Fehler unter Umständen bei Tests nicht auffällig werden, weil das Auftreten der Fehler von einem bestimmten Zeitverhalten abhängt, das beim Test nicht auftritt. Die Situation wird noch erschwert, wenn man nebenläufige Software aus Komponenten verschiedener Hersteller zusammensetzt. Bei der Zusammenarbeit dieser Komponenten auftretende Fehler im nebenläufigen Ablauf sind besonders schwierig zu diagnostizieren und zu beheben, da über die verwendeten Komponenten meist nichts außerhalb ihrer nicht notwendigerweise vollständigen und korrekten Spezifikation bekannt ist. Dies ist ein aktuelles Problem, da Komponententechnologien den Kern vieler moderner Anwendungen bilden. Viele Fehler in nebenläufiger Software sind auf grundsätzliche Fehler beim Entwurf der Software zurückzuführen. Auch beim Übergang vom Modell zur Implementierung entstehen Fehler, insbesondere wenn das Modell nicht direkt bei der Implementierung umsetzbar ist. Dies ist häufig der Fall, weil die Implementierung meist auf der Verwendung einfacher Synchronisationskonstrukte, wie z.B. Semaphoren, basiert, welche in der verwendeten Modellierung kein direktes Gegenstück haben. Es ist also entscheidend, dass die Softwareentwickler beim Entwurf ein klares Bild von der zu entwickelnden Software erhalten, welches leicht in der Implementierung umzusetzen ist. Wir wollen im folgenden grundlegende Strukturen nebenläufiger Softwaresysteme aufzeigen, basierend darauf Anforderungen an Modellierungssprachen für solche Systeme formulieren und existierende Modellierungssprachen auf diese Anforderungen hin untersuchen. Dabei werden wir sehen, dass sich in diesen Systemen kleinere, nahezu in sich abgeschlossene, Abläufe identifizieren lassen, die wir als Operationen bezeichnen werden. Betrachtet man die Implementation so ist festzustellen, dass hier einige einfache Konstrukte im Vordergrund stehen, auf die das Modell abgebildet werden muss. Damit ergeben sich aus unserer Sicht zwei wesentliche Forderungen an Modellierungssprachen: · Die Aufteilung in einzelne Operationen soll gefördert werden. · Gängige Synchronisationskonstrukte sollen direkt dargestellt werden, um die Lesbarkeit der Darstellung zu verbessern und um den Übergang in die Implementierung zu vereinfachen. Im nächsten Abschnitt werden wir die grundlegende Struktur nebenläufiger Software beschreiben, bevor wir dann Anforderungen diskutieren. Wir werden State Charts als eine gebräuchliche Modellierungssprache hinsichtlich dieser Anforderungen untersuchen und dabei sehen, dass diese den Forderungen nicht vollständig gerecht werden. Dies wird an einem Beispiel vertieft. Abschließend gehen wir kurz auf den Übergang von der Modellierung in die Implementierung ein.

Buchbeiträge

Tim Schattkowsky and Wolfgang Mueller and Achim Rettberg: A Generic Model Execution Platform for the Design of Hardware and Software. In G. Martin, W. Mueller (eds.): UML for SoC Design. pp. 63--88 Springer (2005)
Show Bibtex | Show Abstract | DOI

@incollection{Schattkowsky2005, author = {Tim Schattkowsky and Wolfgang Mueller and Achim Rettberg}, title = {A Generic Model Execution Platform for the Design of Hardware and Software}, booktitle = {UML for SoC Design}, publisher = {Springer}, year = {2005}, pages = {63--88} }

This chapter presents the concepts of our Model Execution Platform (MEP). The MEP is an approach to executable UML for the design of hardware and software systems covering Class, State Machine, and Activity Diagrams. We present how the MEP is employed for Handel-C code generation and briefly sketch the concepts of a MEP based UML virtual machine.

Tim Schattkowsky and Wolfgang Mueller and Adam Pawlak: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (eds.): Workflow Handbook 2004. pp. 5-14 Workflow Management Coalition (Lighthouse Point, FL) (2004)
Show Bibtex | Show Abstract | DOI

@incollection{Schattkowsky2004, author = {Tim Schattkowsky and Wolfgang Mueller and Adam Pawlak}, title = {Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}, booktitle = {Workflow Handbook 2004}, publisher = {Workflow Management Coalition}, year = {2004}, pages = {5-14}, address = {Lighthouse Point, FL} }

This article presents the E-COLLEG Tool Registration and Management Services (TRMS) with open XML-based data exchange, tool integration and remote invocation capabilities. TRMS is a workflow management middleware tailored to distance spanning engineering collaboration and security enabled data exchange. The infrastructure is validated through two industrial Intranet-crossing case studies between Polish, French, and German chip manufacturing industries applying real-world development scenarios. In both application scenarios, common engineering practices have been identified and built into engineering workflows. Further, the current truly pan-European collaborative industrial scenarios show promising results with respect to the stability of the implemented software and easy application and flexibility of the provided interfaces.

Alexander Krupp and Ola Lundkvist and Tim Schattkowsky and Colin Snook: Adaptive Cruise Controller Case Study. In J. Mermet (eds.): UML-B System Specification for Proven Electronic Design. Kluwer (Dordrecht) (2004)
Show Bibtex | Show Abstract | URL

@incollection{Krupp2004, author = {Alexander Krupp and Ola Lundkvist and Tim Schattkowsky and Colin Snook}, title = {Adaptive Cruise Controller Case Study}, booktitle = {UML-B System Specification for Proven Electronic Design}, publisher = {Kluwer}, year = {2004}, address = {Dordrecht} }

We present the adaptive cruise controller case study for B modelling and the model checking by RAVEN. Individual translations of B operations, data types, and invariants to the RAVEN Input Language are presented by the example of the case study.

Dissertationen

Tim Schattkowsky: Platform independent modeling of synthesizable software systems using UML 2. Type: Phd Thesis (2009)
Show Bibtex

@phdthesis{SchattkowskyDiss09, author = {Tim Schattkowsky}, title = {Platform independent modeling of synthesizable software systems using UML 2}, year = {2009} }

Projektgruppenberichte

Katharina Mehner and Annika Wagner and Jan Hendrik Hausmann and Tim Schattkowsky and Wolf-Rüdiger Spielmann and Bernd Weymann: Aspektorientierte Entwicklung nebenläufiger Systeme. pg_papersUniversity of Paderborn (1999)
Show Bibtex | Show Abstract

@techreport{Mehner99, author = {Katharina Mehner and Annika Wagner and Jan Hendrik Hausmann and Tim Schattkowsky and Wolf-Rüdiger Spielmann and Bernd Weymann}, title = {Aspektorientierte Entwicklung nebenläufiger Systeme}, institution = {University of Paderborn}, year = {1999}, type = {pg_papers}, month = {Dezember } }

Ziel der Projektgruppe "Aspektorientierte Entwicklung nebenläufiger Systeme" ist es, das Programmierparadigma der Aspektorientierung anhand des Aspekts Nebenläufigkeit zu untersuchen. Dazu wird eine aspektorientierte Sprache entwickelt, die Synchronisationsmechanismen aus nebenläufigem Java-Code behandelt, sowie ein Weaver für diese Sprache.