Puppets skateboard yang merupakan perusahaan bergerak dalam bidang penjualan dan aksesoris masih menggunakan sistem manual. Sehingga, membutuhkan berbasis website untuk meningkatkan promosi serta penjualan. Sistem diolah didalam yaitu transaksi penjualan, pengelolaan data barang, pelanggan laporan Perancangan system ini UML (Unified Modeling Language). Sedangkan pemrograman digunakan php myadmi...

Das werkzeuggestützte Validieren von in der Unified Modeling Language (UML) spezifizierten Modellen ist zu einem wichtigen Forschungszweig in der modellgetriebenen Softwareentwicklung geworden. Durch eine frühzeitige Validierung sollen Designfehler bereits zu Beginn des Entwicklungsprozesses aufgedeckt werden, um spätere aufwändige Korrekturen zu vermeiden. Herkömmliche Werkzeuge in diesem Kont...

---------------------------------------------------------------------***--------------------------------------------------------------------Abstract Entity Relationship modeling is the process of coming up with an abstract and conceptual representation of data. Entity Relationship diagrams ultimately model the databases. Entity Relationship model is generally better in relationship name and par...

The paper proposes a methodology for evaluation of specification language functionality characteristics. It describes background of the proposed methodology, discusses the methodology in detail, and shortly describes experimental results obtained using the proposed methodology to evaluate the functionality of Z and UML languages.

ArchiTRIO [14] is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, including realtime constraints. In this paper we present the semantics of the core concepts of the ArchiTRIO language. As the core elements of ArchiTRIO coincide with those of UML 2.0 (operation, interface, port, ...

Assessing numerous models from students in written exams or homework is an exhausting task. We present an approach for a fair and transparent assessment of the completeness of models according to a natural language domain description. The assessment is based on checklists generated by the tool Sumoχ. Sumoχ directly works on an annotated version of the original exam text, so no ‘gold standard’ i...

The Unified Modeling Language (UML) is a language for the specification, visualization, and documentation of object-oriented software systems [The Unified Modeling Language User Guide, 1998]. However, UML cannot describe in an explicit manner the mobility requirements needed for modeling mobile agent-based software systems. In this paper, we present M-UML, our proposed extension to UML covering...

In Vorlesungen diente es bisher ier Veranschaulichung der Object Constraint Language OCL. Den Studierenden wird es zur Verfügung gestellt, um Übungsaufgaben zu bearbeiten und gefundene Lösungen zu überprüfen. Durch eine bereits integrierte Visualisierung von OCL-Ausdrücken als Baumstruktur, in der Unterausdrücke bis hin zur Belegung der einzelnen Literale dargestellt werden, bietet das Werkzeug...

This document presents the Modelica Modeling Language (ModelicaML) a UML Profile for Modelica. The purpose of the ModelicaML is to enable an efficient and effective way to create, read or understand, and maintain Modelica models. ModelicaML is defined as a graphical notation and facilitates different views (composition, inheritance, behavior) on Modelica models. It is based on a subset of the O...