In diesem Buch werden alle relevanten modernen Standards der Geschäftsprozessanalyse und -modellierung miteinander verbunden und ihre praktische Handhabung dargestellt.
Kern des Buches ist eine Geschäftsprozess-Methodik, die die verschiedenen Standards in praxisrelevanter und harmonischer Weise verbindet. Sie erfahren, welche Standards es gibt, wofür und wie diese eingesetzt werden können und welche Möglichkeiten aber auch möglichen Einschränkungen in der Praxis damit verbunden sind. Basis sind die BPMN (Business Process Modeling Notation), OSM (...), BMM (...), SBVR (..) und UML (...) - wobei diese Standards zielgerichtet nur soweit behandelt werden, wie es für die Auseinandersetzung mit Geschäftsprozessen notwendig ist.
Sie erfahren wie Strategien, Geschäftsregeln und Geschäftsprozesse dargestellt werden können und welche Strukturierungsmöglichkeiten es für Unternehmensarchitekten es gibt.
Das Buch richtet sich an Business-Analysten, Prozessdesigner, Betriebsorganisatoren und verwandte Rollen.
a6fw is a Java framework for the rapid development of a rich GUI web client and/or rich GUI windows client, OLTP type applications using Model Driven Architecture (MDA) and declarative principles. It consists of modular pluggable application layers (UI, n
Papyrus is a dedicated tool for modelling within UML2. This open source tool is based on the Eclipse environment.
Key features:
* Eclipse UML2 compliance
* Full respect of the UML2 standard as defined by the OMG
* Full respect of the DI2 (Diagram Interchange ) standard
* Extendable architecture of Papyrus that allows users to add new diagrams, new code generators, etc.
* Profile development support facilities for UML2 profiles
* Nested profiles support
P. Carpenter. Ada Lett., XIX (3):
23--29(1999)ST: Vorgehensweise: Das Paper ordnet den Vorgang, wie man sicherheitskritische Anforderungen verifizieren kann, in einen Software Life-Cycle ein. Use-Cases werden mit Parametern für Daten versehen. Die Eingabedaten werden mit Hilfe eines Tools generiert per üblicher Ä-Klassenanalyse.
Eignung: Es ist nichts über die Testgüte zu finden (Abdeckungskriterium etc.). Außerdem wird kein Testmodell o.ä. erwähnt, welches alternative Ausführungspfade des Use Cases repräsentiert..
B. Hasling, H. Goetz, and K. Beetz. Software Testing, Verification, and Validation, 2008 1st International Conference on, (April 2008)ST: Vorgehensweise:
In diesem Paper wird eine Testtechnik für den Systemtest beschrieben, die von Siemens im medizinischen Bereich angewendet wurde. Aus einem Use Case Modell, dessen Szenarien durch Aktivitätsdiagramme und Sequenzdiagramme beschrieben werden und Äquivalenzklassen für die erforderlichen Testdaten, können Testfälle generiert werden. Dazu wird das Tool TDE/UML benutzt, welche in vorhergehenden Ansätzen entwickelt wurde. Neu an dieser Technik zu den vorher entwickelten Techniken ist die Verbindung des Requirements-Prozesses mit dem Testprozess durch die Benutzung von Use-Cases, die schon im RE erstellt werden.
Eignung:
Vom Prinzip her ist die Vorgehensweise vergleichbar mit der Idee in ScenTEDTDG, da auf den gleichen Modellen gearbeitet wird und Äquivalenzklassen für die Testdatengewinnung herangezogen werden. Variabilität fehlt, da es ein Einzelsystemansatz ist..
M. Chen, X. Qiu, W. Xu, L. Wang, J. Zhao, and X. Li. The Computer Journal, (2007)MR: Der Ansatz ist ein Gray-Box-Ansatz, obwohl es auf Modellen basiert, muss das Programm selbst auch ausgeführt werden um bestimmte Eingaben für das Verfahren zu liefern.
Die Generierung von Testdaten ist kaum automatisiert.
Für IST-SPL interessant wegen den Formalismen für Aktivitätsdiagramme..