-
Mining Branching-Time Scenarios
held at the International Conference on Automated Software Engineering (ASE 2013), November, 2013.
keywords: specification mining, scenario-based specifications, Live Sequence Charts, linear time, branching time
View on slideshare.
-
From LSC to Distributed Components
held at the International Conference on Model-Driven Engineering and Software Development (Modelsward 2013), February 20, 2013.
keywords: scenario-based specifications, Live Sequence Charts, distributed systems, components, synthesis, Petri nets
View on slideshare.
-
LSC Revisited - From Scenarios to Distributed Components
remote talk in the Advanced Software Tools Research Seminar of S. Maoz and A. Yehudai at Tel Aviv University, January 7, 2013. (abstract)
keywords: scenario-based specifications, Live Sequence Charts, distributed systems, components, synthesis, Petri nets
View on slideshare.
-
Simplifying Mined Process Models
held at the 9th International Conference on Business Process Management (BPM), August 31, 2011.
keywords: process mining, simplifying models, Petri nets
View on slideshare.
-
The Process of Process Modeling
held at the BPM Roundtable, July 4, 2011.
keywords: process modeling, process of process modeling, BPMN
View on slideshare.
-
Artifacts - Describing Processes with Multiple Instances
held at the group of David Harel at the Weizmann Institute of Science, June 21, 2011.
keywords: processes, services, artifacts, scenario, synthesis
View on slideshare.
-
Behavioral Conformance of Artifact-Centric Process Models
held by B. van Dongen at the 14th International Conference on Business Information Systems (BIS 2011) in Poznan, Poland (June 16, 2011).
keywords: artifact-centric processes, conformance checking, behavioral conformance, replay, log extraction, data bases
View on slideshare.
-
Many-to-Many: Interaction in Artifact Choreographies
held at the Third Central-European Workshop on Services and their Composition (ZEUS 2011) in Karlsruhe, Germany (February 22, 2011).
keywords: services, choreography, artifacts, correlation
View on slideshare.