A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Statechart Modeling with Fujaba
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2000
Proceedings of the 22nd international conference on Software engineering - ICSE '00
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2005
Model-Driven Software Development
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools - SCESM '06
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2009
2009 IEEE 31st International Conference on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2005
Software engineering notes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2005
Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools - SCESM '05
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings / International Conference of Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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