Applications of graph transformation in tools for domain-specific modeling languages

The use of domain-specific languages (DSLs) has been proposed as an approach to cost-e ectively develop families of software systems in a restricted application domain. Domain-specific languages in combination with the accumulated knowledge and experience of previous implementations, can in turn be used to generate new applications with unique sets of requirements. For this reason, DSLs are considered to be an important approach for software reuse. However, the toolset supporting a particular domain-specific language is also domain-specific and is per definition not reusable. Therefore, creating and maintaining a DSL requires additional resources that could be even larger than the savings associated with using them. As a solution, di erent tool frameworks have been proposed to simplify and reduce the cost of developments of DSLs. Developers of tool support for DSLs need to instantiate, customize or configure the framework for a particular DSL. There are di erent approaches for this. An approach is to use an application programming interface (API) and to extend the basic framework using an imperative programming language. An example of a tools which is based on this approach is Eclipse GEF. Another approach is to configure the framework using declarative languages that are independent of the underlying framework implementation. We believe this second approach can bring important benefits as this brings focus to specifying what should the tool be like instead of writing a program specifying how the tool achieves this functionality. In this thesis we explore this second approach. We use graph transformation as the basic approach to customize a domain-specific modeling (DSM) tool framework. The contributions of this thesis includes a comparison of di erent approaches for defining, representing and interchanging software modeling languages and models and a tool architecture for an open domain-specific modeling framework that e ciently integrates several model transformation components and visual editors. We also present several specific algorithms and tool components for DSM framework. These include an approach for graph query based on region operators and the star operator and an approach for reconciling models and diagrams after executing model transformation programs. We exemplify our approach with two case studies MICAS and EFCO. In these studies we show how our experimental modeling tool framework has been used to define tool environments for domain-specific languages.

Visual analytics for behavioral and niche market segmentation

Companies require information in order to gain an improved understanding of their customers. Data concerning customers, their interests and behavior are collected through different loyalty programs. The amount of data stored in company data bases has increased exponentially over the years and become difficult to handle. This research area is the subject of much current interest, not only in academia but also in practice, as is shown by several magazines and blogs that are covering topics on how to get to know your customers, Big Data, information visualization, and data warehousing. In this Ph.D. thesis, the Self-Organizing Map and two extensions of it – the Weighted Self-Organizing Map (WSOM) and the Self-Organizing Time Map (SOTM) – are used as data mining methods for extracting information from large amounts of customer data. The thesis focuses on how data mining methods can be used to model and analyze customer data in order to gain an overview of the customer base, as well as, for analyzing niche-markets. The thesis uses real world customer data to create models for customer profiling. Evaluation of the built models is performed by CRM experts from the retailing industry. The experts considered the information gained with help of the models to be valuable and useful for decision making and for making strategic planning for the future.

Capillary electrophoresis: Applicability and method validation for biorefinery analytics

Wood-based bioprocesses present one of the fields of interest with the most potential in the circular economy. Expanding the use of wood raw material in sustainable industrial processes is acknowledged on both a global and a regional scale. This thesis concerns the application of a capillary zone electrophoresis (CZE) method with the aim of monitoring wood-based bioprocesses. The range of detectable carbohydrate compounds is expanded to furfural and polydatin in aquatic matrices. The experimental portion has been conducted on a laboratory scale with samples imitating process samples. This thesis presents a novel strategy for the uncertainty evaluation via in-house validation. The focus of the work is on the uncertainty factors of the CZE method. The CZE equipment is sensitive to ambient conditions. Therefore, a proper validation is essential for robust application. This thesis introduces a tool for process monitoring of modern bioprocesses. As a result, it is concluded that the applied CZE method provides additional results to the analysed samples and that the profiling approach is suitable for detecting changes in process samples. The CZE method shows significant potential in process monitoring because of the capability of simultaneously detecting carbohydrate-related compound clusters. The clusters can be used as summary terms, indicating process variation and drift.

Analytics for the modified kraft pulps

Tämän diplomityön tavoitteena on kehittää sopiva analyyttinen menetelmä muokatun kraft-sellukuidun substituutioasteen (DS) kvantitatiivista määrittämistä varten. Muokkauksella tarkoitetaan tässä yhteydessä joko kovalenttisesti tai adsorption avulla tapahtuvaa molekyylin kiinnittymistä sellukuidun pinnalle. Työn kirjallisuusosuudessa käsitellään lyhyesti eri muokkaustapoja ja yhdisteitä joiden avulla voidaan saavuttaa haluttuja ominaisuuksia sellusta valmistetuille lopputuotteille. Lisäksi kirjallisuusosuudessa käydään läpi käyttötarkoitukseen soveltuvimpia suoria ja epäsuoria analyysimenetelmiä. Analyysimenetelmistä kaikkein lupaavimpia testattiin työn kokeellisessa osassa. Diplomityön kokeellisessa osassa keskityttiin kehittämään muokatulle sellulle kvantitatiivista menetelmää DS:n määrittämiseksi Fourier-muunnos infrapuna-vaimennettu kokonaisheijastus (FTIR-ATR) spektrometrillä. Kirjallisuuskatsauksessa ei löytynyt yhtään dokumentoitua tutkimusta, jossa FTIR-ATR menetelmää olisi käytetty muokatun sellukuidun kvantitatiiviseen tutkimukseen. Muiden analyysimenetelmien, kuten alkuaineanalyysin, termogravimetrisen analyysin (TGA) ja valomikroskopian avulla pyrittiin tuottamaan lisätietoa muokkauksesta. Kvantitatiivisen FTIR-ATR menetelmän kehitykseen käytetyt muokatut sellukuidut olivat selluloosa-asetaattia ja selluloosa betainaattia. Saatujen tulosten perusteella muokattujen sulfiitti- ja kraft sellukuitujen DS:n kvantitatiivinen määrittäminen on mahdollista FTIR-ATR menetelmällä. Vähäinen kalibrointipisteiden määrä vaikeutti tarkan analyysimenetelmän tekemistä. Kehitetyn menetelmän suurimpina ongelmina olivat kiinteiden näytteiden heterogeenisyys sekä mahdollisten epäpuhtauksien tunnistaminen. Jatkotutkimusten avulla kehitettyä menetelmää on kuitenkin mahdollista käyttää muokattujen sellukuitujen jatkuvaan analysointiin selluteollisuudessa.