DOCSLIB.ORG

The MEMO Meta Modelling Language (MML) Is Presented

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

ICB Institut für Informatik und Wirtschaftsinformatik Research Group Core Research Topics Prof. Dr. H. H. Adelsberger E-Learning, Knowledge Management, Skill-Management, Information Systems for Production and Operations Simulation, Artificial Intelligence Management Prof. Dr. P. Chamoni Information Systems and Operations Research, Ulrich Frank MIS and Management Science / Operations Research Business Intelligence, Data Warehousing Prof. Dr. F.-D. Dorloff E-Business, E-Procurement, E-Government Procurement, Logistics and Information Management Prof. Dr. K. Echtle Dependability of Computing Systems Dependability of Computing Systems Prof. Dr. S. Eicker Process Models, Software-Architectures Information Systems and Software Engineering Prof. Dr. U. Frank Enterprise Modelling, Enterprise Application Integration, Information Systems and Enterprise Modelling IT Management, Knowledge Management Prof. Dr. M. Goedicke Distributed Systems, Software Components, CSCW The MEMO Meta Modelling Language Specification of Software Systems Prof. Dr. V. Gruhn Design of Software Processes, Software Architecture, Usabi- (MML) and Language Architecture Software Engineering lity, Mobile Applications, Component-based and Generative Software Development Prof. Dr. T. Kollmann E-Business and Information Management, ICB-RESEARCH REPORT E-Business and E-Entrepreneurship E-Entrepreneurship/E-Venture, Virtual Marketplaces and nd Mobile Commerce, Online-Marketing 2 Edition 43 Prof. Dr. B. Müller-Clostermann Performance Evaluation of Computer and Communication Systems Modelling Systems, Modelling and Simulation Prof. Dr. K. Pohl Requirements Engineering, Software Quality Assurance, Software Systems Engineering Software-Architectures, Evaluation of COTS/Open Source- Components Prof. Dr.-Ing. E. Rathgeb Computer Networking Technology Computer Networking Technology Prof. Dr. Enrico Rukzio Novel Interaction Technologies, Personal Projectors, Mobile Mensch Computer Interaktion mit Software Services Pervasive User Interfaces, Ubiquitous Computing Prof. Dr. A. Schmidt Pervasive Computing, Uniquitous Computing, Automotive User Pervasive Computing Interfaces, Novel Interaction Technologies, Context-Aware Computing Prof. Dr. R. Unland Data Management, Artificial Intelligence, Software Data Management Systems and Knowledge Representation Engineering, Internet Based Teaching Prof. Dr. S. Zelewski Industrial Business Processes, Innovation Management, Institute of Production and Industrial Information Management Information Management, Economic Analyses ISSN 1860-2770 (Print) ICB-Research Report No. 43 ISSN 1866-5101 (Online) February 2011 Die Forschungsberichte des Instituts The ICB Research Reports comprise für Informatik und Wirtschaftsinfor- preliminary results which will usually matik dienen der Darstellung vorlä u- be revised for subsequent publica- figer Ergebnisse, die i. d. R. noch für tions. Critical comments would be spätere Veröffentlichungen überarbei- appreciated by the authors. tet werden. Die Autoren sind deshalb für kritische Hinweise dankbar. Alle Rechte vorbehalten. Insbesondere All rights reserved. No part of this die der Übersetzung, des Nachdru- report may be reproduced by any ckes, des Vortrags, der Entnahme von means, or translated. Abbildungen und Tabellen – auch bei nur auszugsweiser Verwertung. ICB Research Reports Authors’ Address: Edited by: Ulrich Frank Prof. Dr. Heimo Adelsberger Prof. Dr. Peter Chamoni Institut für Informatik und Prof. Dr. Frank Dorloff Wirtschaftsinformatik (ICB) Prof. Dr. Klaus Echtle Universität Duisburg-Essen Prof. Dr. Stefan Eicker Universitätsstr. 9 Prof. Dr. Ulrich Frank D-45141 Essen Prof. Dr. Michael Goedicke [email protected] Prof. Dr. Volker Gruhn Prof. Dr. Tobias Kollmann Prof. Dr. Bruno Müller-Clostermann Prof. Dr. Klaus Pohl Prof. Dr. Erwin P. Rathgeb Prof. Dr. Enrico Rukzio Prof. Dr. Albrecht Schmidt Prof. Dr. Rainer Unland Prof. Dr. Stephan Zelewski Contact: Institut für Informatik und Wirtschaftsinformatik (ICB) Universität Duisburg-Essen Universitätsstr. 9 45141 Essen Tel.: 0201-183-4041 Fax: 0201-183-4011 Email: [email protected] ISSN 1860-2770 (Print) ISSN 1866-5101 (Online) Preface to Revised Edition A substantial amount of research and critical evaluation had gone into the MEMO meta modelling language when it was first published in 2007. This was for a good reason: A meta modelling language should be invariant for a longer time, since it is the foundation of an entire family of languages. Therefore, changing the meta modelling language jeopardizes the integrity of the respective modelling languages and the corresponding model editors. Never- theless, our work on specifying modelling languages produced some additional require- ments we were not aware of at first. It also revealed a few misconceptions. These discoveries led to a minor revision of the meta modelling language that was published in 2010. During the last months one further requirement evolved that is related to the very conception of modelling language. It also turned out that one concept in the meta meta model was speci- fied on an inappropriate level of abstraction. Fortunately, this misconception did not result in erroneous implementations of corresponding tools because it was filtered out by an ade- quate interpretation of those who developed the software. The resulting revision of the meta modelling language may seem minor, because it affects mainly concepts in the meta meta model only. Nevertheless, it represents a major change, because it reflects an extended con- ception of modelling language. In addition to that, the meta modelling language was sup- plemented by an extensible set of ‚auxiliary‛ types. While these do not affect the semantics of the meta meta model, they promote the productivity of developing modelling languages and contribute to a higher level of consistency and coherence within a family of modelling languages. I also used the opportunity of a new edition for applying a few marginal changes. Among other things, they comprise the renaming of ‚deferredExternal‛ attributes to ‚ob- tainable‛. The changes are mainly motivated by the demand to provide an effective support for speci- fying domain-specific modelling languages. Unfortunately, they are accompanied by the unpleasant side-effect that the complexity of the meta meta model was increased – which compromises the reasonable requirement to keep a meta language simple. Since the research on modelling languages and their specification is far from having reached a mature state, it would be presumptuous to assume that the meta meta model will not require further modi- fications. I hope, however, that it serves us as a suitable foundation for developing languages and tools for the next years. Essen, February 2011 Ulrich Frank i Abstract The family of languages that builds the foundation of the MEMO method is intended to fea- ture a high degree of inter-language integration. For this purpose, the languages need to share common concepts. In order to define concepts that are semantically equivalent, it is recommendable to use the same meta modelling language for specifying the MEMO model- ling languages. The previous version of the meta modelling language used for this purpose needed a revision. At the same time, there was need to account for alternative approaches to specifying modelling languages, especially those offered by the OMG or the Eclipse founda- tion. This report starts with an analysis of requirements that should be accounted for by a meta modelling language. Subsequently, the UML infrastructure library and meta object fa- cility (MOF) are evaluated against these requirements. In addition to that, the report presents an evaluation of the Ecore model, which serves to represent meta models within the Eclipse Graphical Modeling Framework (GMF). The evaluation of both approaches shows that none of them is satisfactory as a meta modelling language for enterprise modelling. Then, the new version of the MEMO meta modelling language (MML) is presented. The language specifica- tion consists of a meta meta model that specifies that semantics and abstract syntax and a corresponding graphical notation (concrete syntax). The new version features a concept called intrinsic features that allows for differentiating between features that apply to types and those that apply to instances. It also includes a modified graphical notation that supports a clear distinction of meta models from models on other levels of abstraction. Finally, the report presents the outline of a tool that supports the creation and editing of MEMO meta models as well as their transformation into representations which can be used in the Eclipse modelling framework. ii Table of Contents PREFACE TO REVISED EDITION .................................................................................................................. I 1 INTRODUCTION ..................................................................................................................................... 1 2 META MODELLING LANGUAGES: REQUIREMENTS ................................................................. 2 2.1 GENERAL REQUIREMENTS FOR META MODELLING LANGUAGES .......................................................... 4 2.1.1 Formal Requirements ...................................................................................................................... 4 2.1.2 User-Oriented Requirements .......................................................................................................... 5 2.1.3 Application-Oriented
Recommended publications
  • Design of Instructional Modeling Language for Learning Objects and Learning Objectsâ•Ž Repositories

    Design of Instructional Modeling Language for Learning Objects and Learning Objectsâ•Ž Repositories

    University of Northern Colorado Scholarship & Creative Works @ Digital UNC Dissertations Student Research 8-2019 Design of Instructional Modeling Language for Learning Objects and Learning Objects’ Repositories Altaf Siddiqui Follow this and additional works at: https://digscholarship.unco.edu/dissertations Recommended Citation Siddiqui, Altaf, "Design of Instructional Modeling Language for Learning Objects and Learning Objects’ Repositories" (2019). Dissertations. 588. https://digscholarship.unco.edu/dissertations/588 This Text is brought to you for free and open access by the Student Research at Scholarship & Creative Works @ Digital UNC. It has been accepted for inclusion in Dissertations by an authorized administrator of Scholarship & Creative Works @ Digital UNC. For more information, please contact [email protected]. ©2019 ALTAF SIDDIQUI ALL RIGHTS RESERVED UNIVERSITY OF NORTHERN COLORADO Greeley, Colorado The Graduate School DESIGN OF INSTRUCTIONAL MODELING LANGUAGE FOR LEARNING OBJECTS AND LEARNING OBJECTS’ REPOSITORIES A Capstone Submitted in Partial Fulfillment of the Requirements of the Degree of Doctor of Philosophy Altaf Siddiqui College of Education and Behavioral Sciences Department of Educational Technology August 2019 This Capstone by: Altaf Siddiqui Entitled: Design of Instructional Modeling Language for Learning Objects and Learning Objects Repositories has been approved as meeting the requirement for the Degree of Doctor of Audiology in College of Education and Behavioral Sciences in Department of Educational Technology
  • Integration Definition for Function Modeling (IDEF0)

    Integration Definition for Function Modeling (IDEF0)

    NIST U.S. DEPARTMENT OF COMMERCE PUBLICATIONS £ Technology Administration National Institute of Standards and Technology FIPS PUB 183 FEDERAL INFORMATION PROCESSING STANDARDS PUBLICATION INTEGRATION DEFINITION FOR FUNCTION MODELING (IDEFO) » Category: Software Standard SUBCATEGORY: MODELING TECHNIQUES 1993 December 21 183 PUB FIPS JK- 45C .AS A3 //I S3 IS 93 FIPS PUB 183 FEDERAL INFORMATION PROCESSING STANDARDS PUBLICATION INTEGRATION DEFINITION FOR FUNCTION MODELING (IDEFO) Category: Software Standard Subcategory: Modeling Techniques Computer Systems Laboratory National Institute of Standards and Technology Gaithersburg, MD 20899 Issued December 21, 1993 U.S. Department of Commerce Ronald H. Brown, Secretary Technology Administration Mary L. Good, Under Secretary for Technology National Institute of Standards and Technology Arati Prabhakar, Director Foreword The Federal Information Processing Standards Publication Series of the National Institute of Standards and Technology (NIST) is the official publication relating to standards and guidelines adopted and promulgated under the provisions of Section 111 (d) of the Federal Property and Administrative Services Act of 1949 as amended by the Computer Security Act of 1987, Public Law 100-235. These mandates have given the Secretary of Commerce and NIST important responsibilities for improving the utilization and management of computer and related telecommunications systems in the Federal Government. The NIST, through its Computer Systems Laboratory, provides leadership, technical guidance,
  • Metamodeling and Method Engineering with Conceptbase”

    Metamodeling and Method Engineering with Conceptbase”

    This is a pre-print of the book chapter M. Jeusfeld: “Metamodeling and method engineering with ConceptBase” . In Jeusfeld, M.A., Jarke, M., Mylopoulos, J. (eds): Metamodeling for Method Engineering, pp. 89-168. The MIT Press., 2009; the original book is available from MIT Press http://mitpress.mit.edu/node/192290 This pre-print may only be used for scholar, non-commercial purposes. Most of the sources for the examples in this chapter are available via http://merkur.informatik.rwth-aachen.de/pub/bscw.cgi/3782591 for download. They require ConceptBase 7.0 or later available from http://conceptbase.cc. Metamodeling and Method Engineering with ConceptBase Manfred Jeusfeld Abstract. This chapter provides a practical guide on how to use the meta data repository ConceptBase to design information modeling methods by using meta- modeling. After motivating the abstraction principles behind meta-modeling, the language Telos as realized in ConceptBase is presented. First, a standard factual representation of statements at any IRDS abstraction level is defined. Then, the foundation of Telos as a logical theory is elaborated yielding simple fixpoint semantics. The principles for object naming, instantiation, attribution, and specialization are reflected by roughly 30 logical axioms. After the language axiomatization, user-defined rules, constraints and queries are introduced. The first part is concluded by a description of active rules that allows the specification of reactions of ConceptBase to external events. The second part applies the language features of the first part to a full-fledged information modeling method: The Yourdan method for Modern Structured Analysis. The notations of the Yourdan method are designed along the IRDS framework.
  • Design and Implementation of the L+C Modeling Language

    Design and Implementation of the L+C Modeling Language

    Design and implementation of the L+C modeling language Radoslaw Karwowski and Przemyslaw Prusinkiewicz Department of Computer Science University of Calgary Abstract L-systems are parallel grammars that provide a theoretical foundation for a class of programs used in procedural image synthesis and simulation of plant development. In particular, the formalism of L-systems guides the construction of declarative languages for specifying input to these programs. We outline key factors that have motivated the development of L-system- based languages in the past, and introduce a new language, L+C, that addresses the shortcom- ings of its predecessors. We also describe the implementation of L+C, in which an existing language, C++, was extended with constructs specific to L-systems. This implementation methodology made it possible to develop a powerful modeling system in a relatively short pe- riod of time. 1. Background L-systems were conceived as a rule-based formalism for reasoning on developing multicellular organisms that form linear or branching filaments [Lindenmayer, 1968]. Soon after their introduction, L-systems also began to be used as a foundation of visual modeling and simulation programs, and computer languages for specifying the models [Baker and Herman, 1972]. Subsequently they also found applications in the generation of fractals [Szilard and Quinton, 1979; Prusinkiewicz, 1986] and geometric modeling [Prusinkiewicz et al., 2003]. A common factor uniting these diverse applications is the treatment of structure and form as a result of development. A historical perspective of the L-system-based software and its practical applications is presented in [Prusinkiewicz, 1997]. According to the L-system approach, a developing structure is represented by a string of symbols over a predefined alphabet V.
  • OMG Meta Object Facility (MOF) Core Specification

    OMG Meta Object Facility (MOF) Core Specification

    Date : October 2019 OMG Meta Object Facility (MOF) Core Specification Version 2.5.1 OMG Document Number: formal/2019-10-01 Standard document URL: https://www.omg.org/spec/MOF/2.5.1 Normative Machine-Readable Files: https://www.omg.org/spec/MOF/20131001/MOF.xmi Informative Machine-Readable Files: https://www.omg.org/spec/MOF/20131001/CMOFConstraints.ocl https://www.omg.org/spec/MOF/20131001/EMOFConstraints.ocl Copyright © 2003, Adaptive Copyright © 2003, Ceira Technologies, Inc. Copyright © 2003, Compuware Corporation Copyright © 2003, Data Access Technologies, Inc. Copyright © 2003, DSTC Copyright © 2003, Gentleware Copyright © 2003, Hewlett-Packard Copyright © 2003, International Business Machines Copyright © 2003, IONA Copyright © 2003, MetaMatrix Copyright © 2015, Object Management Group Copyright © 2003, Softeam Copyright © 2003, SUN Copyright © 2003, Telelogic AB Copyright © 2003, Unisys USE OF SPECIFICATION - TERMS, CONDITIONS & NOTICES The material in this document details an Object Management Group specification in accordance with the terms, conditions and notices set forth below. This document does not represent a commitment to implement any portion of this specification in any company's products. The information contained in this document is subject to change without notice. LICENSES The companies listed above have granted to the Object Management Group, Inc. (OMG) a nonexclusive, royalty-free, paid up, worldwide license to copy and distribute this document and to modify this document and distribute copies of the modified version. Each of the copyright holders listed above has agreed that no person shall be deemed to have infringed the copyright in the included material of any such copyright holder by reason of having used the specification set forth herein or having conformed any computer software to the specification.
  • Metamodeling the Enhanced Entity-Relationship Model

    Metamodeling the Enhanced Entity-Relationship Model

    Metamodeling the Enhanced Entity-Relationship Model Robson N. Fidalgo1, Edson Alves1, Sergio España2, Jaelson Castro1, Oscar Pastor2 1 Center for Informatics, Federal University of Pernambuco, Recife(PE), Brazil {rdnf, eas4, jbc}@cin.ufpe.br 2 Centro de Investigación ProS, Universitat Politècnica de València, València, España {sergio.espana,opastor}@pros.upv.es Abstract. A metamodel provides an abstract syntax to distinguish between valid and invalid models. That is, a metamodel is as useful for a modeling language as a grammar is for a programming language. In this context, although the Enhanced Entity-Relationship (EER) Model is the ”de facto” standard modeling language for database conceptual design, to the best of our knowledge, there are only two proposals of EER metamodels, which do not provide a full support to Chen’s notation. Furthermore, neither a discussion about the engineering used for specifying these metamodels is presented nor a comparative analysis among them is made. With the aim at overcoming these drawbacks, we show a detailed and practical view of how to formalize the EER Model by means of a metamodel that (i) covers all elements of the Chen’s notation, (ii) defines well-formedness rules needed for creating syntactically correct EER schemas, and (iii) can be used as a starting point to create Computer Aided Software Engineering (CASE) tools for EER modeling, interchange metadata among these tools, perform automatic SQL/DDL code generation, and/or extend (or reuse part of) the EER Model. In order to show the feasibility, expressiveness, and usefulness of our metamodel (named EERMM), we have developed a CASE tool (named EERCASE), which has been tested with a practical example that covers all EER constructors, confirming that our metamodel is feasible, useful, more expressive than related ones and correctly defined.
  • On the Analysis of Cmmn Expressiveness: Revisiting Workflow Patterns

    On the Analysis of Cmmn Expressiveness: Revisiting Workflow Patterns

    ' $ ON THE ANALYSIS OF CMMN EXPRESSIVENESS: REVISITING WORKFLOW PATTERNS Renata Carvalho 1, Anis Boubaker 1, Javier Gonzalez-Huerta 1, Hafedh Mili 1, Simon Ringuette 2, and Yasmine Charif 3 Mars 2016 D´epartement d'informatique Universit´edu Qu´ebec `aMontr´eal Rapport de recherche Latece 2016-1 & % ON THE ANALYSIS OF CMMN EXPRESSIVENESS: REVISITING WORKFLOW PATTERNS Renata Carvalho 1, Anis Boubaker 1, Javier Gonzalez- Huerta 1, Hafedh Mili 1, Simon Ringuette 2, and Yasmine Charif 3 1 D´epartement d'informatique UQAM Montr´eal,Qc, Canada 2 Trisotech Inc. Montr´eal,Qc, Canada 3 Xerox Innovation Group Xerox Research Center Webster Mailstop 128-29E Laboratoire de recherche sur les technologies du commerce ´electronique D´epartement d'informatique Universit´edu Qu´ebec `aMontr´eal C.P. 8888, Succ. Centre-Ville Montr´eal,QC, Canada H3C 3P8 http://www.latece.uqam.ca Mars 2016 Rapport de recherche Latece 2016-1 Summary Traditional business process modeling languages use an imperative style to specify all possible execution flows, leaving little flexibility to process operators. Such lan- guages are appropriate for low-complexity, high-volume, mostly automated processes. However, they are inadequate for case management, which involves low-volume, high- complexity, knowledge-intensive work processes of today's knowledge workers. OMG's Case Management Model and Notation(CMMN), which uses a declarative stytle to specify constraints placed at a process execution, aims at addressing this need. To the extent that typical case management situations do include at least some measure of imperative control, it is legitimate to ask whether an analyst working exclusively in CMMN can comfortably model the range of behaviors s/he is likely to encounter.
  • System Model-Based Definition of Modeling Language Semantics In: Proc

    System Model-Based Definition of Modeling Language Semantics In: Proc

    System Model-Based Definition of Modeling Language Semantics Hans Gr¨onniger, Jan Oliver Ringert, and Bernhard Rumpe Lehrstuhl Informatik 3 (Softwaretechnik), RWTH Aachen, Germany Abstract. In this paper, we present an approach to define the seman- tics for object-oriented modeling languages. One important property of this semantics is to support underspecified and incomplete models. To this end, semantics is given as predicates over elements of the seman- tic domain. This domain is called the system model which is a general declarative characterization of object systems. The system model is very detailed since it captures various relevant structural, behavioral, and in- teraction aspects. This allows us to re-use the system model as a domain for various kinds of object-oriented modeling languages. As a major con- sequence, the integration of language semantics is straight-forward. The whole approach is supported by tools that do not constrain the seman- tics definition’s expressiveness and flexibility while making it machine- checkable. 1 Introduction Modeling is an integral part of complex software system development projects. The purpose of models ranges from assisting developers and customers commu- nicate to test case generation or (automatic) derivation of the developed system. A prominent example modeling language is UML [1]. Actually, it is a family of languages used to model various aspects of a software system. While UML is widely used, domain specific modeling languages emerged recently that allow developers and even customers to express solutions to well-defined problems in aconciseway. A complete definition of a modeling language consists of the description of its syntax, including well-formedness rules and its semantics (meaning) [2].
  • System Structure Modeling Language (S2ML) Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

    System Structure Modeling Language (S2ML) Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy

    System Structure Modeling Language (S2ML) Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy To cite this version: Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. System Structure Modeling Language (S2ML). 2015. hal-01234903 HAL Id: hal-01234903 https://hal.archives-ouvertes.fr/hal-01234903 Preprint submitted on 1 Dec 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. System Structure Modeling Language (S2ML) Language Specification Version 1.0 November 2015 Abstract: This document defines the S2ML language, version 1.0. S2ML is developed in the framework of the OpenAltaRica project, leaded by IRT SystemX, Palaiseau, France. S2ML is a freely available, prototype-oriented language for both representing the structure complex systems and structuring models of these systems. It aims at providing a minimal but sufficient set of constructs for these purposes. S2ML 1.0 Specification 2 Copyright © AltaRica Association, 2015 All rights reserved. Reproduction or use of editorial or pictorial content is permitted, i.e. this document can be freely distributed especially electronically, provided the copyright notice and these conditions are retained. No patent liability is assumed with respect to the use of information contained herein. While every precaution has been taken in the preparation of this document, no responsibility for errors or omissions is assumed.
  • 11. Metadata, Metamodelling, and Metaprogramming

    11. Metadata, Metamodelling, and Metaprogramming

    11. Metadata, Metamodelling, and Metaprogramming 1. Searching and finding components 2. Metalevels and the metapyramid 3. Metalevel architectures 4. Metaobject protocols (MOP) Prof. Dr. Uwe Aßmann 5. Metaobject facilities (MOF) Technische Universität Dresden 6. Metadata as component markup Institut für Software- und Multimediatechnik http://st.inf.tu-dresden.de 14-1.0, 23-Apr-14 CBSE, © Prof. Uwe Aßmann 1 Mandatory Literature ► ISC, 2.2.5 Metamodelling ► OMG MOF 2.0 Specification http://www.omg.org/spec/MOF/2.0/ ► Rony G. Flatscher. Metamodeling in EIA/CDIF — Meta-Metamodel and Metamodels. ACM Transactions on Modeling and Computer Simulation, Vol. 12, No. 4, October 2002, Pages 322–342. http://doi.acm.org/10.1145/643120.643124 Prof. U. Aßmann, CBSE 2 Other Literature ► Ira R. Forman and Scott H. Danforth. Metaclasses in SOM-C++ (Addision- Wesley) ► Squeak – a reflective modern Smalltalk dialect http://www.squeak.org ► Scheme dialect Racket ► Hauptseminar on Metamodelling held in SS 2005 ► MDA Guide http://www.omg.org/cgi-bin/doc?omg/03-06-01 ► J. Frankel. Model-driven Architecture. Wiley, 2002. Important book on MDA. ► G. Kizcales, Jim des Rivieres, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, Cambridge, MA, 1991 ► Gregor Kiczales and Andreas Paepcke. Open implementations and metaobject protocols. Technical report, Xerox PARC, 1997 Prof. U. Aßmann, CBSE 3 Literature on Open Languages ► Shigeru Chiba and Takashi Masuda. Designing an extensible distributed language with a meta-level architecture. In O. Nierstrasz, editor, European Conference on Object-oriented Programming (ECOOP '93), number 707 in Lecture Notes in Computer Science, pages 483-502.
  • A Runtime Assertion Checker for the Java Modeling Language Yoonsik Cheon Iowa State University

    A Runtime Assertion Checker for the Java Modeling Language Yoonsik Cheon Iowa State University

    Computer Science Technical Reports Computer Science 4-2003 A Runtime Assertion Checker for the Java Modeling Language Yoonsik Cheon Iowa State University Follow this and additional works at: http://lib.dr.iastate.edu/cs_techreports Part of the Software Engineering Commons Recommended Citation Cheon, Yoonsik, "A Runtime Assertion Checker for the Java Modeling Language" (2003). Computer Science Technical Reports. 308. http://lib.dr.iastate.edu/cs_techreports/308 This Article is brought to you for free and open access by the Computer Science at Iowa State University Digital Repository. It has been accepted for inclusion in Computer Science Technical Reports by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. A Runtime Assertion Checker for the Java Modeling Language Abstract JML compiler to translate Java programs annotated with JML specifications into Java bytecode. The ompc iled bytecode transparently checks JML specifications at runtime. The JML ompc iler supports separate and modular compilation. The ppra oach brings programming benefits uchs as debugging and testing to BISLs and also helps programmers to use BISLs in their daily programming. A set of translation rules are defined from JML expressions into assertion checking code. The translation rules handle various kinds of undefinedness, such as runtime exceptions and non-executable constructs, in such a way as to both satisfy the standard rules of logic and detect as many assertion violations as possible. The rules also support various forms of quantifiers. Specification-only declarations such as model fields, ghost fields, and model methods are translated into access methods; e.g., an access method for a model field is an abstraction function that calculates an abstract value from the program state.
  • Consideration of Risk and Safety in Metamodeling System of Stratification

    Consideration of Risk and Safety in Metamodeling System of Stratification

    405 Consideration of Risk and Safety in Metamodeling System of Stratification Valdemar Vitlinskyi Kyiv National Economic University named after Vadym Hetman, 54/1, Peremohy Ave., Kyiv, 03057, Ukraine [email protected] Vyacheslav Glushchevsky Zaporizhzhya National University, 9, Engineer Preobrazhensky Ave., Zaporizhia, 69000, Ukraine [email protected] Abstract. The development of the concept and tools of stratification metamodeling (SMM) is proposed, which is a new object-oriented methodological approach to the synthesis of a complex model of the economic system (enterprise), in particular, in order to distinguish the set of variants of the combination of heterogeneous object-components of its various strata into a single hierarchical structure. It is emphasized that it is necessary to consider conceptual provisions and tools for evaluation and management of such systemic characteristics as safety and risk in the system of the SMM in order to increase the sustainability of the economic system under consideration. Keywords: risk management, economic security, stratification of hierarchical systems, metamodeling, architectural methodology, enterprise reference modeler, informational technologies. 1 Introduction Socioeconomic systems (SES), first of all anthropogenic microeconomic systems, objectively inherent risks that are permanently modified in the dynamic environment, conflict with each other, creating new, unknown till present time risks. By substantially reducing one of the risk groups, we can thus increase the risks associated with another group. The multidimensionality of these risks permanently creates threats to the economic security of the SES. In our opinion, economic security is an integrated system characteristic, which depends on the stability, the permissible level of risk, the controllability of parameters in order to ensure the development and protection of vital economic interests of the individual and society, economic stability of the subjects of economic relations and the economy as a whole [1].