Search Results

Documents authored by Su, Jianwen


Document
Early Detection of Temporal Constraint Violations

Authors: Isaac Mackey, Raghubir Chimni, and Jianwen Su

Published in: LIPIcs, Volume 247, 29th International Symposium on Temporal Representation and Reasoning (TIME 2022)


Abstract
Software systems rely on events for logging, system coordination, handling unexpected situations, and more. Monitoring events at runtime can ensure that a business service system complies with policies, regulations, and business rules. Notably, detecting violations of rules as early as possible is much desired as it allows the system to reclaim resources from erring service enactments. We formalize a model for events and a logic-based rule language to specify temporal and data constraints. The primary goal of this paper is to develop techniques for detecting each rule violation as soon as it becomes inevitable. We further develop optimization techniques to reduce monitoring overhead. Finally, we implement a monitoring algorithm and experimentally evaluate it to demonstrate our approach to early violation detection is beneficial and effective for processing service enactments.

Cite as

Isaac Mackey, Raghubir Chimni, and Jianwen Su. Early Detection of Temporal Constraint Violations. In 29th International Symposium on Temporal Representation and Reasoning (TIME 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 247, pp. 4:1-4:16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@InProceedings{mackey_et_al:LIPIcs.TIME.2022.4,
  author =	{Mackey, Isaac and Chimni, Raghubir and Su, Jianwen},
  title =	{{Early Detection of Temporal Constraint Violations}},
  booktitle =	{29th International Symposium on Temporal Representation and Reasoning (TIME 2022)},
  pages =	{4:1--4:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-262-4},
  ISSN =	{1868-8969},
  year =	{2022},
  volume =	{247},
  editor =	{Artikis, Alexander and Posenato, Roberto and Tonetta, Stefano},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2022.4},
  URN =		{urn:nbn:de:0030-drops-172519},
  doi =		{10.4230/LIPIcs.TIME.2022.4},
  annote =	{Keywords: temporal constraints, monitoring, events, early violation detection}
}
Document
GSM+T: A Timed Artifact-Centric Process Model

Authors: Julius Köpke, Johann Eder, and Jianwen Su

Published in: LIPIcs, Volume 120, 25th International Symposium on Temporal Representation and Reasoning (TIME 2018)


Abstract
We introduce an extension to the declarative and artifact-centric Guard Stage Milestone (GSM) process modeling language to represent temporal aspects (duration, deadlines, lower- and upper-bound constraints), define the correctness of executions of GSM processes with respect to temporal constraints, check controllability of processes, compute execution plans respecting temporal constraints, and provide a translation method allowing to execute controllable GSM+T processes on standard GSM Engines.

Cite as

Julius Köpke, Johann Eder, and Jianwen Su. GSM+T: A Timed Artifact-Centric Process Model. In 25th International Symposium on Temporal Representation and Reasoning (TIME 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 120, pp. 18:1-18:15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{kopke_et_al:LIPIcs.TIME.2018.18,
  author =	{K\"{o}pke, Julius and Eder, Johann and Su, Jianwen},
  title =	{{GSM+T: A Timed Artifact-Centric Process Model}},
  booktitle =	{25th International Symposium on Temporal Representation and Reasoning (TIME 2018)},
  pages =	{18:1--18:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-089-7},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{120},
  editor =	{Alechina, Natasha and N{\o}rv\r{a}g, Kjetil and Penczek, Wojciech},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2018.18},
  URN =		{urn:nbn:de:0030-drops-97835},
  doi =		{10.4230/LIPIcs.TIME.2018.18},
  annote =	{Keywords: Guard Stage Milestone, GSM, Time Constraints, Controllability, Case Handling, Business Process Modeling}
}
Document
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)

Authors: Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, and Ke Yi

Published in: Dagstuhl Manifestos, Volume 7, Issue 1 (2018)


Abstract
The area of Principles of Data Management (PDM) has made crucial contributions to the development of formal frameworks for understanding and managing data and knowledge. This work has involved a rich cross-fertilization between PDM and other disciplines in mathematics and computer science, including logic, complexity theory, and knowledge representation. We anticipate on-going expansion of PDM research as the technology and applications involving data management continue to grow and evolve. In particular, the lifecycle of Big Data Analytics raises a wealth of challenge areas that PDM can help with. In this report we identify some of the most important research directions where the PDM community has the potential to make significant contributions. This is done from three perspectives: potential practical relevance, results already obtained, and research questions that appear surmountable in the short and medium term.

Cite as

Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, and Ke Yi. Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). In Dagstuhl Manifestos, Volume 7, Issue 1, pp. 1-29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{abiteboul_et_al:DagMan.7.1.1,
  author =	{Abiteboul, Serge and Arenas, Marcelo and Barcel\'{o}, Pablo and Bienvenu, Meghyn and Calvanese, Diego and David, Claire and Hull, Richard and H\"{u}llermeier, Eyke and Kimelfeld, Benny and Libkin, Leonid and Martens, Wim and Milo, Tova and Murlak, Filip and Neven, Frank and Ortiz, Magdalena and Schwentick, Thomas and Stoyanovich, Julia and Su, Jianwen and Suciu, Dan and Vianu, Victor and Yi, Ke},
  title =	{{Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)}},
  pages =	{1--29},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2018},
  volume =	{7},
  number =	{1},
  editor =	{Abiteboul, Serge and Arenas, Marcelo and Barcel\'{o}, Pablo and Bienvenu, Meghyn and Calvanese, Diego and David, Claire and Hull, Richard and H\"{u}llermeier, Eyke and Kimelfeld, Benny and Libkin, Leonid and Martens, Wim and Milo, Tova and Murlak, Filip and Neven, Frank and Ortiz, Magdalena and Schwentick, Thomas and Stoyanovich, Julia and Su, Jianwen and Suciu, Dan and Vianu, Victor and Yi, Ke},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagMan.7.1.1},
  URN =		{urn:nbn:de:0030-drops-86772},
  doi =		{10.4230/DagMan.7.1.1},
  annote =	{Keywords: database theory, principles of data management, query languages, efficient query processing, query optimization, heterogeneous data, uncertainty, knowledge-enriched data management, machine learning, workflows, human-related data, ethics}
}
Document
10151 Abstracts Collection – Enabling Holistic Approaches to Business Process Lifecycle Management

Authors: Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, and Jianwen Su

Published in: Dagstuhl Seminar Proceedings, Volume 10151, Enabling Holistic Approaches to Business Process Lifecycle Management (2010)


Abstract
From 11.04. to 16.04.2010, the Dagstuhl Seminar 10151 ``Enabling Holistic Approaches to Business Process Lifecycle Management '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, and Jianwen Su. 10151 Abstracts Collection – Enabling Holistic Approaches to Business Process Lifecycle Management. In Enabling Holistic Approaches to Business Process Lifecycle Management. Dagstuhl Seminar Proceedings, Volume 10151, pp. 1-16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{abiteboul_et_al:DagSemProc.10151.1,
  author =	{Abiteboul, Serge and Koschmider, Agnes and Oberweis, Andreas and Su, Jianwen},
  title =	{{10151 Abstracts Collection – Enabling Holistic Approaches to Business Process Lifecycle Management}},
  booktitle =	{Enabling Holistic Approaches to Business Process Lifecycle Management},
  pages =	{1--16},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10151},
  editor =	{Serge Abiteboul and Agnes Koschmider and Andreas Oberweis and Jianwen Su},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10151.1},
  URN =		{urn:nbn:de:0030-drops-27193},
  doi =		{10.4230/DagSemProc.10151.1},
  annote =	{Keywords: Business process modeling, process life-cycle, modeling methods}
}
Document
10151 Working Groups Results – How to enable Holistic Approaches to Business Process Lifecycle Management

Authors: Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, and Jianwen Su

Published in: Dagstuhl Seminar Proceedings, Volume 10151, Enabling Holistic Approaches to Business Process Lifecycle Management (2010)


Abstract
During the seminar we discussed in working groups the following questions.

Cite as

Serge Abiteboul, Agnes Koschmider, Andreas Oberweis, and Jianwen Su. 10151 Working Groups Results – How to enable Holistic Approaches to Business Process Lifecycle Management. In Enabling Holistic Approaches to Business Process Lifecycle Management. Dagstuhl Seminar Proceedings, Volume 10151, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{abiteboul_et_al:DagSemProc.10151.2,
  author =	{Abiteboul, Serge and Koschmider, Agnes and Oberweis, Andreas and Su, Jianwen},
  title =	{{10151 Working Groups Results – How to enable Holistic Approaches to Business Process Lifecycle Management}},
  booktitle =	{Enabling Holistic Approaches to Business Process Lifecycle Management},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10151},
  editor =	{Serge Abiteboul and Agnes Koschmider and Andreas Oberweis and Jianwen Su},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10151.2},
  URN =		{urn:nbn:de:0030-drops-27209},
  doi =		{10.4230/DagSemProc.10151.2},
  annote =	{Keywords: Business process modeling, process life-cycle, modeling methods}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail