scholarly journals Pragmatic reuse for DSML development

2020 ◽  
Author(s):  
Stefan Klikovits ◽  
Didier Buchs
Keyword(s):  
Operational Semantics ◽  
Reactive Systems ◽  
Lessons Learned ◽  
Hybrid Automata ◽  
Domain Experts ◽  
Domain Specific ◽  
Sound Simulation ◽  
Architecture Description ◽  
Description Languages

Abstract By bridging the semantic gap, domain-specific language (DSLs) serve an important role in the conquest to allow domain experts to model their systems themselves. In this publication we present a case study of the development of the Continuous REactive SysTems language (CREST), a DSL for hybrid systems modeling. The language focuses on the representation of continuous resource flows such as water, electricity, light or heat. Our methodology follows a very pragmatic approach, combining the syntactic and semantic principles of well-known modeling means such as hybrid automata, data-flow languages and architecture description languages into a coherent language. The borrowed aspects have been carefully combined and formalised in a well-defined operational semantics. The DSL provides two concrete syntaxes: CREST diagrams, a graphical language that is easily understandable and serves as a model basis, and , an internal DSL implementation that supports rapid prototyping—both are geared towards usability and clarity. We present the DSL’s semantics, which thoroughly connect the various language concerns into an executable formalism that enables sound simulation and formal verification in , and discuss the lessons learned throughout the project.

A New Integration Framework for Modeling and Optimizing Systems in Preliminary Design Phase

2012 ◽  
Author(s):  
Jad Matar ◽  
Raphael Chenouard ◽  
Alain Bernard
Keyword(s):  
Optimization Problems ◽  
Constraint Satisfaction Problem ◽  
System Engineering ◽  
Design Parameters ◽  
Integration Framework ◽  
Domain Specific ◽  
Variability Modeling ◽  
Wide Range ◽  
Architecture Description ◽  
Description Languages

In this paper we propose a new integration framework model for simplifying the feasible space exploration and product optimization in early design phases. Hence, modeling and optimizing tasks are core activities in this framework. Currently, system engineering problems are modeled and optimized using a wide range of domain-specific languages. One should not duplicate these languages by creating a new system engineering language capable of modeling and optimizing every aspect of a system. Thus we combine the UML2 language and the formalism of Constraint Optimization Problems (COPs). UML2 is a visual modeling language, which provides a set of diagrams and constructs for modeling the major aspects of a product. In order to optimize design parameters, we reformulate some of this modeling knowledge into a COP. A COP may be defined as a regular constraint satisfaction problem (CSP) augmented with a set of objective functions. Thus the optimization problem to be solved is stated declaratively with acausal constraints. Then, COP solvers are based on generic solving algorithms computing a set of optimal solutions. In this paper, generic concepts integrating variability modeling concepts and based on architecture description languages are introduced. We also briefly describe transformation strategy using ATL language to perform a bidirectional mapping between UML2 constructs and the corresponding COP models.

scholarly journals Architecture Description Language – Systematic Literature Review: دراسة استقصائية حول لغات توصيف معمارية البرمجيات

2019 ◽  
Vol 3 (4) ◽  
Author(s):  
Tahani Elfatih Babeker, Hany Ammar
Keyword(s):  
Software Engineering ◽  
Literature Review ◽  
Software Architecture ◽  
Systematic Literature Review ◽  
General Purpose ◽  
Domain Specific ◽  
Architecture Description Languages ◽  
Architecture Description ◽  
Description Languages ◽  
High Level

  increase numbers and complexity of software development requires that learners of software engineering and software architecture or software architects who do not have sufficient practical experience must have the skills and abilities to perform their jobs. But there is a gap between academia and practical so the question why does not use one of the architecture description languages in teaching and learn software engineering and software architecture to fill this gap? The objective of this study to classification ADLs according to their domain, domain specific or general purpose languages, doing these systematic literature review flowing the steps from Ketchenham. As the result we find that most ADLs are Domain Specific ADLs (Aviation Systems, Distribution Systems, Mobile Systems, Product Lines …etc. ) none of these ADLs is used in the field of software architecture education, but most intended to deal with experts in the field, except general purpose ADLs, like ACME, which we make as start point to design Arabic ADL, so as to enrich Arabic content, also to be as helping language in teaching Software Architecture course, because most of ADLs need experience and high level of understanding to use, moreover, when student think and design with same language subject more understandable. So using software architecture description languages in educating purpose, help on understanding high level of abstraction of software architecture and software engineering courses, there are some studies that aimed to reduce the complexity of these courses using different methodologies and approaches, but none of them using architecture description languages as helping tool. So the use of architecture description languages is helpful in teaching software architecture and software engineering courses.  

An Analysis of Description Logic Augmented with Domain Rules for the Development of Product Models

2010 ◽  
Vol 10 (2) ◽  
Author(s):  
Xenia Fiorentini ◽  
Sudarsan Rachuri ◽  
Hyowon Suh ◽  
Jaehyun Lee ◽  
Ram D. Sriram
Keyword(s):  
Knowledge Representation ◽  
Description Logic ◽  
Product Modeling ◽  
Rule Engine ◽  
Domain Experts ◽  
Domain Specific ◽  
Product Models ◽  
Structured Knowledge ◽  
Electromechanical Product

The languages and logical formalisms developed by information scientists and logicians concentrate on the theory of languages and logical theorem proving. These languages, when used by domain experts to represent their domain of discourse, most often have issues related to the level of expressiveness and need specific extensions. In this paper, we first analyze the requirements for the development of structured knowledge representation models for manufacturing products. We then explore how these requirements can be satisfied through the levels of logical formalisms and expressivity of a structured knowledge representation model. We report our analysis of description logic (DL) and domain-specific rules with respect to the requirements by giving an example of a product ontology developed with ontology web language-description logic (OWL) and augmented with semantic web rule language (SWRL) rules. Clearly, increasing the expressivity of a product ontology also improves that of domain-specific rules, but there exits the usual tradeoff between the expressivity of languages and the complexity of their reasoning tasks. We present a case study of an electromechanical product to validate the analysis and further show how the OWL-DL reasoner together with the rule engine can enable reasoning about the product ontology. We finally discuss the open issues such as capabilities and limitations related to the usage of DL, OWL, and SWRL for product modeling.

scholarly journals From DCOM interfaces to domain-specific modeling language: A case study on the sequencer

2011 ◽  
Vol 8 (2) ◽  
pp. 361-378 ◽  
Author(s):  
Tomaz Kos ◽  
Tomaz Kosar ◽  
Jure Knez ◽  
Marjan Mernik
Keyword(s):  
Software Development ◽  
Measurement System ◽  
Modeling Language ◽  
Domain Experts ◽  
Measurement Systems ◽  
Domain Specific ◽  
Programming Library ◽  
Domain Specific Modeling ◽  
Specific Modeling

Software development is a demanding process, since it involves different parties to perform a desired task. The same case applies to the development of measurement systems - measurement system producers often provide interfaces to their products, after which the customers? programming engineers use them to build software according to the instructions and requirements of domain experts from the field of data acquisition. Until recently, the customers of the measurement system DEWESoft were building measuring applications, using prefabricated DCOM objects. However, a significant amount of interaction between customers? programming engineers and measurement system producers is necessary to use DCOM objects. Therefore, a domain-specific modeling language has been developed to enable domain experts to program or model their own measurement procedures without interacting with programming engineers. In this paper, experiences gained during the shift from using the DEWESoft product as a programming library to domain-specific modeling language are provided together with the details of a Sequencer, a domain-specific modeling language for the construction of measurement procedures.

Architecture Description Languages Taxonomies Review

2021 ◽  
Vol 12 (1) ◽  
pp. 53-74
Author(s):  
Fateh Boutekkouk
Keyword(s):  
Embedded Systems ◽  
Research Work ◽  
Model Systems ◽  
Distributed Embedded Systems ◽  
Systems Architecture ◽  
Domain Specific ◽  
Architecture Description Languages ◽  
Architecture Description ◽  
Description Languages ◽  
Self Adaptive

Self-adaptive distributed embedded systems can automatically adjust their behavior and/or structure at run time to respond to some predictable or unpredictable events. On the other hand, architecture description languages (ADLs) are qualified to be a convenient solution to model systems architecture as a set of components with well-defined interfaces and links. ADLs have been well-studied and applied in many engineering areas beyond the software and hardware engineering. This research work reviews the most relevant ADLs taxonomies and surveys from 2000 till now, selects the most suitable ADLs for self-adaptive embedded systems, and compares between standard and non-standard ADLs based on some key criteria. To do this, a search methodology was followed enabling a systematic review. Results showed that only a few standard ADL have been accepted by the embedded industry favoring domain-specific ADLs with a proved support of adaptivity, real time, energy consumption and security.

scholarly journals INCEPTION OF HARMONISING DATA SILOS AND URBAN SIMULATION TOOLS USING 3D CITY MODELS FOR SUSTAINABLE MANAGEMENT OF THE URBAN FOOD WATER AND ENERGY RESOURCES

2021 ◽  
Vol VIII-4/W1-2021 ◽  
pp. 81-88
Author(s):  
R. Padsala ◽  
E. Gebetsroither-Geringer ◽  
J. Peters-Anders ◽  
V. Coors
Keyword(s):  
New York ◽  
Action Plan ◽  
The United States ◽  
Rapid Expansion ◽  
Domain Experts ◽  
Simulation Tools ◽  
Domain Specific ◽  
Energy Domain ◽  
Tools And Techniques

Abstract. This paper explains the first insights into the ongoing development of a CityGML based Food Water Energy Application Domain Extension (FWE ADE). Cities are undergoing rapid expansion throughout the globe. As a result, they face a common challenge to provide food, water and energy (FWE) supplies under healthy and economically productive conditions. Consequently, new tools and techniques must be developed to support decision-makers, such as governments, public or private infrastructure providers, investors and city developers, to understand, quantify and visualise multiple interdependent impacts for the sustainable supply of the FWE resources. However, a common practice amongst these stakeholders is to work in their data silos, which frequently results in a lack of data integration and communication between domain specific simulation tools belonging to different infrastructure departments. As a result, insights related to critical indicators showing inter-dependency amongst different urban infrastructure are missed and hence, not included in the cities’ redevelopment action plan. This paper documents the first ongoing attempt by an international group of domain experts from food, water, energy, urban design and geoinformatics to harmonise the data silos of food, water and energy domain for the case study regions of the County of Ludwigsburg in Germany, the city of Vienna in Austria and the neighbourhood of Gowanus in New York, the United States of America.

Faculty Development: A Stage Model Matched to Blended Learning Maturation

2011 ◽  
Vol 15 (1) ◽  
Author(s):  
Michael L. Fetters ◽  
Tova Garcia Duby
Keyword(s):  
Faculty Development ◽  
Blended Learning ◽  
Lessons Learned ◽  
Technology Enhanced Learning ◽  
Stage Model ◽  
Years Of Experience ◽  
Development Programs ◽  
Curriculum Innovation ◽  
Enhanced Learning

Faculty development programs are critical to the implementation and support of curriculum innovation. In this case study, the authors present lessons learned from ten years of experience in faculty development programs created to support innovation in technology enhanced learning. Stages of curriculum innovation are matched to stages of faculty development, and important lessons for success as well as current challenges are delineated and discussed.

Radical Subject Acceleration for Gifted Students: One School's Response

2019 ◽  
pp. 29-46
Author(s):  
Kaye Chalwell ◽  
Therese Cumming
Keyword(s):  
Gifted And Talented ◽  
Gifted Students ◽  
Subject Area ◽  
Lessons Learned ◽  
Gifted Student ◽  
Learning Needs ◽  
Mathematically Gifted ◽  
Support Students ◽  
Insight Into

Radical subject acceleration, or moving students through a subject area faster than is typical, including skipping grades, is a widely accepted approach to support students who are gifted and talented. This is done in order to match the student’s cognitive level and learning needs. This case study explored radical subject acceleration for gifted students by focusing on one school’s response to the learning needs of a ten year old mathematically gifted student. It provides insight into the challenges, accommodations and approach to radical subject acceleration in an Australian school. It explored the processes and decisions made to ensure that a gifted student’s learning needs were met and identified salient issues for radical subject acceleration. Lessons learned from this case study may be helpful for schools considering radical acceleration.

Sign in / Sign up

Export Citation Format

Share Document