Towards the Automated Synthesis of Data Dependent Service Controllers

Autor:	Franziska Bathelt-Tok, Sabine Glesner
Rok vydání:	2014
Předmět:	Service (systems architecture) Process (engineering) Computer science Distributed computing Interoperability Service composition Algebraic petri nets Data dependent Analysis method
Zdroj:	Lecture Notes in Computer Science ISBN: 9783319068589 ICSOC Workshops
DOI:	10.1007/978-3-319-06859-6_47
Popis:	The treatment of data is a crucial step in service composition but it is currently done manually and informally. This makes the development process time-consuming, expensive, and error-prone, which is serious in safety-critical domains like the medical area. To overcome this problem, we present a novel approach for synthesizing datadependent service controllers automatically based on composition and analysis methods for algebraic Petri nets. Consequently, our approach allows the automated, fast, and cost-efficient synthesis of correct controllers regarding data-dependent functional and safety-critical properties, which enables a reliable interoperability of medical devices.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4d0e504ad0d368286619334e0415365a https://doi.org/10.1007/978-3-319-06859-6_47 Zobrazit plný text záznamu