Modeling Languages: A new Paradigm of Programming
نویسنده
چکیده
This paper presents a new type of programming language (also called modeling language) which allows a modeler to combine declarative and algorithmic knowledge, that is, mathematical-logical constraints on the one hand and an instruction sequence defining an algorithm on the other hand. The approach is new in the sense that it strictly separates syntactically and sematically the declarative from the algorithmic part. Advantages of doing so are presented. Examples illustrate the flavour of such a language.
منابع مشابه
Magic Potion : A Metalanguage for Incorporating
if your preferred environment requires only a few features from another paradigm, you must typically adopt the whole alien platform to take advantage of them. The alternative of using other languages and tools to implement the features in a way that avoids adding the whole platform is generally at least as difficult. But a more affordable solution is often possible. We used metaprogramming to i...
متن کاملSIMTHESysER: a tool generator for the performance evaluation of multiformalism models
This article presents the architecture of SIMTHESysER, a new extendable multiformalism performance evaluation tool generator. SIMTHESysER relies on the main paradigm denoting multiformalism modeling techniques, that is providing the means to define models composed of entities described in different modeling languages. SIMTHESysER defines multiformalism models by separating the properties and re...
متن کاملEquation-based languages– A new paradigm for building energy modeling, simulation and optimization
Most of the state-of-the-art building simulation programs implement models in imperative programming languages. This complicates modeling and excludes the use of certain efficient methods for simulation and optimization. In contrast, equation-based modeling languages declare relations among variables, thereby allowing the use of computer algebra to enable much simpler schematic modeling and to ...
متن کاملModeling Hybrid Systems in the Concurrent Constraint Paradigm
Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm, characterized by the use of a common constraint store to communicate and synchronize concurrent agents. In this paradigm, the information is stated in the form of constraints, in con...
متن کاملModeling Language of Multi-agent Systems = Programming Template
The modeling languages are designed to make easier the software development. That is why so many times they are included in the development methodology. In 2001 the OMG proposed model driver architecture for the software development (MDA). In this architecture are transformations which are used between the models to get others. The goal is to show a new way to develop applications using the Age...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998