Marija Petkovic - Academia.edu (original) (raw)

Papers by Marija Petkovic

Research paper thumbnail of CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code

2006 13th Working Conference on Reverse Engineering, 2006

In most cases, reverse engineering is used to retrieve missing design documentation from the sour... more In most cases, reverse engineering is used to retrieve missing design documentation from the source code in the form of an abstract (eg, UML) model. In the context of this work, reverse engineering is used as a part of the verification and validation chain of software systems, where the ...

Research paper thumbnail of Transformation + Analysis = Verification

Research paper thumbnail of Transformation Transformation of BPMN models for Behaviour Analysis

Research paper thumbnail of Transformation of BPMN Models for Behaviour Analysis

In industry, many business processes are modelled and stored in Enterprise Information Systems (E... more In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business processes can help to improve the quality of these business processes. However, existing tools can not directly be applied to models used in industry. In this paper, we present our approach for model verification and validation: translating industrial models to Petri nets and mCRL2, and subsequently applying existing tools on the models derived from the initial industrial models. The following translations are described: BPMN models to Petri nets and Petri nets to mCRL2. It is shown what the analysis on the derived models can reveal about the original models.

Research paper thumbnail of Computing system metrics through reverse engineering

In this paper we present a novel approach to assess system design quality by means of automatical... more In this paper we present a novel approach to assess system design quality by means of automatically computed metrics based on source code. We have used in-house reverse engineering tool to extract UML diagrams, class, sequence and activity, from C++ code. These extracted UML diagrams represent the system design and can be used to compute metrics indicating the quality of the system design. The metrics can be visualized in e.g. 3-dimensional way. Besides, we describe two case studies: one to compare existing system design with automatically generated system design and the industrial case study that helped to reveal bad smells in system design.

Research paper thumbnail of A software framework for automated verification

Abstract This paper describes a software framework supporting the automated verification of model... more Abstract This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

Research paper thumbnail of Transformation Transformation of BPMN models for Behaviour Analysis

Research paper thumbnail of A software framework for automated verification

Abstract This paper describes a software framework supporting the automated verification of model... more Abstract This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

Research paper thumbnail of Transformation of BPMN models for behaviour analysis

In industry, many business processes are modelled and stored in Enterprise Information Systems (E... more In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business processes can help to improve the quality of these business processes. However, existing tools can not directly be applied to models used in industry.

Research paper thumbnail of CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code

2006 13th Working Conference on Reverse Engineering, 2006

In most cases, reverse engineering is used to retrieve missing design documentation from the sour... more In most cases, reverse engineering is used to retrieve missing design documentation from the source code in the form of an abstract (eg, UML) model. In the context of this work, reverse engineering is used as a part of the verification and validation chain of software systems, where the ...

Research paper thumbnail of Transformation + Analysis = Verification

Research paper thumbnail of Transformation Transformation of BPMN models for Behaviour Analysis

Research paper thumbnail of Transformation of BPMN Models for Behaviour Analysis

In industry, many business processes are modelled and stored in Enterprise Information Systems (E... more In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business processes can help to improve the quality of these business processes. However, existing tools can not directly be applied to models used in industry. In this paper, we present our approach for model verification and validation: translating industrial models to Petri nets and mCRL2, and subsequently applying existing tools on the models derived from the initial industrial models. The following translations are described: BPMN models to Petri nets and Petri nets to mCRL2. It is shown what the analysis on the derived models can reveal about the original models.

Research paper thumbnail of Computing system metrics through reverse engineering

In this paper we present a novel approach to assess system design quality by means of automatical... more In this paper we present a novel approach to assess system design quality by means of automatically computed metrics based on source code. We have used in-house reverse engineering tool to extract UML diagrams, class, sequence and activity, from C++ code. These extracted UML diagrams represent the system design and can be used to compute metrics indicating the quality of the system design. The metrics can be visualized in e.g. 3-dimensional way. Besides, we describe two case studies: one to compare existing system design with automatically generated system design and the industrial case study that helped to reveal bad smells in system design.

Research paper thumbnail of A software framework for automated verification

Abstract This paper describes a software framework supporting the automated verification of model... more Abstract This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

Research paper thumbnail of Transformation Transformation of BPMN models for Behaviour Analysis

Research paper thumbnail of A software framework for automated verification

Abstract This paper describes a software framework supporting the automated verification of model... more Abstract This paper describes a software framework supporting the automated verification of models. The framework allows analyzing different kinds of behavioral models of software systems and business processes like UML activity diagrams and BPEL models. To extend the applicability of the verification tools, a variety of transformation tools have been integrated in the framework.

Research paper thumbnail of Transformation of BPMN models for behaviour analysis

In industry, many business processes are modelled and stored in Enterprise Information Systems (E... more In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business processes can help to improve the quality of these business processes. However, existing tools can not directly be applied to models used in industry.