Software modelling languages: A wish list

© 2015 IEEE. Contemporary software engineering modelling tends to rely on general-purpose languages, such as the Unified Modeling Language. However, such languages are practice-based and seldom underpinned with a solid theory-be it mathematical, ontological or concomitant with language use. The future of software modelling deserves research to evaluate whether a language base that is compatible with these various elements as well as being philosophically coherent offers practical advantages to software developers

3rd international software language engineering conference (SLE) : pre-proceedings, October 12-13, 2010, Eindhoven, the Netherlands

We are pleased to present the proceedings of the Third International Conference on Software Language Engineering (SLE 2010). The conference will be held in Eindhoven, the Netherlands during October 12-13, 2010 and will be co-located with The Ninth International Conference on Generative Programming and Component Engineering (GPCE'10), and The Workshop on Feature-Oriented Software Development (FOSD). An important goal of SLE is to integrate the different sub-communities of the software-language-engineering community to foster cross-fertilization and strengthen research overall. The Doctoral Symposium at SLE 2010 contributes towards these goals by providing a forum for both early and late-stage PhD students to present their research and get detailed feedback and advice from other researchers. The SLE conference series is devoted to a wide range of topics related to artificial languages in software engineering. SLE is an international research forum that brings together researchers and practitioners from both industry and academia to expand the frontiers of software language engineering. SLE's foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of languages as opposed to any realization in specific technical spaces. In this context, the term "software language" comprises all sorts of artificial languages used in software development including general-purpose programming languages, domain-specific languages, modeling and meta-modeling languages, data models, and ontologies. Software language engineering is the application of a systematic, disciplined, quantifiable approach to the development, use, and maintenance of these languages. The SLE conference is concerned with all phases of the lifecycle of software languages; these include the design, implementation, documentation, testing, deployment, evolution, recovery, and retirement of languages. Of special interest are tools, techniques, methods, and formalisms that support these activities. In particular, tools are often based on, or automatically generated from, a formal description of the language. Hence, the treatment of language descriptions as software artifacts, akin to programs, is of particular interest - while noting the special status of language descriptions, and the tailored engineering principles and methods for modularization, refactoring, refinement, composition, versioning, co-evolution, and analysis that can be applied to them. The response to the call for papers for SLE 2010 was very enthusiastic. We received 79 full submissions from 108 initial abstract submissions. From these submissions, the Program Committee (PC) selected 25 papers: 17 full papers, five short papers, and two tool demonstration papers, resulting in an acceptance rate of 32%. To ensure the quality of the accepted papers, each submitted paper was reviewed by at least three PC members. Each paper was discussed in detail during the electronic PC meeting. A summary of this discussion was prepared by members of the PC and provided to the authors along with the reviews

A foundation for multi-level modelling

Multi-level modelling allows types and instances to be mixed in the same model, however there are several proposals for how meta- models can support this. This paper proposes a meta-circular basis for meta-modelling and shows how it supports two leading approaches to multi-level modelling

A foundation for multi-level modelling

Multi-level modelling allows types and instances to be mixed in the same model, however there are several proposals for how metamodels can support this. This paper proposes a meta-circular basis for meta-modelling and shows how it supports two leading approaches to multi-level modelling

Model-based Engineering of Autonomous Systems using Ontologies and Metamodels

Our research focuses on engineering processes for autonomous intelligent systems construction with a life-cycle holistic view, by means of a model-based framework. The conceptual core of the framework is ontologically-driven. Our ontological approach consists of two elements. The first one is a domain Ontology for Autonomous Systems (OASys) to capture the autonomous system structure, function and behaviour. The second element is an Ontology-driven Engineering Methodology (ODEM) to develop the target autonomous system. This methodology is based on Model-based Systems Engineering and produces models of the system as core assets. These models are used through the whole system life-cycle, from implementation or validation to operation and maintenance. On the application side, the ontological framework has been used to develop a metacontrol engineering technology for autonomous systems, the OM Engineering Process (OMEP), to improve their runtime adaptivity and resilience. OMEP has been applied to a mobile robot in the form of a metacontroller built on top of the robot's control architecture. It exploits a functional model of the robot (TOMASys Model) to reconfigure its control if required by the situation at runtime. The functional model is based on a metamodel about controller function and structure using concepts form the ontology. The metacontroller was developed using the ontology-driven methodology and a robot control reference architecture

An ontology for ISO software engineering standards: 1) Creating the infrastructure

Software engineering standards developed under the auspices of ISO/IEC JTC1's SC7 have been identified as employing terms whose definitions vary significantly between standards. This led to a request in 2012 to investigate the creation of an ontological infrastructure that aims to be a single coherent underpinning for all SC7 standards, present and future. Here, we develop that necessary infrastructure prior to its adoption by SC7 and its implementation (likely 2014). The proposal described here requires, firstly, the identification of a single comprehensive set of definitions, the definitional elements ontology (DEO). For the scope of an individual standard, only a subset of these definitional elements will be needed. Once configured, this definitional subset creates a configured definitional ontology or CDO. Both the DEO and the CDO are essentially foundational ontologies from which a domain-specific ontology known as a SDO or standard domain ontology can be created. Consequently, all such SDOs are conformant to a CDO and hence to the single DEO thus ensuring that all standards use the same ontological base. Standards developed in this fashion will therefore be not only of a higher quality but also, importantly, interoperable. © 2013 Elsevier B.V. All rights reserved

Organizacijsko modeliranje višeagentnih sustava velikih razmjera s primjenom na računalne igre

The most popular and frequent methods of conducting a system of agents, of smallor large-scale, are those based on swarm intelligence, and organisational models. Organisational models for multi-agent systems are being developed alongside their role in the modern world. Technological improvements lead to creation of systems comprising thousands, or millions, of agents – large-scale multiagent system (LSMAS). Numerous LSMAS application domains (Internet of Everything (IoE), massively multi-player online games (MMOGs), smart cities, etc.) make LSMAS a genuinely useful concept in the modern era. Recent studies argue higher efficiency of LSMAS with imposed organisation, as opposed to systems with emerging intelligence. This makes organisational modelling of LSMAS a particularly interesting research subject. Organisational model based on ontology comprising LSMAS-related organisational concepts, built conforming to modern organisational perspectives for LSMAS, is a step towards easier LSMAS modelling. The ontology is basis for an organisational metamodel for LSMAS, which, coupled with graph grammars and logic, is suitable for modelling organisational dynamics, especially in the domain of massively multi-player online role-playing games (MMORPGs).Najpoznatiji i najučestaliji oblici uređenja sustava agenata, velikog ili malog razmjera, su oni koji se temelje na inteligenciji roja i oni koji svoje osnove vuku iz organizacijskih modela. Organizacijski modeli višeagentnih sustava razvijaju se usporedno s ulogom takvih sustava u modernom svijetu. Razvojem tehnologije stvaraju se sustavi koji broje tisuće ili milijuneagenata–višeagentnisustavivelikihrazmjera(VASVR).Mnogobrojneaplikacijske domene za VASVR (Internet svega, mrežne računalne igre namijenjene većem broju igrača (MMORPG), pametni gradovi i sl.) čine VASVR realno potrebnim konceptom u moderno doba. Recentna istraživanja ukazuju na veću učinkovitost VASVR uređenih temeljem organizacijske teorije, od onih koji prate inteligencija roja, te je stoga organizacijsko modeliranje VASVR iznimno interesantno podučje za istraživanje. Organizacijski model temeljen na ontologiji organizacijskih koncepata i modernim načelima organizacije VASVR korak je prema lakšem oblikovanju VASVR. Ontologija je baza za organizacijski metamodel za VASVR koji, spojen s gramatikama grafova i logikom, dobiva na prikladnosti za modeliranje organizacijske dinamike, naročito u domeni MMORPG

Organizacijsko modeliranje višeagentnih sustava velikih razmjera s primjenom na računalne igre

The most popular and frequent methods of conducting a system of agents, of smallor large-scale, are those based on swarm intelligence, and organisational models. Organisational models for multi-agent systems are being developed alongside their role in the modern world. Technological improvements lead to creation of systems comprising thousands, or millions, of agents – large-scale multiagent system (LSMAS). Numerous LSMAS application domains (Internet of Everything (IoE), massively multi-player online games (MMOGs), smart cities, etc.) make LSMAS a genuinely useful concept in the modern era. Recent studies argue higher efficiency of LSMAS with imposed organisation, as opposed to systems with emerging intelligence. This makes organisational modelling of LSMAS a particularly interesting research subject. Organisational model based on ontology comprising LSMAS-related organisational concepts, built conforming to modern organisational perspectives for LSMAS, is a step towards easier LSMAS modelling. The ontology is basis for an organisational metamodel for LSMAS, which, coupled with graph grammars and logic, is suitable for modelling organisational dynamics, especially in the domain of massively multi-player online role-playing games (MMORPGs).Najpoznatiji i najučestaliji oblici uređenja sustava agenata, velikog ili malog razmjera, su oni koji se temelje na inteligenciji roja i oni koji svoje osnove vuku iz organizacijskih modela. Organizacijski modeli višeagentnih sustava razvijaju se usporedno s ulogom takvih sustava u modernom svijetu. Razvojem tehnologije stvaraju se sustavi koji broje tisuće ili milijuneagenata–višeagentnisustavivelikihrazmjera(VASVR).Mnogobrojneaplikacijske domene za VASVR (Internet svega, mrežne računalne igre namijenjene većem broju igrača (MMORPG), pametni gradovi i sl.) čine VASVR realno potrebnim konceptom u moderno doba. Recentna istraživanja ukazuju na veću učinkovitost VASVR uređenih temeljem organizacijske teorije, od onih koji prate inteligencija roja, te je stoga organizacijsko modeliranje VASVR iznimno interesantno podučje za istraživanje. Organizacijski model temeljen na ontologiji organizacijskih koncepata i modernim načelima organizacije VASVR korak je prema lakšem oblikovanju VASVR. Ontologija je baza za organizacijski metamodel za VASVR koji, spojen s gramatikama grafova i logikom, dobiva na prikladnosti za modeliranje organizacijske dinamike, naročito u domeni MMORPG