Fujaba - From UML to Java and Back Again

Fujaba is an Open Source UML CASE tool project started at the software engineering group of Paderborn University in 1997. In 2002, Fujaba has been redesigned and became the Fujaba Tool Suite, with a plug-in architecture, allowing developers to add functionality easily while retaining full control over their contributions.

Fujaba followed the model driven development philosophy right from its beginning in 1997. At the early days, Fujaba had a special focus on code generation from UML diagrams resulting in a visual programming language with a special emphasis on object structure manipulating rules.

Today, several independent tool suites are under development. We are involved in the development of the Fujaba Real Time Tool Suite for our research for the model-driven development of embedded realtime systems and a Triple-Graph-Grammar based algorithms for incremental model transformation and synchronization.

Publications

Improved Flexibility and Scalability by Interpreting Story Diagrams. Giese, Holger; Hildebrandt, Stephan; Seibel, Andreas T. Magaria, J. Padberg, G. Taentzer (reds.) (2009). (Vol. 18)

[ BibTeX ]

Feature Report: Modeling and Interpreting EMF-based Story Diagrams. Giese, Holger; Hildebrandt, Stephan; Seibel, Andreas (2009).

[ BibTeX ]

Fujaba’s Future in the MDA Jungle - Fully Integrating Fujaba and the Eclipse Modeling Framework?. Becker, Basil; Giese, Holger; Hildebrandt, Stephan; Seibel, Andreas (2008).

[ BibTeX ]

Synthesis of Real-Time Component Behavior. Technical Report (tr-ri-08-296), Henkler, Stefan; Seibel, Andreas; Giese, Holger (2008).

[ BibTeX ]

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View. Burmester, Sven; Giese, Holger; Henkler, Stefan; Hirsch, Martin; Tichy, Matthias; Boiko, Vadim; Gambuzza, Alfonso; Münch, Eckehard; Vöcking, Henner (2007). 801–804.

[ BibTeX ]

Story Diagrams in Real-Time Software. Tichy, Matthias; Giese, Holger; Seibel, Andreas in Technical Report, H. Giese, B. Westfechtel (reds.) (2006). (Vol. 06-275) 15–22.

[ BibTeX ]

Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. Burmester, Sven; Giese, Holger; Oberschelp, Oliver in Informatics in Control, Automation and Robotics I, J. Braz, H. Araújo, A. Vieira, B. Encarnacao (reds.) (2006).

[ BibTeX ]

Incremental Model Synchronization with Triple Graph Grammars. Giese, Holger; Wagner, Robert in Lecture Notes in Computer Science (LNCS), O. Nierstrasz, J. Whittle, D. Harel, G. Reggio (reds.) (2006). (Vol. 4199) 543–557.

[ BibTeX ]

Nobody’s perfect: Interactive Synthesis from Parametrized Real-Time Scenarios. Giese, Holger; Henkler, Stefan; Hirsch, Martin; Klein, Florian (2006). 67–74.

[ BibTeX ]

A PlugIn for the Development of Resource Aware Components with Mechatronic UML. Giese, Holger; Henkler, Stefan; Hirsch, Martin in Technical Report, H. Giese, B. Westfechtel (reds.) (2006). (Vol. 06-275) 51–55.

[ BibTeX ]

The SceBaSy PlugIn for the Scenario-Based Synthesis of Real-Time Coordination Patterns for Mechatronic UML. Giese, Holger; Tissen, Sergej (2005). 67–70.

[ BibTeX ]

Extending Fault Tolerance Patterns by Visual Degradation Rules. Tichy, Matthias; Giese, Holger (2005). 67–74.

[ BibTeX ]

Visual Integration of UML 2.0 and Block Diagrams for Flexible Reconfiguration in Mechatronic UML. Burmester, Sven; Giese, Holger (2005). 109–116.

[ BibTeX ]

The Fujaba Real-Time Tool Suite: Model-Driven Development of Safety-Critical, Real-Time Systems. Burmester, Sven; Giese, Holger; Hirsch, Martin; Schilling, Daniela; Tichy, Matthias (2005). 670–671.

[ BibTeX ]

Worst-Case Execution Time Optimization of Story Patterns for Hard Real-Time Systems. Burmester, Sven; Giese, Holger; Seibel, Andreas; Tichy, Matthias (2005). 71–78.

[ BibTeX ]

Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code. Burmester, Sven; Giese, Holger; Schäfer, Wilhelm in Lecture Notes in Computer Science (LNCS) (2005). (Vol. 3748) 25–40.

[ BibTeX ]

@inproceedings{Burmester+2005b,
  abstract = {The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software logic at a high level of abstraction and enables analysis like for example model checking of critical model properties. Ideally, starting with the platform independent model, the platform specific model serves only as an intermediate artifact which is derived automatically, and will finally result in a set of threads whose implementations guarantee the behavior, specified in the platform independent model. However, the current MDA approaches and tools for hard real-time software do not provide this ideal: While some of the MDA approaches could in principle support this vision, most approaches simply do not support an appropriate specification of time constraints in the platform independent model which have to be respected in the platform specific model or in the code. This is also true for UML models and UML State Machines in particular. Our approach overcomes those UML specific limitations by firstly proposing a syntactic extension and semantic definition of UML State Machines which provides enough details to synthesize an appropriate platform specific model that can be mapped to code for hard real-time systems automatically. Secondly, a new partitioning algorithm is outlined, which calculates an appropriate mapping onto a platform specific model by means of real-time threads with their scheduling parameters which can be straight forward transformed to code for the hard real-time system.},
  author = {Burmester, Sven and Giese, Holger and Schäfer, Wilhelm},
  booktitle = {Proc. of the European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA\\\'05), Nürnberg, Germany},
  keywords = {imported sam},
  month = 11,
  pages = {25-40},
  publisher = {Springer Verlag},
  series = {Lecture Notes in Computer Science (LNCS)},
  title = {Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code},
  volume = 3748,
  year = 2005
}

A Plugin for Checking Inductive Invariants when Modeling with Class Diagrams and Story Patterns. Becker, Basil; Giese, Holger; Schilling, Daniela (2005). 1–4.

[ BibTeX ]

Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools. Burmester, Sven; Giese, Holger; Henkler, Stefan (2005). 11–18.

[ BibTeX ]

Design and Simulation of Self-Optimizing Mechatronic Systems with Fujaba and CAMeL. Burmester, Sven; Giese, Holger; Klein, Florian in Technical Report, A. Schürr, A. Zündorf (reds.) (2004). (Vol. 04-253) 19–22.

[ BibTeX ]

Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. Burmester, Sven; Giese, Holger; Niere, Jörg; Tichy, Matthias; Wadsack, Jörg P.; Wagner, Robert; Wendehals, Lothar; Zündorf, Albert in International Journal on Software Tools for Technology Transfer (STTT) (2004). 6(3) 203–218.

[ BibTeX ]

Component Templates for Dependable Real-Time Systems. Tichy, Matthias; Becker, Basil; Giese, Holger in Technical Report, A. Schürr, A. Zündorf (reds.) (2004). (Vol. 04-253) 27–30.

[ BibTeX ]

A Self-Optimizing Run-Time Architecture for Configurable Dependability of Services. Tichy, Matthias; Giese, Holger in Architecting Dependable Systems II, R. de Lemos, C. Gacek, A. Romanovsky (reds.) (2004). (Vol. 3069) 25–51.

[ BibTeX ]

Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite. Burmester, Sven; Giese, Holger; Hirsch, Martin; Schilling, Daniela (2004). 1–20.

[ BibTeX ]

Making Mechatronic Agents Resource-aware in order to Enable Safe Dynamic Resource Allocation. Burmester, Sven; Gehrke, Matthias; Giese, Holger; Oberthür, Simon B. Georgio (red.) (2004). 175–183.

[ BibTeX ]

Design of Self-Managing Dependable Systems with UML and Fault Tolerance Patterns. Tichy, Matthias; Schilling, Daniela; Giese, Holger (2004).

[ BibTeX ]

Partitioning and Modular Code Synthesis for Reconfigurable Mechatronic Software Components. Burmester, Sven; Giese, Holger; Gambuzza, Alfonso; Oberschelp, Oliver C. Bobeanu (red.) (2004). 66–73.

[ BibTeX ]

Modeling Reconfigurable Mechatronic Systems with Mechatronic UML. Burmester, Sven; Tichy, Matthias; Giese, Holger U. Aßmann (red.) (2004). 155–169.

[ BibTeX ]

Hybrid UML Components for the Correct Design of Self-optimizing Mechatronic Systems. Technical Report (tr-ri-03-246), Burmester, Sven; Giese, Holger; Oberschelp, Oliver (2004). 1–42.

[ BibTeX ]

Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. Giese, Holger; Burmester, Sven; Schäfer, Wilhelm; Oberschelp, Oliver (2004). 179–188.

[ BibTeX ]

Hybrid UML Components for the Design of Complex Self-optimizing Mechatronic Systems. Burmester, Sven; Giese, Holger; Oberschelp, Oliver H. Araujo, A. Vieira, J. Braz, B. Encarnacao, M. Carvalho (reds.) (2004). 222–229.

[ BibTeX ]

Towards the Compositional Verification of Real-Time UML Designs. Giese, Holger; Tichy, Matthias; Burmester, Sven; Schäfer, Wilhelm; Flake, Stephan (2003). 38–47.

[ BibTeX ]

A Plug-In for Flexible and Incremental Consistency Management. Wagner, Robert; Giese, Holger; Nickel, Ulrich in Technical Report (2003).

[ BibTeX ]

Code Generation for Hard Real-time Systems from Real-time Statecharts. Technical Report (tr-ri-03-244), Burmester, Sven; Giese, Holger; Schäfer, Wilhelm (2003). 1–15.

[ BibTeX ]

The Fujaba Real-Time Statechart PlugIn. Burmester, Sven; Giese, Holger in Technical Report, H. Giese, A. Zündorf (reds.) (2003). (Vol. 04-247) 1–8.

[ BibTeX ]

A Formal Calculus for the Compositional Pattern-Based Design of Correct Real-Time Systems.. Technical Report (tr-ri-03-240), Giese, Holger (2003).

[ BibTeX ]

Towards the Compositional Verification of Real-Time UML Designs. Technical Report (tr-ri-03-241), Giese, Holger; Schilling, D.; Tichy, Matthias; Burmester, Sven; Schäfer, Wilhelm; Flake, S. (2003). 1–47.

[ BibTeX ]

Seamless UML Support for Service-based Software Architectures. Tichy, Matthias; Giese, Holger in Lecture Notes in Computer Science (LNCS), N. Guelfi, E. Artesiano, G. Reggio (reds.) (2003). (Vol. 2952) 128–138.

[ BibTeX ]

Real-Time Statechart Semantics. Technical Report (tr-ri-03-239), Giese, Holger; Burmester, Sven (2003). 1–32.

[ BibTeX ]

Towards the Incremental Model Checking of Complex RealTime UML Models. Hirsch, Martin; Giese, Holger in Technical Report, H. Giese, A. Zündorf (reds.) (2003). (Vol. 04-247) 9–12.

[ BibTeX ]

Towards Service-Based Flexible Production Control Systems and their Modular Modeling and Simulation. Giese, Holger; Nickel, Ulrich A. in Lecture Notes in Informatics (LNI) (2002). (Vol. P5)

[ BibTeX ]