OPAS: Ontology Processing for Assisted Synthesis of Conceptual Design Solutions

2009 ◽  
Author(s):  
Franc¸ois Christophe ◽  
Raivo Sell ◽  
Alain Bernard ◽  
Eric Coatane´a
Keyword(s):  
Conceptual Design ◽  
Systems Engineering ◽  
System Modeling ◽  
Knowledge Bases ◽  
General Purpose ◽  
Synthesis Process ◽  
Modeling Language ◽  
Engineering System ◽  
Modeling Languages ◽  
Knowledge Representations

This article focuses on a key phase of the conceptual design, the synthesis of structural concepts of solution. Several authors have described this phase of Engineering Design. The Function-Behavior-Structure (FBS) is one of these models. This study is based on the combined use of a modified version of Gero’s FBS model and the latest developments of modeling languages for systems engineering. System Modeling Language (SysML) is a general-purpose graphical modeling language for specifying, analyzing, designing, and verifying complex systems. Our development shows how SysML types of diagrams match with our updated vision of the FBS model of conceptual design. The objective of this paper is to present the possibility to use artificial intelligence tools as members of the design team for supporting the synthesis process. The common point of expert systems developed during last decades for the synthesis of conceptual solutions is that their knowledge bases were application dependent. Latest research in the field of Ontology showed the possibility to build knowledge representations in a reusable and shareable manner. This allows the construction of knowledge representation for engineering in a more generic manner and dynamic mapping of the ontology layers. We present here how processing on ontology allows the synthesis of conceptual solutions.

sMML - A Smart MetaModeling Language for Flexible Modeling

2005 ◽  
Vol 17 (1) ◽  
pp. 3-10 ◽  
Author(s):  
Makoto Oya ◽  
Keyword(s):  
Systems Design ◽  
General Purpose ◽  
Modeling Language ◽  
Modeling Languages ◽  
Software Designers ◽  
Flexible Modeling ◽  
Software Models ◽  
Custom Made ◽  
Wide Range ◽  
Application Specific

Modeling is the key to software design, from large information systems to embedded software. Without well-considered software models, the developed implementation becomes inconsistent or distant from the original requirement. A model is created using a modeling language. UML is a standardized general-purpose modeling language widely used in enterprise systems design. Because it is very large language, UML is not always appropriate for designing small software. Designers also often want to describe models differently based on the immediate need preferring simple, application-specific but flexible notation rather than the rigidity of UML. We propose a metamodeling language, called <I>sMML</I>, to define custom-made modeling language that enables designers to define a suitable modeling language on demand, then write actual models using it. <I>sMML</I> is a metamodeling language small enough to define a variety of modeling languages, self-closed and independent of other modeling languages, and aligned with UML. After completely defining <I>sMML</I>, we present experimental results applying <I>sMML</I>, taking a simple modeling language and UML as examples, which demonstrates that <I>sMML</I> is useful for flexible modeling and capable of defining a wide range of modeling languages.

A SysML based hybrib photovoltaic-wind power system model

2017 ◽  
Vol 1 (2) ◽  
pp. 1
Author(s):  
Doudou Nanitamo Luta ◽  
Atanda K. Raji
Keyword(s):  
Power Systems ◽  
Power System ◽  
Wind Power ◽  
Systems Engineering ◽  
System Modeling ◽  
Point Of View ◽  
Modeling Language ◽  
Wind Power System ◽  
And Behavior ◽  
Model Based Systems Engineering

This paper presents a model of hybrid photovoltaic-wind power system based on SysML (System Modeling Language) which is a modeling language in supports to Model Based Systems Engineering (MBSE) practices. MBSE refers to a formalized procedure of systems development through the application of modeling principles, methods, languages and tools to the complete lifetime of a system.  Broadly speaking, the modeling of power systems is performed using software such as Matlab/Simulink, DigSilent, PowerWorld, ETAP, etc. These tools allow modeling considering a particular point of view depending on the objective that is to be assessed. SysML offers different aspects ranging from specifications and requirements, structure and behavior. This study focuses more specifically on the structural and behavioral modeling of hybrid photovoltaic-wind system; the main objective is to demonstrate the use of SysML in power systems’ modeling by developing models capturing the system’s major requirements, the structure and connection between entities, the interaction between stakeholders and the system itself and lastly, the system’s behavior in terms of transition between states.

Unified Modeling Language

2005 ◽  
pp. 2921-2928 ◽  
Author(s):  
Peter Fettke
Keyword(s):  
Systems Engineering ◽  
Subject Matter ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
General Purpose ◽  
Modeling Language ◽  
Unified Modeling ◽  
Object Oriented Systems

Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson, & Booch, 1998). Their effort led to the Unified Modeling Language (UML), a well-known, general-purpose, tool-supported, process-independent, and industry-standardized modeling language for visualizing, describing, specifying, and documenting systems artifacts. Table 1 depicts the origin and descent of UML.

Towards Dynamic Semantics for Synthesizing Interpreted DSMLs

2012 ◽  
pp. 242-269 ◽  
Author(s):  
Peter J. Clarke ◽  
Yali Wu ◽  
Andrew A. Allen ◽  
Frank Hernandez ◽  
Mark Allison ◽  
...  
Keyword(s):  
General Purpose ◽  
Synthesis Process ◽  
Modeling Language ◽  
Communication Structure ◽  
Communication Services ◽  
Domain Specific ◽  
Execution Engine ◽  
Application Problem ◽  
Domain Specific Modeling ◽  
Communication Needs

Domain-specific languages (DSLs) provide developers with the ability to describe applications using language elements that directly represent concepts in the application problem domains. Unlike general-purpose languages, domain concepts are embedded in the semantics of a DSL. In this chapter, the authors present an interpreted domain-specific modeling language (i-DSML) whose models are used to specify user-defined communication services, and support the users’ changing communication needs at runtime. These model changes are interpreted at runtime to produce events that are handled by the labeled transition system semantics of the i-DSML. Specifically, model changes are used to produce scripts that change the underlying communication structure. The script-producing process is called synthesis. The authors describe the semantics of the i-DSML called the Communication Modeling Language (CML) and its use in the runtime synthesis process, and briefly describe how the synthesis process is implemented in the Communication Virtual Machine (CVM), the execution engine for CML models.

A model-driven approach to enable the simulation of complex systems on distributed architectures

SIMULATION ◽  
2019 ◽  
Vol 95 (12) ◽  
pp. 1185-1211 ◽  
Author(s):  
Paolo Bocciarelli ◽  
Andrea D’Ambrogio ◽  
Alberto Falcone ◽  
Alfredo Garro ◽  
Andrea Giglio
Keyword(s):  
Modeling And Simulation ◽  
Systems Engineering ◽  
Distributed Simulation ◽  
System Modeling ◽  
Modeling Language ◽  
Design Development ◽  
Simulation Code ◽  
Model Driven ◽  
Final Code ◽  
High Level

The increasing complexity of modern systems makes their design, development, and operation extremely challenging and therefore new systems engineering and modeling and simulation (M&S) methods, techniques, and tools are emerging, also to benefit from distributed simulation environments. In this context, one of the most mature and popular standards for distributed simulation is the IEEE 1516-2010 - Standard for M&S high level architecture (HLA). However, building and maintaining distributed simulations components, based on the IEEE 1516-2010 standard, is still a challenging and effort-consuming task. To ease the development of full-fledged HLA-based simulations, the paper proposes the MONADS method (MOdel-driveN Architecture for Distributed Simulation), which relies on the model-driven systems engineering paradigm. The method takes as input system models specified in Systems Modeling Language, the reference modeling language in the systems engineering field, and produces as output the final code of the corresponding HLA-based distributed simulation through a chain of model-to-model and model-to-text transformations. The obtained simulation code is based on the HLA Development Kit software framework, which has been developed by the SMASH-Lab (System Modeling and Simulation Hub - Laboratory) of the University of Calabria (Italy), in cooperation with the Software, Robotics, and Simulation Division (ER) of NASA’s Lyndon B. Johnson Space Center (JSC) in Houston (TX, USA). The effectiveness of the method is shown through a case study that concerns a military patrol operation, in which a set of drones are engaged to patrol the border of a military area, in order to prevent both ground and flight attacks from entering the area.

Dynamic Simulation of Small Modular Reactors Using Modelica

2014 ◽  
Author(s):  
Lou Qualls ◽  
Richard Hale ◽  
Sacit Cetiner ◽  
David Fugate ◽  
John Batteh ◽  
...  
Keyword(s):  
Dynamic System ◽  
Open Source ◽  
Systems Engineering ◽  
Dynamic Models ◽  
System Modeling ◽  
Modeling Language ◽  
Source Modeling ◽  
Oak Ridge ◽  
Small Modular Reactors ◽  
Dynamic System Modeling

Small modular reactors (SMRs) offer potential for addressing the nation’s long-term energy needs. However, the project design cycle for new reactor concepts is lengthy. As part of the Department of Energy’s Advanced SMR research and development program, Oak Ridge National Laboratory (ORNL) is developing a Dynamic System Modeling Tool (MoDSIM) to facilitate rapid instrumentation and controls studies of SMR concepts. Traditional nuclear reactor design makes use of verified and validated codes to meet the strict quality assurance requirements of the licensing process for the Nuclear Regulatory Commission. However, there are significant engineering analyses and high-level decisions required prior to the rigorous design phase. These analyses typically do not require high-fidelity codes. Different organizations and researchers may examine various plant configuration options prior to formal design activities. Engineers and managers must continuously make down-selection decisions regarding potential reactor architectures and subsystems. Traditionally, the modeling of these complex systems has been based on legacy models. Considerable time and effort are necessary to understand and manipulate these legacy models. For trade-space studies, two developments in the model-based systems engineering space represent a significant advancement in the ability of engineering tools to meet these demands. The first is Modelica: a nonproprietary, equation-based, object-oriented modeling language for cyber-physical systems. The second is the Functional Mockup Interface: a standardized, open interface for model exchange, simulation, and deployment. ORNL’s MoDSIM tool makes use of these developments and is intended to provide a flexible and robust dynamic system-modeling environment for SMRs. This includes single or multiple reactors, perhaps sharing common resources, or producing both electricity and process heat for local consumption or feeding a regional grid. MoDSIM uses the open-source modeling language (Modelica) and incorporates a user interface, coupled dynamic models, and analysis capabilities that will enable non-expert modelers to perform sophisticated end-to-end system simulations of both neutronic and thermal-hydraulic models. This approach enables open-source and crowd-source-type collaborations for model development of SMRs in an approach similar to open-source and open-design techniques currently used for software production and complex system design. As part of the tool development, an example SMR was chosen (advanced liquid metal reactor [ALMR]) and the ALMR models developed and interface tools demonstrated. For initial verification purposes, the results from these Modelica simulations are compared with the results documented for the earlier ALMR power-reactor innovative small-module concept. These results, as well as initial demonstrations of the tool for different control strategies, are presented in this paper.

ArchME: A Systems Modeling Language extension for mechatronic system architecture modeling

2017 ◽  
Vol 32 (1) ◽  
pp. 75-91 ◽  
Author(s):  
Ruirui Chen ◽  
Yusheng Liu ◽  
Yue Cao ◽  
Jianjun Zhao ◽  
Lin Yuan ◽  
...  
Keyword(s):  
System Architecture ◽  
System Modeling ◽  
Modeling Language ◽  
Modeling Languages ◽  
Systems Modeling ◽  
Mechatronic System ◽  
Mechatronic Systems ◽  
Detail Design ◽  
Language Extension ◽  
Architecture Modeling

AbstractSystem architecture is important for the design of complex mechatronic systems because it acts as an intermediator between conceptual design and detail design. An explicit and exact system modeling language is imperative for successful architecture design. However, some deficiencies remain, such as the lack of geometry elements, hybrid behavior description, and specific association semantics for existing architecture modeling languages. In this study, a Systems Modeling Language extension for mechatronic system architecture modeling called ArchME is proposed. The requirements for the mechatronic System Modeling Language are analyzed, and the metamodels are defined. Then, the modeling elements are determined. Finally, the profiles based on the systems modeling language are defined to support the modeling of function, behavior, structure, and their association. This enables system designers to model the system architecture and facilitates communication between different stakeholders. A case study is provided to demonstrate the modeling capability of ArchME.

A multi-target compiler for CML-DEVS

SIMULATION ◽  
2018 ◽  
Vol 95 (1) ◽  
pp. 11-29 ◽  
Author(s):  
Maximiliano Cristiá ◽  
Diego A. Hollmann ◽  
Claudia Frydman
Keyword(s):  
Mathematical Model ◽  
System Modeling ◽  
Discrete Event ◽  
General Purpose ◽  
Modeling Language ◽  
System Specification ◽  
Input Language ◽  
Discrete Event System Specification ◽  
Event System ◽  
The Mathematical Model

Discrete Event System Specification (DEVS) is a modular and hierarchical formalism for system modeling and simulation. DEVS models can be mathematically described; simulation is performed by tools called concrete simulators. Concerning atomic DEVS models, each concrete simulator has its own input language which is, essentially, a general-purpose programming language (such as Java or C++). Hence, once engineers have written the mathematical model, they need to manually translate it into the input language of the concrete simulator of their choice. In this paper we present a multi-target compiler for atomic DEVS models written in CML-DEVS, a mathematics-based DEVS modeling language. This multi-target compiler is able to compile a CML-DEVS model to the input languages of the PowerDEVS and DEVS-Suite concrete simulators. In this way, the CML-DEVS compiler frees engineers from the manual translation of their mathematical models. In fact, the same mathematical model can be simulated on both simulators by simply recompiling the model. The CML-DEVS multi-target compiler can be easily extended to produce code for other concrete simulators.

Unified Modeling Language 2.0

2011 ◽  
pp. 3871-3879
Author(s):  
Peter Fettke
Keyword(s):  
Systems Engineering ◽  
Subject Matter ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
General Purpose ◽  
Modeling Language ◽  
Unified Modeling ◽  
Object Oriented Systems

Mature engineering disciplines are generally characterized by accepted methodical standards for describing all relevant artifacts of their subject matter. Such standards not only enable practitioners to collaborate, but they also contribute to the development of the whole discipline. In 1994, Grady Booch, Jim Rumbaugh, and Ivar Jacobson joined together to unify the plethora of existing object-oriented systems engineering approaches at semantic and notation level (Booch, 2002; Fowler, 2004; Rumbaugh, Jacobson & Booch, 1998). Their effort leads to the unified modeling language (UML), a well-known, general-purpose, tool-supported, processindependent, and industry-standardized modeling language for visualizing, describing, specifying, and documenting systems artifacts.

scholarly journals Towards Dynamic Semantics for Synthesizing Interpreted DSMLs

2014 ◽  
pp. 1439-1466
Author(s):  
Peter J. Clarke ◽  
Yali Wu ◽  
Andrew A. Allen ◽  
Frank Hernandez ◽  
Mark Allison ◽  
...  
Keyword(s):  
General Purpose ◽  
Synthesis Process ◽  
Modeling Language ◽  
Communication Structure ◽  
Communication Services ◽  
Domain Specific ◽  
Execution Engine ◽  
Application Problem ◽  
Domain Specific Modeling ◽  
Communication Needs

Domain-specific languages (DSLs) provide developers with the ability to describe applications using language elements that directly represent concepts in the application problem domains. Unlike general-purpose languages, domain concepts are embedded in the semantics of a DSL. In this chapter, the authors present an interpreted domain-specific modeling language (i-DSML) whose models are used to specify user-defined communication services, and support the users' changing communication needs at runtime. These model changes are interpreted at runtime to produce events that are handled by the labeled transition system semantics of the i-DSML. Specifically, model changes are used to produce scripts that change the underlying communication structure. The script-producing process is called synthesis. The authors describe the semantics of the i-DSML called the Communication Modeling Language (CML) and its use in the runtime synthesis process, and briefly describe how the synthesis process is implemented in the Communication Virtual Machine (CVM), the execution engine for CML models.

Sign in / Sign up

Export Citation Format

Share Document