From Models_For_Programming to Modelling_To_Program and Towards Models_As_A_Program

Thalheim, Bernhard

doi:10.1007/978-3-030-72696-6_1

Cited by 4 publications

(5 citation statements)

References 60 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These two methods are used together to design, develop, and evaluate software systems. We used the design science research paradigm to design and implement a new software system for modeling business processes, checking the models by relational logic, and operationalizing the models by M2P [36,37]. Then we used the software case study research method to evaluate the system in terms of its usability, functionality, and effectiveness.…”

Section: Methodsmentioning

confidence: 99%

“…Our research aims at a combined application of the M2P paradigm and the most recent blockchain technologies. The M2P modeling paradigm provides a theoretical framework for building up a pipeline from the actual modeling methods to the current operationalization or interpretative systems [36]. The design models can be checked by formal methods, namely Alloy and YAWL [26,[37][38][39][40].…”

Section: Related Workmentioning

confidence: 99%

“…This research concentrated on the application of the M2P paradigm in the context of business process modeling and operationalization, primarily [36]. The other issue that was investigated was how to use the patterns in business process modeling, firstly the workflow patterns [51], then patterns of service-oriented architecture [87], furthermore, the patterns of blockchain technology [62].…”

Section: Contributionmentioning

confidence: 99%

See 2 more Smart Citations

Blockchain-Based Business Process Management (BPM) for Finance: The Case of Credit and Claim Requests

Molnár

Pisoni²,

Kherbouche

et al. 2023

Smart Cities

View full text Add to dashboard Cite

Because of the competitive economy, organizations today seek to rationalize, innovate, and adapt to changing environments and circumstances as part of business process improvement efforts. The strength of blockchain technology lies in its usage as an apt technology to enhance the efficiency and effectiveness of business processes; furthermore, it prevents the use of erroneous or obsolete data and allows sharing of confidential data securely. The use of superior technology in the execution and automation of business processes brings opportunities to rethink the specific process itself as well. Business processes modeling and verification are essential to control and assure organizational evolution, therefore, the aim of this paper is three-fold: firstly, to provide business process management patterns in finance, based on blockchain, specifically for the loan-application process in the banking industry and claim process in the insurance industry that could be used and customized by companies; secondly, to critically analyze challenges and opportunities from the introduction of such approach for companies, and thirdly, to outline how companies can implement the loan business process as a web service. Partner companies (a bank and an insurance company) formulated the potential requirements for M2P along with the application of blockchain technology. An experimental design framework was established that gave the necessary services to model the requirements, check the models, and operationalize the models. The applied research methodologies are as follows: design science research paradigm and software case study, model-to-programming (M2P) of business processes, and utilization of patterns of workflow and blockchain.

show abstract

Section: Methodsmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

Section: Contributionmentioning

confidence: 99%

See 1 more Smart Citation

Blockchain-Based Business Process Management (BPM) for Finance: The Case of Credit and Claim Requests

Molnár

Pisoni²,

Kherbouche

et al. 2023

Smart Cities

View full text Add to dashboard Cite

show abstract

“…• Fifth generation programming. In Thalheim (2021) and Thalheim and Jaakkola (2020) the authors argue that when a program is described and generated from a model, Models as a Program (MaaP), it is a case of 5th generation programming. For a specific application domain, we have shown how this is possible.…”

Section: Consequences Of Applying Cdsa Principlesmentioning

confidence: 99%

“…This leads to end results which are not satisfactory, in terms of function, time and cost. Conceptual models play an important role in the development of information systems, Embley andThalheim (2012). These models are used to capture and reflect relevant conceptual structures for a user community in an enterprise.…”

mentioning

confidence: 99%

Conceptual data systems architecture principles for information systems

Jönsson¹

2023

Front. Comput. Sci.

View full text Add to dashboard Cite

Information systems alignment with enterprise evolution affects the performance of enterprises. The systems conceptual and data quality, development time and sustainable life cycle management, are issues for enterprise competitiveness. The ability to directly generate enterprise information systems from models has been thought of as a solution to improve on these issues. Model-driven systems have been a research topic for decades. Fundamental principles for a proven model-driven information systems architecture are outlined in this article. Architectural foundation is a separation of user communities conceptual domain from the information technical domain. The users domain is modeled as an information system model in three layers, conceptual data logic model, interface model and user community model. The technical domain is a platform, allowing the modeling and execution of such a model. These principles have been applied in practice and proven viable. Two platforms and applications, which adhere to these principles, are briefly described.

show abstract