Towards model checking product lines in the digital humanities: an application to historical data

Breathnach, Ciara and Muhamad Ibrahim, Najhan and Clancy, Stuart and Margaria, Tiziana (2019) Towards model checking product lines in the digital humanities: an application to historical data. In: From Software Engineering to Formal Methods and Tools, and Back. Springer, pp. 338-364. ISBN 978-3-030-30984-8

	PDF - Accepted Version Download (114kB)
	PDF - Published Version Restricted to Registered users only Download (904kB) | Request a copy

Abstract

Rapid development in computing techniques and databases’ systems have aided in the digitization of, and access to, various historical (big) data, with significant challenges of analysis and interoperability. The Death and Burial Data, Ireland project aims to build a Big Data interoperability framework loosely based on the Knowledge Discovery Data (KDD) process to integrate Civil Registration of Death data with other data types collated in Ireland from 1864 to 1922. For our project, we resort to a Document Type Description (DTD) product line to represent and manage various representations and enrichments of the data. Well-formed documents serve as contracts between a provider (of the data set) and its customers (the researchers that consult them). We adopt the Context-Free Modal Transition Systems as a formalism to specify product lines of DTDs. The goal is to then proceed to product line verification using context-free model checking techniques, specifically the M3C checker of [14] to ensure that they are fit for purpose. The goal is to later implement and manage the corresponding family of data models and processes in the DIME framework, leveraging its flexible data management layer to define and efficiently manage the interoperable historical data framework for future use. The resulting hierarchical product line verification will allow our technical platform to act as a high-quality service provider for digital humanities researchers, providing them with a wide range of tailored applications implementing the KDD process, whose essential business rules are easily checked by a standard DTD checker.

Item Type:	Book Chapter
Uncontrolled Keywords:	Digital humanities, Big Data Interoperability, Data integration, Historical data, Product lines CFMTS, DIME, Workflow processes Model checking
Subjects:	T Technology > T Technology (General)
Kulliyyahs/Centres/Divisions/Institutes (Can select more than one option. Press CONTROL button):	Kulliyyah of Information and Communication Technology > Department of Information System Kulliyyah of Information and Communication Technology > Department of Information System
Depositing User:	Dr. Najhan Muhamad Ibrahim
Date Deposited:	09 Jun 2021 10:21
Last Modified:	09 Jun 2021 10:21
URI:	http://irep.iium.edu.my/id/eprint/90064

Actions (login required)

View Item