FMDesign: A Tool and Interchange Format for Product Concept Designs

2005 ◽  
Author(s):  
Olof Johansson ◽  
Petter Krus
Keyword(s):  
Systems Engineering ◽  
Unified Modeling Language ◽  
Product Concept ◽  
Unified Modeling ◽  
Model Driven ◽  
Product Models ◽  
Implementation Techniques ◽  
Concept Evaluation ◽  
Uml Class Diagram ◽  
Interchange Format

This paper presents a formalized approach to design product models in the product concept evaluation phases, and exchange the models with other engineering tools using open formats like XML and relational database tables. FMDesign is used for designing product concepts with the aid of integrated stakeholder trees, requirement trees, function-means trees, product concept trees, and implementation trees. It has its foundation in systems engineering and design methodology, and presents a formalization and integration with theory from software engineering that enable similar engineering tools to be implemented with automated model driven software implementation techniques that support the Unified Modeling Language (UML). The paper provides an overview of the theory behind the tool, its user interface, interchange formats and the formal software specification as an UML class diagram.

scholarly journals Problems and Perspectives of Code Generation from UML Class Diagram

2011 ◽  
Vol 44 (1) ◽  
pp. 75-84 ◽  
Author(s):  
Janis Sejans ◽  
Oksana Nikiforova
Keyword(s):  
Programming Language ◽  
Code Generation ◽  
Unified Modeling Language ◽  
Experimental Models ◽  
Class Diagram ◽  
Code Generator ◽  
Unified Modeling ◽  
Model Driven ◽  
Technological Diversity ◽  
Uml Class Diagram

Problems and Perspectives of Code Generation from UML Class Diagram As a result of increasing technological diversity, more attention is being focused on model driven architecture (MDA), and its standard - Unified Modeling Language (UML). UML class diagrams require correct diagram notation mapping to target programming language syntax under the framework of MDA. Currently there are plenty of CASE tools which claim that they are able to generate the source code from UML models. Therefore by combining the knowledge of a programming language, syntax rules and UML class diagram notation semantic, an experimental model for stressing the code generator can be produced, thus allowing comparison of quality of the transformation result. This paper describes a creation of such experimental models.

Heavyweight extension to the UML class diagram metamodel for modeling context aware systems in ubiquitous computing

2017 ◽  
Vol 13 (3) ◽  
pp. 238-251 ◽  
Author(s):  
Haider Boudjemline ◽  
Mohamed Touahria ◽  
Abdelhak Boubetra ◽  
Hamza Kaabeche
Keyword(s):  
Fundamental Problem ◽  
Unified Modeling Language ◽  
Class Diagram ◽  
Context Aware ◽  
User Interactions ◽  
Content Type ◽  
Unified Modeling ◽  
Development Processes ◽  
Uml Class Diagram

Purpose The development of context-aware applications in ubiquitous environments depends not only on the user interactions but also on several context parameters. The handling of these parameters is a fundamental problem in these systems. The key purpose of this work is to enrich the unified modeling language (UML) class diagram with new constructs to provide a universal model capable of coping with the context-awareness concerns. Design/methodology/approach The authors provide a review of existing context handling approaches. Afterward, they relied on the UML extensibility mechanisms to propose a heavyweight extension for the UML class diagram. This generic approach allows describing the different context parameters since the modeling phase. Findings Existing solutions for context handling apply the contextual constraints on finished applications or tend to be dependent on a specific development process. This paper presents a solution based on UML, which allows dealing with context since the modeling phase, and independently of development processes. This proposal is implemented as an eclipse editor and illustrated through a case study in the healthcare field. Originality/value This paper addresses the problem of context handling, and it presents a review of the foremost existing solutions. The paper also presents a heavyweight extension for the UML class diagram, which consists in enriching it with additional constructs, capable of monitoring how applications are linked to context parameters and how the values of these parameters may affect the application behavior.

MODEL AND VERIFICATION OF WS-CDL BASED ON UML DIAGRAMS

2010 ◽  
Vol 20 (08) ◽  
pp. 1119-1149 ◽  
Author(s):  
PENGCHENG ZHANG ◽  
HENRY MUCCINI ◽  
YUELONG ZHU ◽  
BIXIN LI
Keyword(s):  
Unified Modeling Language ◽  
State Machine ◽  
Underlying Structure ◽  
Unified Modeling ◽  
Industry Standard ◽  
Modeling Analysis ◽  
Uml Class Diagram ◽  
Uml Diagrams ◽  
Uml Sequence Diagram ◽  
State Machine Diagram

The Web Services Choreography Description Language (WS-CDL) is a specification developed by the W3C and can be viewed as a blueprint for the development of end-point services. Consequently, it is worth providing a systematic approach for its modeling, analysis and verification. The Unified Modeling Language (UML) is an industry standard for modeling. Applying UML to model WS-CDL is obviously a promising solution to bring together academics and practitioners through a unique standard language. In this paper, we propose to use different UML diagrams to model WS-CDL. UML Component Diagram is used to model the underlying structure of WS-CDL. UML Sequence Diagram is utilized to model the activities in WS-CDL. UML State Machine Diagram is utilized to model the behaviors of each role participating in a WS-CDL specification. We then enrich the UML State Machine Diagram with data by the use of UML Class Diagram. Given the UML specification of WS-CDL, we then provide a systematic way of formally analyzing and verifying WS-CDL against desired properties. Some experiments show that our approach can verify structural, behavioral and data properties in a middle-scale data-enriched WS-CDL specification.

scholarly journals Διαδικασία ανάπτυξης βιομηχανικών εφαρμογών ελέγχου και εργαλείο υποστήριξής της

2006 ◽  
Author(s):  
Χρήστος Τρανώρης
Keyword(s):  
Unified Modeling Language ◽  
International Electrotechnical Commission ◽  
Object Constraint Language ◽  
Unified Modeling ◽  
Model Driven ◽  
Function Block ◽  
Uml Profiles ◽  
Constraint Language ◽  
Function Blocks ◽  
Meta Modeling

Η αναβάθμιση της διαδικασίας ανάπτυξης εφαρμογών λογισμικού που αφορούν τον έλεγχο βιομηχανικών συστημάτων, είναι ένα θέμα που απασχολεί για δεκαετίες του μηχανικούς ελέγχου αλλά και τους μηχανικούς λογισμικού. Κατά την ανάπτυξη των βιομηχανικών εφαρμογών, οι μηχανικοί καλούνται να ικανοποιήσουν πληθώρα απαιτήσεων μεταξύ των οποίων: συμβατότητα με το υπάρχον εγκατεστημένο υλικό, συμβατότητα με τις ήδη εγκατεστημένες παλαιότερες εφαρμογές και επαναχρησιμοποίηση τμημάτων λογισμικού. Για τους παραπάνω λόγους, αναζητούνται συνεχώς λύσεις οι οποίες: θα προσφέρουν μια περισσότερο φιλική προς το μηχανικό ελέγχου διαδικασία ανάπτυξης η οποία θα υποστηρίζει επεκτασιμότητα των εφαρμογών, θα διευκολύνει την επαναχρησιμοποίηση τμημάτων του λογισμικού, θα ενισχύει την συντήρηση του λογισμικού και θα είναι ανεξάρτητη από το υλικό εκτέλεσης των βιομηχανικών συστημάτων. Η International Electrotechnical Commission (IEC) για να αντιμετωπίσει τις απαιτήσεις των σύγχρονων συστημάτων δημιούργησε το πρότυπο IEC61499 το οποίο έρχεται να επεκτείνει το Function Block του IEC61131. Το IEC61499, καθορίζει μια μεθοδολογία σχεδιασμού, όπου το Function Block είναι το βασικό δομικό συστατικό για την ανάπτυξη διαλειτουργικών κατανεμημένων εφαρμογών αυτοματισμού και ελέγχου. Οι εφαρμογές ελέγχου μπορούν να υλοποιηθούν από Function Block δίκτυα διασυνδέοντας τις εισόδους και εξόδους τους. Το IEC61499 προτείνει επίσης τον σχεδιασμό εργαλείων λογισμικού για την υποστήριξη (εν μέρει αυτοματοποίηση) της διαδικασίας ανάπτυξης. Στην παρούσα διατριβή, παρουσιάζεται μια νέα προσέγγιση για τον σχεδιασμό κατανεμημένων βιομηχανικών εφαρμογών και πιο συγκεκριμένα Συστημάτων Μέτρησης και Ελέγχου Βιομηχανικών Διεργασιών1 (IPMCSs) όπως τα ορίζει το πρότυπο IEC. Η προσέγγιση εστιάζει στον ορισμό μιας μεθοδολογίας για την φάση της ανάλυσης και κύρια την τεκμηρίωση των απαιτήσεων και τον μετέπειτα μετασχηματισμό του μοντέλου ανάλυσης σε μοντέλο σχεδιασμού. Η προτεινόμενη προσέγγιση βασίζεται σε κατάλληλα οριζόμενες έννοιες και τεχνικές και αξιοποιεί τελευταίες τάσεις από το χώρο της Μηχανιστικής Λογισμικού (Software Engineering), όπως είναι η έννοια της μετα-μοντελοποίησης (Meta-modeling) όπως αυτή ορίζεται στα πλαίσια της βασισμένης σε μοντέλα ανάπτυξης (Model Driven Development) και της Unified Modeling Language (UML) και των επεκτάσεων της (UML Profiles) και εφαρμογή αυτών στο σχεδιασμό βιομηχανικών εφαρμογών. Για την ομαλή μετάβαση από τις καταγεγραμμένες απαιτήσεις σε μοντέλα σχεδιασμού τεκμηριώθηκε και παρουσιάζεται ένα σύνολο κανόνων μετασχηματισμού το οποίο περιγράφηκε αυστηρά με χρήση της Object Constraint Language. Για να αξιοποιηθεί η προτεινόμενη προσέγγιση από μηχανικούς ελέγχου, σχεδιάστηκε και υλοποιήθηκε ένα εργαλείο λογισμικού συμβατό με το πρότυπο IEC61499. Το εργαλείο που έχει το όνομα CORFU ESS έρχεται να υποστηρίξει: α) την φάση της ανάλυσης, β) τον μετασχηματισμό του μοντέλου ανάλυσης σε μοντέλο σχεδιασμού, γ) τον σχεδιασμό εφαρμογών με Function Blocks όπως ορίζει το IEC61499, δ) την κατανομή των Function Block στις συσκευές των βιομηχανικών δικτύων και ε) τον έλεγχο των τελικών Function Block δικτύων. Η προσέγγιση εφαρμόσθηκε σε μελέτες περίπτωσης για να επιδείξει την εφαρμοσιμότητα της προτεινόμενης διαδικασίας, την αποτελεσματικότητα του εργαλείου που αναπτύχθηκε και την δυνατότητα της διαδικασίας και του εργαλείου να καλύψουν απαιτήσεις μικρής ή μεγάλης κλίμακας εφαρμογών.

Design and Representation of Multidimensional Models with UML and XML Technologies

2005 ◽  
pp. 50-95
Author(s):  
Juan Trujillo ◽  
Sergio Lujan-Mora ◽  
Il-Yeol Song
Keyword(s):  
Unified Modeling Language ◽  
Xml Schema ◽  
Commercial Application ◽  
Conceptual Level ◽  
Unified Modeling ◽  
Extensible Markup ◽  
Uml Class Diagram ◽  
Analytical Processing ◽  
Multidimensional Models ◽  
Xml Technologies

Data warehouses (DW), multidimensional databases (MDB), and OnLine Analytical Processing (OLAP) applications are based on the Multidimensional (MD) modeling. Most of these applications provide their own MD models to represent main MD properties, thereby making the design totally dependent of the target commercial application. In this chapter, we present how the Unified Modeling Language (UML) can be successfully used to abstract the representation of MD properties at the conceptual level. Then, from this conceptual model, we generate its corresponding implementation into any market OLAP tool. In our approach, the structure of the system is specified by means of a UML class diagram that considers main properties of MD modeling. If the system to be modeled is too complex, we describe how to use the package grouping mechanism provided by the UML to simplify the final model. To facilitate the interchange of conceptual MD models, we provide an eXtensible Markup Language (XML) Schema which allows us to represent the same MD modeling properties that can be considered by using our approach. From this XML Schema, we can directly generate valid XML documents that represent MD models at the conceptual level. Finally, we provide different presentations of the MD models by means of eXtensible Stylesheet Language Transformations (XSLT).

From MARTE to Reconfigurable NoCs

2010 ◽  
pp. 135-157
Author(s):  
Imran Rafiq Quadri ◽  
Majdi Elhaji ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
Model Driven ◽  
Abstraction Level ◽  
Management Group ◽  
High Level Modeling ◽  
High Level ◽  
Abstraction Levels

Due to the continuous exponential rise in SoC’s design complexity, there is a critical need to find new seamless methodologies and tools to handle the SoC co-design aspects. We address this issue and propose a novel SoC co-design methodology based on Model Driven Engineering and the MARTE (Modeling and Analysis of Real-Time and Embedded Systems) standard proposed by Object Management Group, to raise the design abstraction levels. Extensions of this standard have enabled us to move from high level specifications to execution platforms such as reconfigurable FPGAs. In this chapter, we present a high level modeling approach that targets modern Network on Chips systems. The overall objective: to perform system modeling at a high abstraction level expressed in Unified Modeling Language (UML); and afterwards, transform these high level models into detailed enriched lower level models in order to automatically generate the necessary code for final FPGA synthesis.

The Established of Language Training Service Standard System Based on System Engineering

2014 ◽  
Vol 971-973 ◽  
pp. 2671-2676
Author(s):  
Su Li Hao ◽  
Ge Bai
Keyword(s):  
Language Learning ◽  
Systems Engineering ◽  
Rapid Development ◽  
Unified Modeling Language ◽  
Standard System ◽  
Language Training ◽  
Unified Modeling ◽  
Market Operation ◽  
Training Services ◽  
Training Service

With the rapid development of economic globalization, communication between government and civil has become more frequent. Language is an effective tool to promote international communication. Language learning has become more important, so it stimulates the progress of language training market. However the training industry still exist many problems, such as the market operation is not standardized, and the training services quality is low. And it is very important to develop standards to normative. Furthermore the standard system is the foundation for developing standards. Applying the theory of systems engineering and unified modeling language (UML), the paper established language training services standard system by extracting vocabulary, initial class diagram and grouping the classes, based on the analysis of interdependent body.

scholarly journals Adapted Rules for UML Modelling of Geospatial Information for Model-Driven Implementation as OWL Ontologies

2019 ◽  
Vol 8 (9) ◽  
pp. 365 ◽  
Author(s):  
Jetlund ◽  
Onstein ◽  
Huang
Keyword(s):  
Spatial Information ◽  
Unified Modeling Language ◽  
Transport Systems ◽  
Geospatial Information ◽  
Unified Modeling ◽  
Model Driven ◽  
Open World ◽  
Ontology Language ◽  
Data Files ◽  
Open World Assumption

This study aims to improve the implementation of models of geospatial information in Web Ontology Language (OWL). Large amounts of geospatial information are maintained in Geographic Information Systems (GIS) based on models according to the Unified Modeling Language (UML) and standards from ISO/TC 211 and the Open Geospatial Consortium (OGC). Sharing models and geospatial information in the Semantic Web will increase the usability and value of models and information, as well as enable linking with spatial and non-spatial information from other domains. Methods for conversion from UML to OWL for basic concepts used in models of geospatial information have been studied and evaluated. Primary conversion challenges have been identified with specific attention to whether adapted rules for UML modelling could contribute to improved conversions. Results indicated that restrictions related to abstract classes, unions, compositions and code lists in UML are challenging in the Open World Assumption (OWA) on which OWL is based. Two conversion challenges are addressed by adding more semantics to UML models: global properties and reuse of external concepts. The proposed solution is formalized in a UML profile supported by rules and recommendations and demonstrated with a UML model based on the Intelligent Transport Systems (ITS) standard ISO 14825 Geographic Data Files (GDF). The scope of the resulting ontology will determine to what degree the restrictions shall be maintained in OWL, and different conversion methods are needed for different scopes.

Applying UML for Designing Multidimensional Databases and OLAP Applications

2011 ◽  
pp. 13-36 ◽  
Author(s):  
Juan Trujillo ◽  
Sergio Lujan-Mora ◽  
Il-Yeol Song
Keyword(s):  
Data Warehouse ◽  
Dynamic Properties ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Unified Modeling ◽  
Multidimensional Databases ◽  
On Line ◽  
Uml Class Diagram ◽  
Analytical Processing ◽  
Number Of Classes

Multidimensional (MD) modeling is the basis for Data warehouses (DW), multidimensional databases (MDB), and On-Line Analytical Processing (OLAP) applications. In this chapter, we present how the Unified Modeling Language (UML) can be successfully used to represent both structural and dynamic properties of these systems at the conceptual level. The structure of the system is specified by means of a UML class diagram that considers the main properties of MD modeling with minimal use of constraints and extensions of the UML. If the system to be modeled is too complex, thereby leading us to a considerable number of classes and relationships, we sketch out how to use the package grouping mechanism provided by the UML to simplify the final model. Furthermore, we provide a UML-compliant class notation (called cube class) to represent OLAP initial user requirements. We also describe how we can use the UML state and interaction diagrams to model the behavior of a data warehouse system. We believe that our innovative approach provides a theoretical foundation for simplifying the conceptual design of multidimensional systems, and our examples illustrate the use of our approach.

Sign in / Sign up

Export Citation Format

Share Document