
FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international...
Fujaba - From UML to Java and Back Again
Fujaba ist ein Open Source UML CASE Tool Projekt, das im Jahr 1997 vom Fachgebiet Softwaretechnik an der Universität Paderborn gestartet wurde. 2002 wurde Fujaba einem Redesign unterzogen und zur Fujaba Tool Suite erweitert. Durch die neue Plug-In-Architektur können andere Entwickler nun sehr einfach neue Funktionen hinzufügen.
Fujaba setzt seit den Anfängen 1997 auf die modell-getriebene Entwicklung. Zu Beginn lag der Schwerpunkt auf der Code-Generierung aus UML-Diargammen, was zu einer Art visuellen Programmiersprache führte.
Derzeit wird eine Reihe von Werkzeugen auf Basis von Fujaba entwickelt. Für unsere Forschung im Bereich der modell-getriebenen Entwicklung eingebetteter Echtzeitsysteme sind wir an der Entwicklung der Fujaba Real Time Tool Suite beteiligt. Im Bereich der inkrementellen Modelltransformation und -synchronisation arbeiten wir an einem Synchronisationsalgorithmus basierend auf Tripel-Graph-Grammatiken.
Veröffentlichungen
| 1. |
Holger Giese and Stephan Hildebrandt and Andreas Seibel.
Improved Flexibility and Scalability by Interpreting Story Diagrams.
In
Tiziana Magaria and Julia Padberg and Gabriele Taentzer, ed.,
Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2009),
volume 18
2009.
Electronic Communications of the EASST.
|
| 2. |
Holger Giese and Stephan Hildebrandt and Andreas Seibel.
Feature Report: Modeling and Interpreting EMF-based Story Diagrams.
In
Proceedings of the 7th International Fujaba Days,
2009.
|
| 3. |
Basil Becker and Holger Giese and Stephan Hildebrandt and Andreas Seibel.
Fujaba's Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework?.
In
Proceedings of the 6th International Fujaba Days,
9 2008.
|
| 4. |
Stefan Henkler and Andreas Seibel and Holger Giese.
Synthesis of Real-Time Component Behavior.
Technical Report tr-ri-08-296,
Computer Science Department, University of Paderborn,
12 2008.
|
| 5. |
Sven Burmester and Holger Giese and Stefan Henkler and Martin Hirsch and Matthias Tichy and Vadim Boiko and Alfonso Gambuzza and Eckehard Münch and Henner Vöcking.
Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View.
In
Proc. of the 29th International Conference on Software Engineering (ICSE), Minneapolis, Minnesota, USA,
pages 801–804,
5 2007.
IEEE Computer Society Press.
|
| 6. |
Sven Burmester and Holger Giese and Oliver Oberschelp.
Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems.
In
J. Braz and H. Araújo and A. Vieira and B. Encarnacao, ed.,
Informatics in Control, Automation and Robotics I,
Springer Verlag,
3 2006.
|
| 7. |
Holger Giese and Robert Wagner.
Incremental Model Synchronization with Triple Graph Grammars.
In
Oscar Nierstrasz and John Whittle and David Harel and Gianna Reggio, ed.,
Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Genova, Italy,
volume 4199
of Lecture Notes in Computer Science (LNCS),
pages 543–557,
10 2006.
Springer Verlag.
|
| 8. |
Holger Giese and Stefan Henkler and Martin Hirsch and Florian Klein.
Nobody's perfect: Interactive Synthesis from Parametrized Real-Time Scenarios.
In
Proc. of the 5th ICSE 2006 Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06),Shanghai, China,
pages 67-74,
5 2006.
ACM Press.
|
| 9. |
Matthias Tichy and Holger Giese and Andreas Seibel.
Story Diagrams in Real-Time Software.
In
Holger Giese and Bernhard Westfechtel, ed.,
Proc. of the 4th International Fujaba Days 2006, Bayreuth, Germany,
volume tr-ri-06-275
of Technical Report,
pages 15–22,
9 2006.
University of Paderborn.
|
| 10. |
Holger Giese and Stefan Henkler and Martin Hirsch.
A PlugIn for the Development of Resource Aware Components with Mechatronic UML.
In
Holger Giese and Bernhard Westfechtel, ed.,
Proc. of the fourth International Fujaba Days 2006, Bayreuth, Germany,
volume tr-ri-06-275
of Technical Report,
pages 51–55,
2006.
University of Paderborn.
|
| 11. |
Sven Burmester and Holger Giese and Wilhelm Schäfer.
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code.
In
Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA\\\'05), Nürnberg, Germany,
volume 3748
of Lecture Notes in Computer Science (LNCS),
pages 25-40,
11 2005.
Springer Verlag.
|
| 12. |
Sven Burmester and Holger Giese and Martin Hirsch and Daniela Schilling and Matthias Tichy.
The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems.
In
Proc. of the 27th International Conference on Software Engineering (ICSE), St. Louis, Missouri, USA,
pages 670-671,
5 2005.
ACM Press.
|
| 13. |
Sven Burmester and Holger Giese and Stefan Henkler.
Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools.
In
Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA,
pages 11-18,
9 2005.
|
| 14. |
Matthias Tichy and Holger Giese.
Extending Fault Tolerance Patterns by Visual Degradation Rules.
In
Proc. of the Workshop on Visual Modeling for Software Intensive Systems (VMSIS) at the the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA,
pages 67-74,
9 2005.
|
| 15. |
Basil Becker and Holger Giese and Daniela Schilling.
A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns.
In
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany,
pages 1-4,
9 2005.
|
| 16. |
Sven Burmester and Holger Giese and Andreas Seibel and Matthias Tichy.
Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems.
In
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany,
pages 71-78,
9 2005.
|
| 17. |
Holger Giese and Sergej Tissen.
The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML.
In
Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany,
pages 67-70,
2005.
|
| 18. |
Sven Burmester and Holger Giese.
Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML.
In
Proc. of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), Dallas, Texas, USA,
pages 109-116,
9 2005.
IEEE Computer Society Press.
|
| 19. |
Sven Burmester and Holger Giese and Jörg Niere and Matthias Tichy and Jörg P. Wadsack and Robert Wagner and Lothar Wendehals and Albert Zündorf,
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite, International Journal on Software Tools for Technology Transfer (STTT) 6(3):203-218, 8 2004, |
| 20. |
Holger Giese and Sven Burmester and Wilhelm Schäfer and Oliver Oberschelp.
Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration.
In
Proc. of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA,
pages 179-188,
11 2004.
ACM Press.
|
| 21. |
Matthias Tichy and Holger Giese.
A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services.
In
Rogério de Lemos and Cristina Gacek and Alexander Romanovsky, ed.,
Architecting Dependable Systems II,
vol. 3069
of Lecture Notes in Computer Science (LNCS),
pages 25–51.
Springer Verlag,
2004.
|
| 22. |
Sven Burmester and Matthias Gehrke and Holger Giese and Simon Oberthür.
Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation.
In
B. Georgio, ed.,
Proc. of Fourth ACM International Conference on Embedded Software 2004 (EMSOFT 2004), Pisa, Italy,
pages 175-183,
9 2004.
ACM Press.
|
| 23. |
Sven Burmester and Holger Giese and Alfonso Gambuzza and Oliver Oberschelp.
Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components.
In
C. Bobeanu, ed.,
Proc. of European Simulation and Modelling Conference (ESMc'2004), Paris, France,
pages 66-73,
10 2004.
EOROSIS Publications.
|
| 24. |
Sven Burmester and Holger Giese and Oliver Oberschelp.
Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems.
In
Helder Araujo and Alves Vieira and Jose Braz and Bruno Encarnacao and Marina Carvalho, ed.,
Proc. of 1st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2004), Setubal, Portugal,
pages 222-229,
8 2004.
INSTICC Press.
|
| 25. |
Sven Burmester and Holger Giese and Martin Hirsch and Daniela Schilling.
Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite.
In
Proc. of the International Workshop on Specification and Validation of UML Models for Real Time and Embedded Systems, SVERTS2004, Satellite Event of the 7th International Conference on the Unified Modeling Language, UML2004,
pages 1-20,
10 2004.
|
| 26. |
Matthias Tichy and Basil Becker and Holger Giese.
Component Templates for Dependable Real-Time Systems.
In
Andy Schürr and Albert Zündorf, ed.,
Proceedings of the 2nd International Fujaba Days 2004, Darmstadt, Germany,
volume tr-ri-04-253
of Technical Report,
pages 27-30,
9 2004.
University of Paderborn.
|
| 27. |
Sven Burmester and Matthias Tichy and Holger Giese.
Modeling Reconfigurable Mechatronic Systems with Mechatronic UML.
In
U. Aßmann, ed.,
Proc. of Model Driven Architecture: Foundations and Applications (MDAFA 2004), Linköping, Sweden,
pages 155-169,
6 2004.
|
| 28. |
Sven Burmester and Holger Giese and Florian Klein.
Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL.
In
Andy Schürr and Albert Zündorf, ed.,
Proc. of the 2nd International Fujaba Days 2004, Darmstadt, Germany,
volume tr-ri-04-253
of Technical Report,
pages 19-22,
9 2004.
University of Paderborn.
|
| 29. |
Matthias Tichy and Daniela Schilling and Holger Giese.
Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns.
In
Proc. of the Workshop on Self-Managed Systems (WOSS) 2004, FSE 2004 Workshop, Newport Beach, USA,
10 2004.
|
| 30. |
Sven Burmester and Holger Giese and Oliver Oberschelp.
Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems.
Technical Report tr-ri-03-246,
University of Paderborn,
Paderborn, Germany,
2004.
|
| 31. |
Holger Giese and Matthias Tichy and Sven Burmester and Wilhelm Schäfer and Stephan Flake.
Towards the Compositional Verification of Real-Time UML Designs.
In
Proc. of the European Software Engineering Conference (ESEC), Helsinki, Finland, Proc.~of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-11),
pages 38–47,
2003.
ACM Press.
|
| 32. |
Matthias Tichy and Holger Giese.
Seamless UML Support for Service-based Software Architectures.
In
Nicolas Guelfi and E. Artesiano and G. Reggio, ed.,
Proc. of the International Workshop on scientiFic engIneering of Distributed Java applIcations (FIDJI) 2003, Luxembourg,
volume 2952
of Lecture Notes in Computer Science (LNCS),
pages 128–138,
11 2003.
Springer Verlag.
|
| 33. |
Robert Wagner and Holger Giese and Ulrich Nickel.
A Plug-In for Flexible and Incremental Consistency Management.
In
Proc. of the International Conference on the Unified Modeling Language 2003 (Workshop 7: Consistency Problems in UML-based Software Development), San Francisco, USA,
of Technical Report,
10 2003.
Blekinge Institute of Technology, San Francisco.
|
| 34. |
Sven Burmester and Holger Giese and Jörg Niere and Matthias Tichy and Jörg P. Wadsack and Robert Wagner and Lothar Wendehals and Albert Zündorf.
Tool Integration at the Meta-Model Level within the FUJABA Tool Suite.
In
Proc. of the Workshop on Tool-Integration in System Development (TIS), Helsinki, Finland, Satellite Event of the joint Conferences ESEC/FSE 2003,
pages 51-56,
9 2003.
|
| 35. |
Martin Hirsch and Holger Giese.
Towards the Incremental Model Checking of Complex RealTime UML Models.
In
Holger Giese and Albert Zündorf, ed.,
Proc. of the first International Fujaba Days 2003, Kassel, Germany,
volume tr-ri-04-247
of Technical Report,
pages 9–12,
10 2003.
University of Paderborn.
|
| 36. |
Sven Burmester and Holger Giese.
The Fujaba Real-Time Statechart PlugIn.
In
Holger Giese and Albert Zündorf, ed.,
Proc. of the first International Fujaba Days 2003, Kassel, Germany,
volume tr-ri-04-247
of Technical Report,
pages 1-8,
10 2003.
University of Paderborn.
|
| 37. |
Sven Burmester and Holger Giese and Wilhelm Schäfer.
Code Generation for Hard Real-time Systems from Real-time Statecharts.
Technical Report tr-ri-03-244,
University of Paderborn,
Paderborn, Germany,
10 2003.
|
| 38. |
Holger Giese and D. Schilling and Matthias Tichy and Sven Burmester and Wilhelm Schäfer and S. Flake.
Towards the Compositional Verification of Real-Time UML Designs.
Technical Report tr-ri-03-241,
Lehrstuhl für Softwaretechnik, Universität Paderborn,
Paderborn, Deutschland,
7 2003.
|
| 39. |
Holger Giese.
A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems..
Technical Report tr-ri-03-240,
Lehrstuhl für Softwaretechnik, Universität Paderborn,
Paderborn, Deutschland,
7 2003.
|
| 40. |
Holger Giese and Sven Burmester.
Real-Time Statechart Semantics.
Technical Report tr-ri-03-239,
Lehrstuhl für Softwaretechnik, Universität Paderborn,
Paderborn, Germany,
6 2003.
|
| 41. |
Holger Giese and Ulrich A. Nickel.
Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation.
In
OMER - Object-oriented Modeling of Embedded Real-Time Systems,
volume P5
of Lecture Notes in Informatics (LNI),
2002.
Gesellschaft für Informatik.
|


