Development of a Modeling Language for Capability Driven Development: Experiences from Meta-modeling

2016 ◽  
pp. 396-403 ◽  
Author(s):  
Janis Stirna ◽  
Jelena Zdravkovic
Keyword(s):  
Modeling Language ◽  
Meta Modeling

Evaluating Conceptual Coherence in Multi-Modeling Techniques

2011 ◽  
pp. 43-62
Author(s):  
Bart-Jan Hommes
Keyword(s):  
Quantitative Evaluation ◽  
Modeling Language ◽  
Modeling Languages ◽  
Conceptual Coherence ◽  
Meta Model ◽  
Modeling Methods ◽  
Methods And Techniques ◽  
Modeling Techniques ◽  
Meta Modeling ◽  
Evaluation Of Methods

Meta-modeling is a well-known approach for capturing modeling methods and techniques. A meta-model can serve as a basis for quantitative evaluation of methods and techniques. By means of a number of formal metrics based on the meta-model, a quantitative evaluation of methods and techniques becomes possible. Existing meta-modeling languages and measurement schemes do not allow the explicit modeling of so-called multi-modeling techniques. Multi-modeling techniques are techniques that offer a coherent set of aspect modeling techniques to model different aspects of a certain phenomenon. As a consequence, existing approaches lack metrics to quantitatively assess aspects that are particular to multi-modeling techniques. In this chapter, a modeling language for modeling multi-modeling techniques is proposed as well as metrics for evaluating the coherent set of aspect modeling techniques that constitute the multi-modeling technique.

Adaptive Software based on Correct-by-Construction Metamodels

2013 ◽  
pp. 308-325 ◽  
Author(s):  
Franck Barbier ◽  
Pierre Castéran ◽  
Eric Cariou ◽  
Olivier le Goaer
Keyword(s):  
Modeling Language ◽  
Formal Proofs ◽  
High Confidence ◽  
The Core ◽  
Significant Research ◽  
The Status ◽  
Meta Modeling ◽  
Computing Environments ◽  
Inductive Types

Despite significant research efforts in the last decade, UML has not reached the status of being a high-confidence modeling language. This is due to unsound foundations that result from the insufficiently formal structuring of metamodels that define the MOF/UML Infrastructure. Nowadays, UML-related metamodels are implemented in computing environments (e.g., EMF) to play the role of metadata when one seeks adaptation at runtime. To properly instrument metamodel-based adaptation, this chapter re-formalizes the core of the MOF/UML Infrastructure along with giving formal proofs that avoid ambiguities, contradictions, or redundancies. A (meta-)class creation mechanism (either by instantiation or inheritance) is based on inductive types taken from the constructive logic. Inherent proofs based on the Coq automated prover are also provided. This chapter’s contribution is aligned with a previously established metamodeling framework named “Matters of (meta-)modeling.”

A Formal EXPRESS-to-OWL Mapping Algorithm

2009 ◽  
Vol 419-420 ◽  
pp. 689-692 ◽  
Author(s):  
Wen Lin Pan
Keyword(s):  
Semantic Web ◽  
Manufacturing Industry ◽  
Product Information ◽  
Modeling Language ◽  
Model Data ◽  
Product Model ◽  
Mapping Algorithm ◽  
Meta Modeling ◽  
Modeling Theory ◽  
Product Data Modeling

Network-based collaborative product development has become a trend in manufacturing industry, which depends on two key information technology: the Semantic Web and the standard for the exchange of product model data (STEP). EXPRESS is the STEP product data modeling language, and OWL is the standard ontology representing language used in the Semantic Web. Only when the EXPRESS models are converted to OWL models, product information can be exchanged at the Web. The ontology meta-modeling theory was employed to analysis the ontology definition metamodel of EXPRESS and OWL, in order to build up the mapping relationship between them. A formal EXPRESS-to-OWL mapping algorithm is then proposed, represented by abstract syntax.

Business Service Modeling for the Service-Oriented Enterprise

2012 ◽  
Vol 3 (1) ◽  
pp. 1-22 ◽  
Author(s):  
Jeewanie Jayasinghe Arachchige ◽  
Hans Weigand ◽  
Manfred Jeusfeld
Keyword(s):  
Process Models ◽  
Modeling Language ◽  
Business Service ◽  
Enterprise Information ◽  
Service Oriented Architectures ◽  
Analysis And Design ◽  
New Business ◽  
Service Oriented ◽  
Meta Modeling ◽  
Service Modeling

Service-oriented architectures are the upcoming business standard for realizing enterprise information systems, thus creating a need for analysis and design methods that are truly service-oriented. Most research on this topic so far takes a strict software engineering perspective. For a proper alignment between the business and the IT, a service perspective at the business level is needed as well. Using an MDA approach, this paper introduces a new business service and resource modeling language – BSRM, based on the REA business ontology. Coordination services are identified as boundary objects between the conceptual and operational level. A meta-modeling approach is used to map the service modeling language with complimentary models, in particular value network (e3value), data model (ER) and process models (BPMN).

An Integrated Framework to Simulate SysML Models Using DEVS Simulators

2013 ◽  
pp. 305-332
Author(s):  
G.-D. Kapos ◽  
V. Dalakas ◽  
M. Nikolaidou ◽  
D. Anagnostopoulos
Keyword(s):  
System Development ◽  
System Simulation ◽  
Simulation Models ◽  
System Model ◽  
Modeling Language ◽  
Development Life Cycle ◽  
Engineering Activity ◽  
Meta Modeling ◽  
Open Standards ◽  
Models Validation

System models validation is an important engineering activity of the system development life-cycle, usually performed via simulation. However, usability and effectiveness of many validation approaches are hindered by the fact that system simulation is not performed using a system model described by a standardized modeling language as SysML. This requires system simulation models to be recreated from scratch, burdening the engineer and introducing inconsistencies between system and validation models. In this chapter, the authors present how system engineers may effectively perform SysML system model validation utilizing the original SysML model and standards-based simulated related extensions. This is achieved by a framework that exploits MDA concepts and techniques, such as profiling, meta-modeling, and formal transformations. This way an open, standards-based, customizable approach for SysML models validation using DEVS simulators is formed. A simple battle system is used as an example throughout the chapter to facilitate the presentation of the proposed approach.

scholarly journals Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach

2010 ◽  
Vol 1 (4) ◽  
pp. 24-47 ◽  
Author(s):  
Mira Balaban ◽  
Azzam Maraee ◽  
Arnon Sturm
Keyword(s):  
Model Transformation ◽  
Ontology Engineering ◽  
Modeling Language ◽  
Class Diagram ◽  
Modeling Tools ◽  
Modeling Effort ◽  
Uml Modeling ◽  
Meta Modeling ◽  
Class Diagrams ◽  
Software Construction

UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone for any modeling effort. Class diagrams are widely used for purposes such as software specification, database and ontology engineering, meta-modeling, and model transformation. The central role played by class diagrams emphasizes the need for strengthening UML modeling tools with features such as recognition of erroneous models and the detection of errors’ sources. Correctness of UML class diagrams refers to the capability of a diagram to denote a finite but not empty reality. This is a natural, unquestionable requirement. Nevertheless, incorrect diagrams are often designed, due to the interaction of contradicting constraints and the limitations of current tools. In this paper, the authors clarify the notion of class diagram correctness, discuss various approaches for detecting correctness problems, and propose a pattern-based approach for identifying situations in which correctness problems occur, and for providing explanations and repair advices.

scholarly journals SP2MN: a Software Process Meta-Modeling Language

2015 ◽  
Vol 10 (7) ◽  
pp. 726
Author(s):  
Hisham Khdair ◽  
Zulaiha Ali Othman
Keyword(s):  
Software Process ◽  
Modeling Language ◽  
Meta Modeling

Perancangan dan Pembuatan Aplikasi Pendeteksi Kesalahan Penempelan Barcode pada Kemasan Produk Menggunakan Sistem Arduino Uno dan Sistem Komputasi (Studi Kasus PT. Duta Nichirindo Pratama)

2020 ◽  
Vol 5 (1) ◽  
pp. 78
Author(s):  
Ade Sumaedi ◽  
Makhsun Makhsun ◽  
Achmad Hindasyah
Keyword(s):  
Unified Modeling Language ◽  
Database Design ◽  
Black Box ◽  
Design System ◽  
Modeling Language ◽  
Unified Modeling ◽  
Uml Diagrams ◽  
Arduino Uno ◽  
Menu Design ◽  
A Company

PT. Duta Nichirindo Pratama is a company engaged in the field of Autoparts Manufacture. Barcode is the identity of an item / product on the package. Barcode technology has been used as the identity of goods in a production. Barcodes are used to facilitate the identification of goods produced. Paste the barcode on the packaging of packaging results at PT. Duta Nichirindo Pratama is done manually, but there are often errors attached to the barcode on a similar packaging. This research will design and create a system based on Visual Basic.Net and Arduino to select barcode attachment errors that have the potential to be sent to consumers. The system is designed using Unified Modeling Language (UML) diagrams, database design and interface menu design. The system created will then be tested to detect the black box test. With a computing-based design system that functions to detect barcodes on the packaging automatically, the problem of sticking barcodes on the packaging can be detected.

Prototype Aplikasi Pengolahan Data Pegawai Di PT.Medikon Prima Laboratories

Sensi Journal ◽  
2020 ◽  
Vol 6 (1) ◽  
pp. 60-72
Author(s):  
Ade Setiade ◽  
Luthfia Fauzia ◽  
Iwan Hermawan
Keyword(s):  
Unified Modeling Language ◽  
Modeling Language ◽  
Unified Modeling

PT.Medikon prima laboratories didirikan pada tahun 1980, hingga sekarang. PT.Medikon mengalami perkembangan yang sangat pesat. Jenis produk yang dihasilkan mencakup produk farmasi , OT (obat tradisional), suplemen dan kosmetik. PT.Medikon Prima Laboratories telah mengimpor produk ke seluruh wilayah indonesia.Yang beralamat di Jl. Raya Serang No. 23, Bitung Jaya, Cikupa, Kabupaten Tangerang. Untuk memudahkan pengolahan data para pegawai, inputan data Cuti dan Absensi maupun izin sakit dibutuhkan suatu perangkat lunak yang nantinya dapat melakukan pengolahan data ,berdasarkan permasalahan tersebut maka perlu di lakukan analisis sehinnga nantinya dapat diperoleh hasil dan kebutuhankebutuhan yang diperlukan untuk perangkat /system yang akan di bangun. Analisis dilakukan dengan melakukan cara menganalisis kebutuhan, pengguna dan fasilitas yang diperlukan oleh perangkat lunak yang di bangun benar-benar bermanfaat.berdasarkan hasil analisis permasalahan yang dilakukan sebelumnya, maka dapat rancangan suatu sistem perangkat lunak dengan melakukan analisis data menggunakan beberapa metode antara lain : wawancara dan observasi maupun studi pustaka, dengan menggunakan software UML (Unified Modeling Language).berdasarkan hasil analisis tersebut maka penulis melakukan penelitian dan mengambil judul yang berkaitan dengan "Prototype Aplikasi Pengolahan Data Pegawai Di PT.Medikon Prima Laboratories".yang dapat membantu dan memudahkan dalam melakukan pengolahan data pegawai dan dapat menampilkan informasi akurat yang di butuhkan oleh pengguna di PT.Medikon prima laboratories.

Sign in / Sign up

Export Citation Format

Share Document