Search results for "Modeling language"
showing 10 items of 82 documents
Designing the Didactic Strategy Modeling Language (DSML) From PoN: An Activity Oriented EML Proposal
2018
[EN] This paper presents the design of the didactic strategy modeling language (DSML) according to the principles of Physics of Notations (PoN). The DSML is a visual and activity-oriented language for learning design characterized by the representation of different activities according to the nature of the task. Once the language is designed, a blind interpretation study is conducted to validate the semantic transparency of the learning activity iconography. The results of the paper allow to refine the icons. In addition to this, an authoring tool for DSML, which is integrated to an LMS, is presented. As a result, a model driven course was designed as a DSML pre-validation.
Scatter Search and Local NLP Solvers: A Multistart Framework for Global Optimization
2007
The algorithm described here, called OptQuest/NLP or OQNLP, is a heuristic designed to find global optima for pure and mixed integer nonlinear problems with many constraints and variables, where all problem functions are differentiable with respect to the continuous variables. It uses OptQuest, a commercial implementation of scatter search developed by OptTek Systems, Inc., to provide starting points for any gradient-based local solver for nonlinear programming (NLP) problems. This solver seeks a local solution from a subset of these points, holding discrete variables fixed. The procedure is motivated by our desire to combine the superior accuracy and feasibility-seeking behavior of gradie…
A Multistart Scatter Search Heuristic for Smooth NLP and MINLP Problems
2005
The algorithm described here, called OptQuest/NLP or OQNLP, is a heuristic designed to find global optima for pure and mixed integer nonlinear problems with many constraints and variables, where all problem functions are differentiable with respect to the continuous variables. It uses OptQuest, a commercial implementation of scatter search developed by OptTek Systems, Inc., to provide starting points for a gradient-based local NLP solver. This solver seeks a local solution from a subset of these points, holding discrete variables fixed. The procedure is motivated by our desire to combine the superior accuracy and feasibility-seeking behavior of gradient-based local NLP solvers with the glob…
UML-Based Metamodeling for Information System Engineering and Evolution
2003
In modelers’ practice metamodels have become the core of UML-based metamodeling environments: metamodels form the basis of application domain descriptions, and they are instantiated into models. In the context of information system engineering and interoperability, we have developped two operations on metamodels: metamodel integration and measure of semantical distance between metamodels. In this paper, we explore application of these operations to information systems’ evolution.
Concept of Client-Server Environment for Agent-Based Modeling and Simulation of Living Systems
2015
In the paper a concept for integrated and simple-to-use agent-based modeling and simulation environment is presented. The modeling environment allows simulating massive agent-based systems. Modeling environment itself is not domain specific, but it is expandable and allows creating domain-specific models. Hierarchical environment structure is supported. Individual agents could evolve by its individual path and pace. We use the General Living Systems theory as a reference model to check whether proposed modeling and simulation environment may also be used to describe models of living systems that are most complex systems around. The main concepts of proposed modeling environment such as agen…
Author Index
2007
In the framework of function points associated to OO-method conceptual models (OOmFP), measuring the functional size of an information system in a precise and automatic way starting from its conceptual model is today a reality. The industrial application of the OO-Method modelling tools has resulted in their evolution, incorporating support for new functional elements. The present work shows the measurement rules associated to the new functional elements supported by OO-Method conceptual models, applying these rules in tools that generate executable code from OO-Method conceptual models. Finally, a comparative analysis is performed over OO-Method models of real systems. The comparative anal…
UML design and AWL programming for reconfigurable control software development of a robotic manipulator
2006
The goal of the presented research is to face the topic of reconfigurable control software development in a concrete fashion, i.e., by presenting a control software system development approach which has been used for a specific, although easy to be generalized, robotized manufacturing cell component. In particular, a methodology for the control software development of a planar robot (2-degrees of freedom) is presented, from the conceptual design to the actual implementation. The methodology suggests UAL and object-oriented modeling and programming techniques for the design phase, while AWL programming language run by a PLC for the implementation phase. The analysis has been conducted consid…
Graphical modeling and query language for hospitals
2013
Abstract Background So far there has been little evidence that implementation of the health information technologies (HIT) is leading to health care cost savings. One of the reasons for this lack of impact by the HIT likely lies in the complexity of the business process ownership in the hospitals. The goal of our research is to develop a business model-based method for hospital use which would allow doctors to retrieve directly the ad-hoc information from various hospital databases. Methods We have developed a special domain-specific process modelling language called the MedMod. Formally, we define the MedMod language as a profile on UML Class diagrams, but we also demonstrate it on example…
DEXML: A First Step Toward a UML Based Implementation Framework for PLCS
2011
Data exchange specifications not only must be broad and general to achieve acceptance, but also must be customizable in a controlled and interoperable manner to be useful. The Product Life Cycle Support (PLCS) suite of data exchange specifications (known as DEXs) uses templates to enable controlled customizability without sacrificing breadth or interoperability. DEXs are business context-specific subsets of ISO 10303 Application Protocol (AP) 239, subject to additional constraints imposed by the templates. A PLCS template defines how AP239 entities and their attributes will be instantiated using an externally-defined controlled vocabulary defined in a Reference Data Library. Template instan…
From Requirements to Code in a Model Driven Way
2010
Though there is a lot of support for model driven development the support for complete model driven path from requirements to code is limited. The approach proposed in this paper offers such a path which is fully supported by model transformations. The starting point is semiformal requirements containing behaviour description in a controlled natural language. A chain of models is proposed including analysis, platform independent and platform specific models. A particular architecture style is chosen by means of selecting a set of appropriate design patterns for these models. It is shown how to define informally and then implement in model transformation language MOLA the required transforma…