1. Challenges and directions in formalizing the semantics of modeling languagesBarrett Richard Bryant, Jeffrey G. Gray, Marjan Mernik, Peter Clarke, Robert France, Gabor Karsai, 2011, izvirni znanstveni članek Opis: Developing software from models is a growing practice and there exist many model-based tools (e.g., editors, interpreters, debuggers, and simulators) forsupporting model-driven engineering. Even though these tools facilitate theautomation of software engineering tasks and activities, such tools are typically engineered manually. However, many of these tools have a common semantic foundation centered around an underlying modeling language, which would make it possible to automate their development if the modeling language specification were formalized. Even though there has been much work in formalizing programming languages, with many successful tools constructed using such formalisms, there has been little work in formalizing modeling languages for the purpose of automation. This paper discusses possible semantics-based approaches for the formalization of modeling languages and describes how this formalism may be used to automate the construction of modeling tools.
Ključne besede: model-based tools, modeling language, semantics
Objavljeno v DKUM: 06.07.2017; Ogledov: 1089; Prenosov: 378
 Celotno besedilo (568,31 KB)
Gradivo ima več datotek! Več... |
2. Modeling distributed real-time applications with specification PEARLRoman Gumzej, Shourong Lu, 2007, izvirni znanstveni članek Opis: The methodology of hardware/software co-design of embedded control systems with Specification PEARL is presented. Hardware and software are modeled with the language Specification PEARL, which has its origins in standard Multiprocessor PEARL. Its usefulness is enhanced for modeling hierarchical and asymmetrical multiprocessor systems, and by additional parameters for schedulability analysis. Graphical symbols are introduced for its constructs to enable graphical modeling while maintaining the semantical background. It is meant to be a superlayer for programs, based on the PEARL programming model. To model program tasks, Timed State Transition Diagrams have been defined. The model of a co-designed system is verified for feasibility with co-simulation. The resulting information should be used when considering changes in a current design with the goal of producing a temporally feasible model. To support dynamic re-configurations, configuration management is introduced into the models. Since UML is becoming a de facto standard also for designing embedded control systems, and since Timed State Transition Diagrams and State Chart Diagrams share great similarity, an interface of the methodology to UML 2 is defined, using UML's extension mechanisms.
Ključne besede: specification language, application modeling, co-design, co-simulation, configuration management, PEARL, UML
Objavljeno v DKUM: 01.06.2012; Ogledov: 1763; Prenosov: 111
 Povezava na celotno besedilo |
3. Is my DSL a modeling or programming language?Yu Sun, Zekai Demirezen, Marjan Mernik, Jeffrey G. Gray, Barrett Richard Bryant, 2008, objavljeni znanstveni prispevek na konferenci Opis: It is often difficult to discern the differences between programming and modeling languages. As an example, the term "domain-specific language" has been used almost interchangeably in academia and industry to represent both programming and modeling languages, which has caused subtle misconceptions. The borders between a modeling and programming language are somewhat vague and not defined crisply. This paper discusses the similarities and differences between modeling and programming languages, and offers some suggestions on how to better differentiate such languages. A list of criteria is presented for language classification, but it is suggested that a set of the criteria be used, rather than a single criterion. Several example domain-specific languages are used as case studies to motivate the discussion.
Ključne besede: domain-specific languages, programming languages, modeling language
Objavljeno v DKUM: 31.05.2012; Ogledov: 1610; Prenosov: 42
Povezava na celotno besedilo |
4. Model transformations require formal semanticsYu Sun, Zekai Demirezen, Tomaž Lukman, Marjan Mernik, Jeffrey G. Gray, 2008, objavljeni znanstveni prispevek na konferenci Opis: Despite the increasing interest in model-driven engineering, there are many open issues that need to be addressed to advance the technology and promote its adoption. This position paper outlines several current limitations of model transformation, with a specific emphasis on model optimization. A primary shortcoming that can be found in many model transformation approaches and tools is the lack of formal semantics to define the meaning of a modeling abstraction. This inadequacy is the source of many problems surrounding the practice of model engineering.
Ključne besede: domain-specific languages, program transformation, model transformation, model-driven engineering, modeling language
Objavljeno v DKUM: 31.05.2012; Ogledov: 1912; Prenosov: 40
Povezava na celotno besedilo |
