A Conceptual Generic Framework to Debugging in the Domain-Specific Modeling Languages for Multi-Agent Systems

Despite the existence of many agent programming environments and platforms, the developers may still encounter difficulties on implementing Multi-agent Systems (MASs) due to the complexity of agent features and agent interactions inside the MAS organizations. Working in a higher abstraction layer and modeling agent components within a model-driven engineering (MDE) process before going into depths of MAS implementation may facilitate MAS development. Perhaps the most popular way of applying MDE for MAS is based on creating Domain-specific Modeling Languages (DSMLs) with including appropriate integrated development environments (IDEs) in which both modeling and code generation for system-to-be-developed can be performed properly. Although IDEs of these MAS DSMLs provide some sort of checks on modeled systems according to the related DSML\u27s syntax and semantics descriptions, currently they do not have a built-in support for debugging these MAS models. That deficiency causes the agent developers not to be sure on the correctness of the prepared MAS model at the design phase. To help filling this gap, we introduce a conceptual generic debugging framework supporting the design of agent components inside the modeling environments of MAS DSMLs. The debugging framework is composed of 4 different metamodels and a simulator. Use of the proposed framework starts with modeling a MAS using a design language and transforming design model instances to a run-time model. According to the framework, the run-time model is simulated on a built-in simulator for debugging. The framework also provides a control mechanism for the simulation in the form of a simulation environment model

The Urban CoCreation Lab—An Integrated Platform for Remote and Simultaneous Collaborative Urban Planning and Design through Web-Based Desktop 3D Modeling, Head-Mounted Virtual Reality and Mobile Augmented Reality: Prototyping a Minimum Viable Product and Developing Specifications for a Minimum Marketable Product

Both policy and research highlight the importance of diverse stakeholder input in urban development processes but visualizing future built environments and creating two-way design communication for non-expert stakeholders are challenging. The present study develops an intuitive and simplified 3D modeling platform that integrates web-based desktop, virtual reality and mobile augmented reality technologies for remote simultaneous urban design collaboration. Through iterative prototyping, based on two series of workshops with stakeholders, the study resulted in such an integrated platform as a minimum viable product as well as specifications for a minimum marketable product to be used in real projects. Further study is required to evaluate the minimum level of detail in the 3D modeling necessary for good perception of scale and environmental impact simulation

Exploring the limits of incentive compatibility and allocative efficiency in complex economic environments

In this dissertation auction formats are developed and discussed that focus on three specific economic environments. Regarding the impossibility results from mechanism design, the main task for the implementation of auction designs is to balance allocative efficiency and incentive compatibility – the main characteristics a mechanism should provide. Therefore, the dissertation investigates the limits of conceivable relaxations of allocative efficiency and incentive compatibility for complex settings such as double auctions, interdependent-valuation environments and electricity market designs. The overall aim is to carefully weigh up the advantages and disadvantages for either relaxing allocative efficiency or respectively incentive compatibility.:Preface … 7 1. Introduction … 8 1.1. Applications of auction design … 8 1.2. Optimal use of information in allocation processes … 12 1.3. Modeling non-cooperative situations … 14 1.4. Motivation for the dissertation … 16 2. An Incentive Compatible Double Auction for Multi-Unit Markets with Heterogeneous Goods … 21 2.1. Introduction into double auctions … 21 2.2. Setting of a multi-unit market with heterogeneous goods … 25 2.3. Concept of the Incentive Compatible Double Auction (ICDA) … 29 2.4. Definition of the allocation rule … 31 2.5. Creation of the price vector and the trading bundles … 37 2.6. Characteristics of the Incentive Compatible Double Auction (ICDA) … 40 2.7. Discussion of the properties of the Incentive Compatible Double Auction (ICDA) … 43 3. An Alternating-Price Auction for Interdependent-Valuation Environments … 46 3.1. Introduction into ex-post efficient auction design … 46 3.2. Setting of an interdependent-valuation environment … 50 3.3. Concept of the Alternating-Price Auction (APA) … 54 3.4. Characteristics of the Alternating-Price Auction (APA) 62 3.5. Discussion of the properties of the Alternating-Price Auction (APA) … 64 4. Facilitating Short-Term and Long-Term Efficiency with an Integrated Electricity Market Design … 66 4.1. Introduction into electricity market designs … 66 4.2. Setting of an electricity market … 72 4.3. Concept of the Integrated Electricity Market Design (IEMD) … 78 4.4. Characteristics of the Integrated Electricity Market Design (IEMD) … 88 4.5. Discussion of the properties of the Integrated Electricity Market Design (IEMD) … 91 5. Conclusion ... 94 Reference List … 9

Design of embedded controller using hybrid systems for integrated building systems

The design of controllers for integrated building systems has been traditionally carried out using basic techniques validated frequently by simulation. However, the demands on occupants’ comfort, safety and energy consumption increase speedily as the current controllers used in buildings are not efficient and enough flexible to be adapted to any changes. To investigate such issues, this paper focuses mainly on the design of embedded control systems for integrated building plants. So therefore, the challenges of modeling embedded controller for building heating system are treated at higher-level of abstraction with the help of sophisticated tools and new development techniques. Particularity, this paper concerns the relevance and reliability of integrating distributed control and building performance simulation environments by run-time coupling, over TCP/IP protocol suite. In addition, this paper involves a case-study with an important setup where the simulated results are obtained within the use of run-time coupling approach

Semantic Bridging between Conceptual Modeling Standards and Agile Software Projects Conceptualizations

Software engineering benefitted from modeling standards (e.g. UML, BPMN), but Agile Software Project Management tends to marginalize most forms of documentation including diagrammatic modeling, focusing instead on the tracking of a project\u27s backlog and related issues. Limited means are available for annotating Jira items with diagrams, however not on a granular and semantically traceable level. Business processes tend to get lost on the way between process analysis (if any) and backlog items; UML design decisions are often disconnected from the issue tracking environment. This paper proposes domain-specific conceptual modeling to obtain a diagrammatic view on a Jira project, motivated by past conceptualizations of the agile paradigm while also offering basic interoperability with Jira to switch between environments and views. The underlying conceptualization extends conceptual modeling languages (BPMN, UML) with an agile project management perspective to enrich contextual traceability of a project\u27s elements while ensuring that data structures handled by Jira can be captured and exposed to Jira if needed. Therefore, concepts underlying the typical software development project management are integrated with established modeling concepts and tailored (with metamodeling means) for the domain-specificity of agile project management. A Design Science approach was pursued to develop a modeling method artifact, resulting in a domain-specific modeling tool for software project managers that want to augment agile practices and enrich issue annotation

Toolchain Modeling: Comprehensive Engineering Plans for Industry 4.0

The fourth industrial revolution (Industry 4.0) elevates the complexity and autonomy of industrial systems and engineering environments to levels not seen before. The novel challenges involve not only the software running on the partaking autonomous devices, but also architectural considerations and the technological infrastructure around the entire engineering process. In this paper, complementing the trends in industrial systems design, we propose an approach to toolchain modeling, i.e. an integrated specification for the interoperability of tools along with the holistic architectural framework, designed in the context of the Arrowhead Framework. In particular, we propose an intuitive, yet founded definition for toolchains and their mappings to a versatile engineering process model. Those definitions then serve as a basis for proposing our comprehensive toolchain modeling approach. The methodology is demonstrated using (simplified) real-world engineering case studies based on the Arrowhead Framework and platform

Manufacturing Process Modeling and Simulation

This paper presents a methodology to be employed in the whole process design phase including first and second processing. This methodology consists of a set of steps which are characterised by an independent model. This paper’s objective is to analyse the coherence between the different models and the coherence between the model and the objectives of each step. The final stage is to develop the production plans. The casting process was the first one to be analyzed. Casting models were created using CAD software (Catia V5R17) and imported into the casting simulation environment (Magmasoft). Filling and solidifying processes have been simulated using different casting models in order to optimize the final configuration. The machining process was modeled using the machining features concept and it was simulated using Catia’s Advanced Machining environment. Two machining strategies have been analyzed according to positioning strategies. Process engineering software was used to create the process plans and to analyze the resource allocation