Metamodel-based model conformance and multiview consistency checking

Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems. These diagrams, presenting different views of a system of interest, may be inconsistent. A metamodel provides a unifying framework in which to ensure and check consistency, while at the same time providing the means to distinguish between valid and invalid models, that is, conformance. Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking. Comparisons are made in terms of completeness and the level of automation each provide for checking multiview consistency and model conformance. The lessons learned from applying formal techniques to the problems of metamodeling, model conformance, and multiview consistency checking are summarized

AN EXPLORATION OF SYNERGY EVALUATION APPLICATION MODEL TO SUPPORT IMPLEMENTATION ON MERGER AND ACQUISITION

ABSTRACT The project focuses on a comprehensive system’s analysis and design of the front-end of the Synergy Evaluation Application Model (SEAM) system for mergers and acquisitions (M&As). The research questions asked are: Q1. How did the SEAM system incorporate the system requirements and design that incorporated the strategic goals and priorities of both the acquirer and the acquiree? Q2. What data sources will the SEAM system rely on, and how does it overcome data integration, automation, visualization challenges? Q3. How will the model identify build in potential synergies, both quantitative and qualitative? The research questions were analyzed through the SEAM system analysis and design using Objective-Oriented Analysis Design (OOAD) approach. The findings and conclusions to the three questions respectively are: Q1.It is possible to design an ideal physical SEAM system that incorporates the strategic goals priorities of both the acquirer and acquiree. The SEAM system can guide executives to know which companies or businesses to merge or acquire with, and how much level they can move on. Q2, The SEAM system utilized the data from internal merger companies’ datasets, external financial providers, and public data sources, and realized data integration, automation and visualization features by implementing ETL process, machine learning and interacting with external use interfaces. So long as the data is available, the SEAM system can realize data integration, automation, visualization features. Q3. This project categorized synergies into distinct types and designed a framework for identifying and assessing synergies respectively by using scenario analysis to identify best-case, worst-case, and base-case scenarios, as well as sensitivity analysis to account for uncertainties. Areas for further study focus on implementing and testing the model in actual M&A scenarios, exploring advanced technologies on quantitative synergy analysis, the integration of AI algorithms on qualitative synergy analysis and expanding the model\u27s features

Stubby: A Transformation-based Optimizer for MapReduce Workflows

There is a growing trend of performing analysis on large datasets using workflows composed of MapReduce jobs connected through producer-consumer relationships based on data. This trend has spurred the development of a number of interfaces--ranging from program-based to query-based interfaces--for generating MapReduce workflows. Studies have shown that the gap in performance can be quite large between optimized and unoptimized workflows. However, automatic cost-based optimization of MapReduce workflows remains a challenge due to the multitude of interfaces, large size of the execution plan space, and the frequent unavailability of all types of information needed for optimization. We introduce a comprehensive plan space for MapReduce workflows generated by popular workflow generators. We then propose Stubby, a cost-based optimizer that searches selectively through the subspace of the full plan space that can be enumerated correctly and costed based on the information available in any given setting. Stubby enumerates the plan space based on plan-to-plan transformations and an efficient search algorithm. Stubby is designed to be extensible to new interfaces and new types of optimizations, which is a desirable feature given how rapidly MapReduce systems are evolving. Stubby's efficiency and effectiveness have been evaluated using representative workflows from many domains.Comment: VLDB201

A heuristic-based approach to code-smell detection

Encapsulation and data hiding are central tenets of the object oriented paradigm. Deciding what data and behaviour to form into a class and where to draw the line between its public and private details can make the difference between a class that is an understandable, flexible and reusable abstraction and one which is not. This decision is a difficult one and may easily result in poor encapsulation which can then have serious implications for a number of system qualities. It is often hard to identify such encapsulation problems within large software systems until they cause a maintenance problem (which is usually too late) and attempting to perform such analysis manually can also be tedious and error prone. Two of the common encapsulation problems that can arise as a consequence of this decomposition process are data classes and god classes. Typically, these two problems occur together – data classes are lacking in functionality that has typically been sucked into an over-complicated and domineering god class. This paper describes the architecture of a tool which automatically detects data and god classes that has been developed as a plug-in for the Eclipse IDE. The technique has been evaluated in a controlled study on two large open source systems which compare the tool results to similar work by Marinescu, who employs a metrics-based approach to detecting such features. The study provides some valuable insights into the strengths and weaknesses of the two approache

XSRL: An XML web-services request language

One of the most serious challenges that web-service enabled e-marketplaces face is the lack of formal support for expressing service requests against UDDI-resident web-services in order to solve a complex business problem. In this paper we present a web-service request language (XSRL) developed on the basis of AI planning and the XML database query language XQuery. This framework is designed to handle and execute XSRL requests and is capable of performing planning actions under uncertainty on the basis of refinement and revision as new service-related information is accumulated (via interaction with the user or UDDI) and as execution circumstances necessitate change

모바일 기술 기반 폐기물 재활용 프레임워크 제안: 캄보디아의 경우

학위논문(석사) -- 서울대학교대학원 : 공과대학 협동과정 기술경영·경제·정책전공, 2022. 8. Jorn Altmann.Waste management is a major issue for developing countries. Environmental and public health hazards abound in Asia's emerging nations, especially in those where large volumes of municipal waste are dumped into open dumping sites, roads, sewers, and waterways without any regard for the consequences. United Nations Sustainable Development Goals (SDGs) provide explicit objectives and metrics for global waste reduction. These aims include increasing collection rates, promoting safe disposal methods, and increasing garbage reuse and recycling rates. Cambodia, which has a population of 16.72 million people (as of 2020), is confronting a variety of solid waste management difficulties. According to the Telecommunication Regulator of Cambodia (TRC), by 2020 there will be 20 million mobile phone subscribers and 15 million connected to the internet. Mobile phones have the potential to serve as a means of establishing contact between various parties. Based on the successful experience, that motivates people to get involved in waste recycling activities, and that really motivates us to think about the potential of using mobile technology in waste recycling activities in Cambodia as well. The main goal of this study is to examine Cambodia's present solid waste management status and limitation, as well as the performance of the informal recycling activities, local government agencies, and contractual garbage collection services, in order to develop methods and strategies for an alternative approach to recycling. This article proposes a new mobile technology solution to enhance the efficiency of the recycling implementation process in Cambodia and also linking the waste dealer and waste merchant for recyclable waste items through a mobile application.폐기물 관리는 개발 도상국이 해결해야할 주요 문제이다. 아시아의 신흥 개발도상국에서는 환경 및 공중 보건 위험이 존재하며, 배출 결과에 대한 후속 대책 없이 도시의 쓰레기를 공공 장소, 도로, 하수구, 수로에 폐기하고 있다. 이와 관련하여, UN의 지속 가능한 개발 목표(SDGs)는 전 세계 폐기물 감소를 위한 명확한 목표와 지표를 제공하고 있으며, 쓰레기 수집율 증가, 쓰레기 안전 배출 촉진, 쓰레기 재사용 및 재활용율 증가 등을 제시하고 있다. 2020년 기준으로 1,672만 명의 인구를 보유한 캄보디아는 다양한 고형폐기물을 처리해야하는 문제에 직면한 상태이다. 캄보디아 전기통신규제국(TRC)에 따르면, 2020년까지 휴대전화 가입자 2000만 명을 달성하고 1,500만 명이 인터넷에 연결될 것이라 예상하였다. 휴대전화 및 인터넷의 확산은 다양한 당사자간의 연결을 가능하게 하는 여건이 된다. 성공 사례에 기반한 결과는 사람들의 재활용 활동을 촉진할 수 있으며, 나아가 캄보디아의 쓰레기 재활용을 위한 모바일 기술 사용 가능성을 증진시킬 수 있다. 본 연구의 주요 목표는 캄보디아의 고형 폐기물 관리 현황 및 한계를 검토하고, 비공식적인 재활용 데이터와 지방 정부 기관 및 쓰레기 수집 대리 서비스의 성과를 분석하여 재활용에 대한 대안적 접근 방법을 제시하고 전략을 수립하는 것이다. 또한, 본 연구는 모바일 기술을 활용하여 캄보디아 내 재활용 과정의 효율성을 높일 수 있는 새로운 솔루션을 제안하고, 모바일 애플리케이션을 통해 재활용 가능한 폐기물 제품의 수요와 공급을 연결하여 캄보디아 내 모바일 온라인 폐기물 시장의 실행 가능성을 연구한다.Chapter 1. Introduction 1 1.1 Research Background 1 1.2 Research Problem 5 1.3 Purpose of the research 6 1.4 Research questions 8 1.5 Originality 8 Chapter 2. Literature Review 9 2.1 Research Location: Cambodia 9 2.2 Waste generation and composition 10 2.3 Recycling of municipal solid waste 11 2.4 Platform & Digital Transformation 16 2.5 Mobile Technologies in Recycling 18 Chapter 3. Methodology 27 3.1 Research Design 27 3.1.1 System Analysis and System Requirements 28 3.1.2 Observe similar systems 29 3.1.3 Literature review 29 3.1.4 Prototyping 29 3.1.5 Survey 30 3.1.6 Focus Group 31 3.2 Propose Mobile Technology and Proof of Concept 31 3.3 Design of the system 34 Chapter 4. System design and Architecture 36 4.1 Software Architecture 36 4.2 System Overview 37 4.2.1 Waste Dealer 37 4.2.2 Waste Merchant 38 4.3 UML Design 40 4.3.1 Use case Diagram 40 4.3.2 Descriptive Use Cases 41 4.3.3 Sequence Diagram 47 4.4 Prototype Implementation Details 49 Chapter 5. System Evaluation 59 5.1 Questionnaire 59 5.1.1 Theory 59 5.1.1.1 Performance Expectancy 61 5.1.1.2 Effort Expectancy 64 5.1.2 Development of Questionnaire 66 5.1.2.1 Questionnaire for Citizen 66 5.1.2.2 Questionnaire for Experts 68 5.2 Analysis 70 5.2.1 Responding from citizens 70 5.2.1.1 Effort expectancy 70 5.2.1.2 Performance expectancy 72 5.2.2 Responding from Experts 81 5.3 Result 85 5.4 The Limitations & Recommendation 87 Chapter 6. Conclusion 89 Bibliography 91 Abstract in Korean 95석

Probabilistic Analysis of Self-assembly

Probabilistic Analysis of Self-assembl

CAIN-21: Automatic adaptation decisions and extensibility in an MPEG-21 adaptation engine

This paper presents the progress and final state of CAIN-21, an extensible and metadata driven multimedia adaptation in the MPEG-21 framework. CAIN-21 facilitates the integration of pluggable multimedia adaptation tools, automatically chooses the chain of adaptations to perform and manages its execution. To drive the adaptation, it uses the description tools and implied ontology established by MPEG-21. The paper not only describes the evolution and latest version of CAIN-21, but also identifies limitations and ambiguities in the description capabilities of MPEG-21. Therefore, it proposes some extensions to the MPEG-21 description schema for removing these problems. Finally, the pros and cons of CAIN-21 with respect to other multimedia adaptation engines are discussed

On Formalizing UML and OCL Features and Their Employment to Runtime Verification

Model-driven development (MDD) has been identified as a promising approach for developing software. By using abstract models of a system and by generating parts of the system out of these models, one tries to improve the efficiency of the overall development process and the quality of the resulting software. In the context of MDD the Unified Modeling Language (UML) and its related textual Object Constraint Language (OCL) have gained a high recognition. To be able to generate systems of high quality and to allow for interoperability between modeling tools, a well-defined semantics for these languages is required. This thesis summarizes published work in this context that employs an endogenous metamodeling approach to define the semantics of newer elements of the UML. While the covered elements are exhaustively used to define relations between elements of the metamodel of the UML, the UML specification leaves out a precise definition of their semantics. Our proposed approach uses models, not only to define the abstract syntax, but also to define the semantics of UML. By using UML and OCL for this, existing modeling tools can be used to validate the definition. The second part of this thesis covers work on the usage of UML and OCL models for runtime verification. It is shown how models can still be used at the end of a software development process, i. e., after an implementation has manually been added to generated parts, even though they are not used as central parts of the development process. This work also influenced the integration of protocol state machines into a modeling tool, which lead to publications about the runtime semantics of state machines and the capabilities to declaratively specify behavior using state machines