ADDiff: Semantic differencing for activity diagrams

Shahar Maoz*, Jan Oliver Ringert, Bernhard Rumpe

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Activity diagrams (ADs) have recently become widely used in the modeling of workflows, business processes, and web-services, where they serve various purposes, from documentation, requirement definitions, and test case specifications, to simulation and code generation. As models, programs, and systems evolve over time, understanding changes and their impact is an important challenge, which has attracted much research efforts in recent years. In this paper we present addiff, a semantic differencing operator for ADs. Unlike most existing approaches to model comparison, which compare the concrete or the abstract syntax of two given diagrams and output a list of syntactical changes or edit operations, addiff considers the semantics of the diagrams at hand and outputs a set of diff witnesses, each of which is an execution trace that is possible in the first AD and is not possible in the second. We motivate the use of addiff, formally define it, and show two algorithms to compute it, a concrete forward-search algorithm and a symbolic fixpoint algorithm, implemented using BDDs and integrated into the Eclipse IDE. Empirical results and examples demonstrate the feasibility and unique contribution of addiff to the state-of-the-art in version comparison and evolution analysis.

Original languageEnglish
Title of host publicationSIGSOFT/FSE'11 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering
Pages179-189
Number of pages11
DOIs
StatePublished - 2011
Externally publishedYes
Event19th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT/FSE'11 - Szeged, Hungary
Duration: 5 Sep 20119 Sep 2011

Publication series

NameSIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Conference

Conference19th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT/FSE'11
Country/TerritoryHungary
CitySzeged
Period5/09/119/09/11

Keywords

  • Activity diagrams
  • Differencing
  • Software evolution

Fingerprint

Dive into the research topics of 'ADDiff: Semantic differencing for activity diagrams'. Together they form a unique fingerprint.

Cite this