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
This paper demonstrates a systematic approach to modelling and designing KBSs in a purely object-oriented fashion through the use of profile mechanism. The profile is constructed using compliant standards of modelling software systems by adopting the XMF
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.
Visual Paradigm, with products Visual Paradigm for UML (VP-UML), Smart Development Environment (SDE) and DB Visual Architect (DB-VA), is a world-recognized company in UML modeling and CASE tool technologies. VP-UML is a UML modeling tool that supports UML 2.1 with the most intuitive and innovative visual modeling user interface. SDE is a division of VP-UML that is fully-integrated into leading IDEs, including Eclipse and Visual Studio, to provide sophisticated code model synchronization capabilities. DB-VA is a single, easy-to-use object-relational mapping (ORM) environment which acts as a bridge between object model, data model and relational model.
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..