Der Kongress bietet mit Keynotes, Fachvorträgen, Ausstellungsbereich, Tutorials und Workshops umfassende Möglichkeiten der Weiterbildung und des Networkings im Bereich Software.

Wenn Sie keine Zeit zum Besuch des Vortrags haben, finden Sie demnächst eine Zusammenfassung in diesem Blog bzw. auf unserer Homepage.

Nähere Informationen auf www.software-quality-days.com

For the Credits
idea: Alexander Horn, Kevin Barwich
implementation: Kevin Barwich
Music: Louis Armstrong, Pink Panther, Kevin Barwich

To complete the confusion: the property tab also has been named “Behavior”

The property dialog has been changed between EA 8.0 and EA 9.0, the issue has remain. Summary If you want that EA considers your code during code generation please note:

• for class operations use “Initial Code:” input window for manual coding
• for class operations use “Behavior” window for linking it to a behavior only
• for state operations use “Behavior” window only for everything

If you want to understand the reason behind that, see below for explanation:

By the way, the AMUSE 2.0 (coming soon) provides a number of really helpful validation rules, e.g. in that case AMUSE warns the user  about the code will be ignored by the code generation

Is there any logic at all in that? Yes it is logically and the reason is the definition of behaviors and operations in UML. So what is the relation between behaviors and operations and how EA does support that concept? Per definition a classifier (e.g Class) may have operations and behaviors:

• An operation = method declaration - like method declaration in C++ header files
• A behavior = method definition – like method definition in C++ cpp files EA supports 4 behavior-types : state machine, activity, interaction (e.g. sequence) and rule flow.

That means you have two ways for definition of the operation behavior (implementation):

• using “Initial Code:” input window for manual coding (like method definition in header files C++)
• using “Behavior” window to link it to a dedicated behavior via button “Element” in EA 9.0 or “…” in EA 8.0

BUT a State within a state machine may also have operations (entry, exit, do)! For that reason EA provides the same dialog for behavior definition of state operations. What about that? The same rules? It would be too easy Because (it’s my guess) a state is an integral part of a behavior, the “Initial Code” window is useless in the dialog. => Whatever you want to do, use “Behavior” input window for definition of state operations.

BR RB

At that place I’d like to say a big thank you to Walter van der Heiden who allowed me to reuse some slides from his impressive presentation I enjoyed some times on the development conferences .

Please find here a video that demonstrates our solution for the Keil environment and ARM RTOS

Couple weeks ago we presented our solution for embedded development at the embedded world Conference 2011 for the first time . Today I’m at the Electronics Fair Exhibition in the Hong Kong Exhibition and Convention Center and present the solution in Asia market. The most of the local development companies need more time to realize the demand for Model Driven Design and Development (MDD) than the European companies, but there is mind change on the way, in particular in the embedded world. The embedded market is one of most competitive and the companies are under pressure to decrease time-to-market. The MDD one of the essential instruments for arriving that target and that what we present to our potential customers here.

How ever me and my colleagues from Sparx Systems Australia we created a new video that demonstrates the usage of the embedded tool kit including Enterpise Architect, AMUSE, Willert Tools and Keil IDE. I like it and would like to share it with you, please enjoy!

And here the same staff as flash video with higher quality:

It’s a kind of “Hello World” for multiple machines, simplest possible example
Two state machines fires triggers to each other: Ping fires ping trigger and receives pong trigger and pong works another way around.

1. Download XMI
2. Create an empty Enterprise Architect project
3. Import XMI
4. Open ping and pong state machine diagrams
5. Add both to AMUSE simulation window
6. Start pong first then ping
7. if initial ping wasn’t caught, fire first trigger manually via trigger menu
8. watch the ping/pong counters

I would like to share the brief feature-comparison between Enterprise Architect enhanced by AMUSE and Rhapsody. The comparison is based on the public available information:
http://www-01.ibm.com/software/rational/products/rhapsody/sysarchitect/ and
http://www-01.ibm.com/software/rational/products/rhapsody/developer/

EA/AMUSE vs. Rhapsody Architect/Designer for Systems Engineers

EA/AMUSE vs. Rational Rhapsody Developer

If you can handle Japanese have a nice read!

http://www.lieberlieber.com/amuse/help/

This is pretty nice because our customers have instant access to the “latest” Help file. It should take roughly 4 minutes after commit – until the changes are reflected on the webpage.

If you want to see specific content you can use “direct” links like: http://www.lieberlieber.com/amuse/help/index.htm#page=My_first_statemachine_in_5_minutes.htm

Praktikum: Simulation von UML Modellen
Integration des Framework qp in die Simulationsumgebung
AMUSE der Fa. LieberLieber

Das Entwicklen komplexer Systeme ist zeitaufwendig und fehleranfällig. Eine gute Planung (Modellierung) kann helfen die Komplexität in den Griff zu bekommen. Durch Simulation der erstellten Modelle kann eine Validierung der Logik des zu entwickelnden Systems sichergestellt werden.

Die Firma LieberLieber hat für das Modellierungswerkzeug Enterpreis Architect von Sparx Systems ein Plug-in (AMUSE) entwickelt um UML Zustandsautomaten zu simulieren. Jeder UML konforme Zustandsautomat kann ausgeführt werden und das Laufzeitverhalten (aktive Zustände und Zustandsübergänge) werden in Enterprise Architect visualisiert. Zusätzlich können beliebige externe Bibliotheken eingebunden werden. Damit können externe Stimuli (Events) erzeugt werden, auf die der Zustandsautomat reagiert, bzw. Aktionen (Operationen) externer Bibliotheken aufgerufen werden. Damit können externe Systeme gesteuert, bzw. das Verhalten des Zustandsautomaten durch alternative GUI-Mocks visualisiert werden.

Die Simulation basiert auf generiertem C# Code. Dieser Code wird aus dem Zustandsautomaten generiert, ausgeführt und im Enterprise Architect visualisiert. Detailliertere Informationen zu AMUSE finden Sie hier:

Das Framework qp (http://www.state-machine.com/) bietet einen umfassenden Rahmen für die Entwicklung ereignisgetriebener Softwaresysteme in C/C++. Dabei müssen lediglich Zustände und Zustandsübergänge (Zustandsautomaten) codiert werden. Das Framework übernimmt anschließend die Ausführung.

Aufgabe des Praktikums ist es, die Codegenerierung von AMUSE an das Framework qp anzupassen. Zustandsautomaten werden im Enterprise Architect modelliert, bei der Simulation wird qp Code generiert und ausgeführt. Der generierte Code kann anschließend direkt in Embedded Systems verwendet werden.

Voraussetzungen:

· UML Kenntnisse

· C/C++ Kenntnisse

· qp Kenntnisse (erwünscht, nicht vorausgesetzt!)

Lernziel des Praktikums:

· Tiefes Verständnis von ereignisorientiertem Programmieren

· Vertiefende Einblicke in das Thema Simulation von UML

· Praktisches Arbeiten mit dem Framework qp und Enterprise Architect

Bei Interesse melden Sie sich bitte bei: daniel.siegl@lieberlieber.com

LieberLieber AMUSE 1.5 – Released – Simulating Statemachines with Enterprise Architect 8

An Overview of AMUSE

Register now:
To register you interest for this webinar please email us with your name, company, telephone number and email address along with the title of the webinar you wish to register for. We’ll then send you login details for the webinar on the week prior to the event. Register your interest here.

Unavailable on the day?
As before for those of you unable to attend any of our webinars, don’t worry, all of our webinars are available for download from the Dunstan Thomas site.

.

The flight booking process
The user of an online travel agency calls the appropriate website and enters his flight details on that page.  Then a search for possible flights, hotels and events taking place during the stay starts, which calls different web services. The Results are then finally displayed on the site.

This simple process is modeled in the following activity diagram:

Mock-up GUI

This GUI is used to feed the simulation with the user data and to present the results of a search to the user.

Web Services
To illustrate this process, the following Web Services are needed. However, this Web Services are only implemented to some extent.  The level of the implementation is quite sufficient for the demonstration purpose of this example:

EventService: Implements the method EventList, which displays all available events at a given time. In this example, every time the same events are described. It is enough for the demo.

[WebMethod]

public string EventList()

{

return “International film festival \n Rock konzerte  \n Music festival”;

}

FlightService: Implements the method FlightInfo, which displays the flights available from one location to another at a given time.

[WebMethod]

public string FlightInfo(string from, string to, DateTime departureDate,DateTime returnDate)

{

return from.ToUpper() + “–” + to.ToUpper() + ” HG8010 ” + departureDate + ” 08:15 \n” +to.ToUpper()+”-”+from.ToUpper()+” HG8011 “+returnDate+” 11:55 \n —————————————————– \n Rate:200€”;

}

HotelService: The method HotelInfo displays all available hotels during the stay

[WebMethod]

public string HotelInfo()

{

return ” Grand Hotel(4 Stars) \n Rate per night 59€”;

}

InputValidationService:  The method ValidateInputData should check the data entered by the users to their validity. For demonstration purposes I have implemented the method in a way that it in one case it returns “true” and in another case it returns”false”.

[WebMethod]

public bool ValidateInputData(string from, string to, bool oneWay, bool returnFlight, DateTime departureDate, DateTime returnDate, string numAdult,string numChildren,string numInfant)

{

if (from.Equals(to))

return false;

else

return true;

}

I added this web services to the Simulation, all external dlls. In order to pursue a more detailed and systematic approach, see Simons post .

The flight booking process modeled as a state machine

Demo
You can download the entire sample and try it yourself during the video.

Play Video

Download video: AMUSE web service orchestration

Wir freuen uns, dass SparxSystems LieberLieber AMUSE geprüft hat uns in die 3rd Party Tool Liste aufgenommen hat! (und das sowohl auf der australischen als auch auf der deutschen Seite).

Details – SparxSystems Europe

Somit ein weiterer Meilenstein in der LieberLieber AMUSE Erfolgsgeschichte!