Filters








140 Hits in 0.84 sec

Statechart Modeling with Fujaba

Leif Geiger, Albert Zündorf
2005 Electronical Notes in Theoretical Computer Science  
This case study shows, how the more sophisticated language elements of Fujaba may be exploited in modeling complex aspects of the statechart environment.  ...  This covers abstract and concrete syntax, static and operational semantics, and model transformations.  ...  We show how the Fujaba approach may be used to build a modeling environment for simple statecharts.  ... 
doi:10.1016/j.entcs.2004.12.029 fatcat:bxmyi4nqk5h4pofehtkasyk7h4

Tool Modeling with Fujaba

Leif Geiger, Albert Zündorf
2006 Electronical Notes in Theoretical Computer Science  
This paper is a small tutorial on tool building with Fujaba.  ...  This case study shows, how the more sophisticated language elements of Fujaba may be exploited in modeling complex aspects of the desired CASE tool.  ...  Summary This paper outlined tool modeling with Fujaba with the help of a little case study about a simple statechart environment.  ... 
doi:10.1016/j.entcs.2005.12.017 fatcat:7tueur4pn5e67mwwfrkveh2jmq

Testing and Simulating Production Control Systems Using the Fujaba Environment [chapter]

Jörg Niere, Albert Zündorf
2000 Lecture Notes in Computer Science  
Statecharts can be used for the specification of reactive objects. In Fujaba, each diagram has a precise formal semantics and this enables to generate Java code from the specification.  ...  Fujaba, an overview Fujaba has been developed since 1998. Fujaba is planned as a round-trip and reverse engineering tools, that provides editors, code genrators and recognizers for all types of 1.  ...  Figure 2 shows a screen dump of Fujaba with the body of the go method of class Shuttle.  ... 
doi:10.1007/3-540-45104-8_37 fatcat:slpx45yfdzge7naax3rkizkraq

Using Actions Charts for Reactive Web Application Modeling [chapter]

Nina Geiger, Tobias George, Marcel Hahn, Ruben Jubeh, Albert Zündorf
2010 Lecture Notes in Computer Science  
To overcome these problems, we propose to use an extension of UML statecharts, called Action Charts, dedicated to the modeling of callbacks and listeners.  ...  All kinds of handlers are modeled in a common uniform statechart notation. States become actions or handlers. Transitions represent the flow of execution.  ...  Modeling with Fujaba The approach presented in this paper is implemented to extend and modify the existing statechart modeling capabilities of the Fujaba Tool Suite 2 .  ... 
doi:10.1007/978-3-642-16985-4_5 fatcat:eblvzin4kbekzaiv73kpo2n7pq

Integrating UML diagrams for production control systems

Hans J. Köhler, Ulrich Nickel, Jörg Niere, Albert Zündorf
2000 Proceedings of the 22nd international conference on Software engineering - ICSE '00  
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language.  ...  In addition, UML behavior diagrams usually model only example scenarios and do not describe all possible cases and possible exceptions.  ...  ACKNOWLEDGEMENTS The following people contributed substantially to this work with fruitful discussions, careful proof readings and a lot of suggestions: Prof. W. Schäfer, Dr. R. Heckel, J. Wadsack.  ... 
doi:10.1145/337180.337207 dblp:conf/icse/KohlerNNZ00 fatcat:hii37jf72bf3lodhblcmbe3o6i

Using Graph Transformation for Practical Model-Driven Software Engineering [chapter]

Lars Grunske, Leif Geiger, Albert Zündorf, Niels Van Eetvelde, Pieter Van Gorp, Dániel Varró
2005 Model-Driven Software Development  
Model transformations are one of the core technologies needed to apply OMG's model driven engineering concept for the construction of real world systems.  ...  Several formalisms are currently proposed for the specification of these model transformations. A suitable formalism is based on graph transformation systems and graph transformation rules.  ...  The statechart case study is used to show Fujabas abilities to model a visual language. Since the Fujaba approach uses typed graphs, one needs a graph schema to model graph transformations.  ... 
doi:10.1007/3-540-28554-7_5 fatcat:t4sc2cmeargp5dtogdjtvqbmuy

Nobody's perfect

Holger Giese, Stefan Henkler, Martin Hirsch, Florian Klein
2006 Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools - SCESM '06  
Scenario-based synthesis has been put forward as an approach to accelerate the transition from requirements to a correct, verified model.  ...  Verifying and correcting these components already represents a significant part of the development process both with respect to time and cost.  ...  Figure 3 depicts an example of such a statechart. The Fujaba CASE Tool 3 supports all of the modeling techniques [12] .  ... 
doi:10.1145/1138953.1138967 dblp:conf/scesm/GieseHHK06 fatcat:ms67zqqguvhfvadpkmxceuw4ny

Using Fujaba for the Development of Production Control Systems [chapter]

Jörg Niere, Albert Zündorf
2000 Lecture Notes in Computer Science  
In addition, such production agents have to coordinate their access to assembly lines with other competing agents.  ...  We show how the FUJABA environment may be used to specify production agents and generate their implementation and to validate them via a graphical simulation.  ...  This reactive behavior is well addressed using SDL and statecharts. Thus, Fujaba provides support for SDL and statecharts, too.  ... 
doi:10.1007/3-540-45104-8_13 fatcat:jqdxg63a3zdodaccqsavehvp5i

Applying a Model Transformation Taxonomy to Graph Transformation Technology

Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai
2006 Electronical Notes in Theoretical Computer Science  
A taxonomy of model transformations was introduced in [16].  ...  As a byproduct of our analysis, we discuss how well each of the considered tools carry out the activity of model transformation.  ...  The tools Fujaba and VIATRA, offer a powerful plug-in mechanism for extending the tool with new functionality.  ... 
doi:10.1016/j.entcs.2005.10.022 fatcat:hnm5pyvowvfovokzmplpcy4nee

Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite

Stefan Henkler, Joel Greenyer, Martin Hirsch, Wilhelm Schafer, Kahtan Alhawash, Tobias Eckardt, Christian Heinzemann, Renate Loffler, Andreas Seibel, Holger Giese
2009 2009 IEEE 31st International Conference on Software Engineering  
Based on a well-defined component architecture the tool supports the synthesis of so-called real-time statecharts from timed sequence diagrams.  ...  The two step synthesis process addresses the existing scalability problems by a proper decomposition and allows the user to define particular restrictions on the resulting statecharts.  ...  Our approach, called MECHATRONIC UML, which is implemented by the FUJABA Real-time Tool Suite, is based on specifying components by a refined UML 2.0 component model.  ... 
doi:10.1109/icse.2009.5070569 dblp:conf/icse/HenklerGHSAEHLSG09 fatcat:el47tjquyrbz5lduyx45ehkxke

Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests [chapter]

Leif Geiger, Albert Zündorf
2004 Lecture Notes in Computer Science  
Third, we generate a graph test with a left-hand side corresponding to the graph structure described as result in the story board.  ...  On test execution, this graph test validates whether the object structure resulting from the usecase execution matches the results modeled in the usecase scenario.  ...  They always have to start with a model of the Start situation, i.e. with a graph representing the initial object structure.  ... 
doi:10.1007/978-3-540-25959-6_5 fatcat:i7cedmqtyvhq5ll5sqal6jxwti

Story driven testing - SDT

Leif Geiger, Albert Zündorf
2005 Software engineering notes  
In our story driven modeling approach, the statechart synthesis is done manually. Many other approaches rely on human interaction, too.  ...  COVERAGE Fujaba has build-in support for the JCoverage tool to combine the JUnit tests with a code coverage analysis.  ...  The SCENT approach [7] derives statecharts from natural language scenarios. Test case generation is then done using path traversal within these statecharts.  ... 
doi:10.1145/1082983.1083186 fatcat:xiqv5we5tbbdloldxj74ijwve4

Story driven testing - SDT

Leif Geiger, Albert Zündorf
2005 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools - SCESM '05  
In our story driven modeling approach, the statechart synthesis is done manually. Many other approaches rely on human interaction, too.  ...  COVERAGE Fujaba has build-in support for the JCoverage tool to combine the JUnit tests with a code coverage analysis.  ...  The SCENT approach [7] derives statecharts from natural language scenarios. Test case generation is then done using path traversal within these statecharts.  ... 
doi:10.1145/1083183.1083186 fatcat:mlel7jaih5apxljx7tuvmrgkjy

An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems [chapter]

Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes
2004 Lecture Notes in Computer Science  
We show how our modelling approach is used for simulation facilities, code generation for programmable logic controllers, and maintenance purposes.  ...  This platform is the basis for the engineer's workstation and supports the described phases of our modelling approach. The release of FUJABA is available via: http://www.fujaba.de  ...  We developed a code generator for implementing statecharts on PLCs. The presented translation of statecharts is based on simple switch-case constructs in the programming language Structured Text.  ... 
doi:10.1007/978-3-540-27863-4_5 fatcat:cv2zatvv4fc7tbfarjcktrymra

Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View

Sven Burmester, Holger Giese, Stefan Henkler, Martin Hirsch, Matthias Tichy, Alfonso Gambuzza, Eckehard Munch, Henner Vocking
2007 Proceedings / International Conference of Software Engineering  
Acknowledgments We thank all students who helped building the FUJABA REAL-TIME TOOL SUITE within student research projects, master, and bachelor theses, namely Vadim Boiko, Margarete Kudak, Wladimir Pauls  ...  Our seamless approach is realized by the Fujaba Real-Time Tool Suite in combination with the CASE Tool CAMeL.  ...  The internals of a component are modeled with an extended version of UML State Machines.  ... 
doi:10.1109/icse.2007.88 dblp:conf/icse/BurmesterGHHTGMV07 fatcat:typqwgyrffeb3cxmtpypj4ille
« Previous Showing results 1 — 15 out of 140 results