Dražen Brđanin, Slavko Marić Faculty of Electrical Engineering, University of Banja Luka, Bosnia and Herzegovina Automatic generation of initial conceptual.

Slides:



Advertisements
Similar presentations
Eugene Syriani and Huseyin Ergin University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.
Advertisements

Huseyin Ergin and Eugene Syriani University of Alabama Software Modeling Lab Software Engineering Group Department of Computer Science College of Engineering.
Formal Specification of Topological Relations Erika Asnina, Janis Osis and Asnate Jansone Riga Technical University The 10th International Baltic Conference.
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
GENERATING AUTOMATIC SEMANTIC ANNOTATIONS FOR RESEARCH DATASETS AYUSH SINGHAL AND JAIDEEP SRIVASTAVA CS DEPT., UNIVERSITY OF MINNESOTA, MN, USA.
UML-BUSINESS-PROFILE-BASED BUSINESS MODELING IN ITERATIVE AND INCREMENTAL SOFTWARE DEVELOPMENT Dražen Brđanin, Slavko Marić
Programmierung verteilter Systeme Lab Institut für Informatik Universität Augsburg Universitätsstraße 14, Augsburg Tel.: (+49) 821/ , Fax:
BUSINESS MODELING BY UML PROFILE VISA ISSUING SYSTEM Dražen Brđanin, Slavko Marić Faculty of Electrical Engineering Banja.
Developing MAS The GAIA Methodology A Brief Summary by António Castro and Prof. Eugénio Oliveira.
Requirements Specification
OOHDM Hypermedia Research Work Designing Web-based applications with Object Oriented Hypermedia Design Method OOHDM.
Methodologies for Web Information System Design
WebRatio BPM: a Tool for Design and Deployment of Business Processes on the Web Stefano Butti, Marco Brambilla, Piero Fraternali Web Models Srl, Italy.
7M822 UML Introduction 7 September 2010.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
HAS. Patterns The use of patterns is essentially the reuse of well established good ideas. A pattern is a named well understood good solution to a common.
Presented by Zeehasham Rasheed
Kari R. Schougaard, PhD Stud. Værktøjer og Teknikker, 2006 UNIVERSITY OF AARHUS Department of Computer Science Unified Modeling Language Visual language.
End-to-End Design of Embedded Real-Time Systems Kang G. Shin Real-Time Computing Laboratory EECS Department The University of Michigan Ann Arbor, MI
1 Ivano Malavolta, University of L’aquila, Computer Science Department Ivano Malavolta DUALLy: an Eclipse platform for architectural languages interoperability.
McGill University Proposal Exam School of Computer Science Ph.D. Candidate in the Modelling, Simulation and Design Lab Eugene Syriani.
Tool support for Enterprise Architecture in System Architect Architecture Practitioners Conference, Brussels David Harrison Senior Consultant, Popkin.
Firat Batmaz, Chris Hinde Computer Science Loughborough University A Diagram Drawing Tool For Semi–Automatic Assessment Of Conceptual Database Diagrams.
An Information Theory based Modeling of DSMLs Zekai Demirezen 1, Barrett Bryant 1, Murat M. Tanik 2 1 Department of Computer and Information Sciences,
The 2nd International Conference of e-Learning and Distance Education, 21 to 23 February 2011, Riyadh, Saudi Arabia Prof. Dr. Torky Sultan Faculty of Computers.
SYSTEMATIC APPROACH TO IBSE IMPLEMENTATION Testimony from Trnava, Slovakia.
Huseyin Ergin and Eugene Syriani. PROBLEM (DIDN’T CHANGE) Development of model transformation is still an error-prone and hard task. One reason is the.
Faculty of Informatics and Information Technologies Slovak University of Technology Peter Kajsa and Ľubomír Majtás Design.
VTT-STUK assessment method for safety evaluation of safety-critical computer based systems - application in BE-SECBS project.
Integrating Business Process Models with Ontologies Peter De Baer, Pieter De Leenheer, Gang Zhao, Robert Meersman {Peter.De.Baer, Pieter.De.Leenheer,
OHTO -99 SOFTWARE ENGINEERING LECTURE 5 Today: - An overview to OO Analysis and OO Design - Introduction of Assignment 2.
A REFACTORING TOOL FOR DESIGN PATTERNS WITH MODEL TRANSFORMATIONS Zekai Demirezen Yasemin Topaloğlu Ege University Department of Computer Engineering
Key Challenges for Modeling Language Creation by Demonstration Hyun Cho, Jeff Gray Department of Computer Science University of Alabama Jules White Bradley.
Alignment of ATL and QVT © 2006 ATLAS Nantes Alignment of ATL and QVT Ivan Kurtev ATLAS group, INRIA & University of Nantes, France
CDL-Flex Empirical Research
ISO/IEC CD and WD : Core Model and Model Mapping ISO/IEC JTC1/SC32/WG September 2005, Toronto SC32/WG2 Japan (Kanrikogaku Ltd) Masaharu.
August/2007 Helton Souza Lima SBCARS 1 Automatic Generation of Platform Independent Built-in Contract Testers Helton Souza Lima Franklin Ramalho Patricia.
Chapter 7 Applying UML and Patterns Craig Larman
1 Workshop on Business-Driven Enterprise Application Design & Implementation Cristal City, Washington D.C., USA, July 21, 2008 How to Describe Workflow.
University of Paderborn Software Engineering Group Prof. Dr. Wilhelm Schäfer Towards Verified Model Transformations Holger Giese 1, Sabine Glesner 2, Johannes.
Abstract We present two Model Driven Engineering (MDE) tools, namely the Eclipse Modeling Framework (EMF) and Umple. We identify the structure and characteristic.
A language to describe software texture in abstract design models and implementation.
Interoperable Visualization Framework towards enhancing mapping and integration of official statistics Haitham Zeidan Palestinian Central.
Exploiting Context Analysis for Combining Multiple Entity Resolution Systems -Ramu Bandaru Zhaoqi Chen Dmitri V.kalashnikov Sharad Mehrotra.
Lecture 6: Structural Modeling
1 Introduction to modeling ER modelling Slides for this part are based on Chapters 8 from Halpin, T. & Morgan, T. 2008, Information Modeling and Relational.
Automata Based Method for Domain Specific Languages Definition Ulyana Tikhonova PhD student at St. Petersburg State Politechnical University, supervised.
Modeling the ODP Computational Viewpoint with UML 2.0: The Templeman Library Example José Raúl Romero, Antonio Vallecillo Universidad de Málaga, Spain.
Dražen Br đ anin Faculty of Electrical Engineering, University of Banja Luka, B&H Towards the Computing Qualifications Standard in Bosnia and Herzegovina.
ModTransf A Simple Model to Model Transformation Engine Cédric Dumoulin.
Experience with student projects:
Winter 2011SEG Chapter 11 Chapter 1 (Part 1) Review from previous courses Subject 1: The Software Development Process.
Banjac, Brdjanin and Maric: Automatic generation of conceptual database model based on collaborative BPMN G. Banjac, D. Brdjanin, S. Maric University of.
Ontology-Based Interoperability Service for HL7 Interfaces Implementation Carolina González, Bernd Blobel and Diego López eHealth Competence Center, Regensurg.
Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.
Of 20 Responsible Authorship Responsible Conduct of Research Seminar George Mason University 2016 Jeff Offutt Professor of Software Engineering, VSE
Toward Entity Retrieval over Structured and Text Data Mayssam Sayyadian, Azadeh Shakery, AnHai Doan, ChengXiang Zhai Department of Computer Science University.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Introduction to modeling
2000 Research Overview Dr. Kim Mens Programming Technology Lab Vrije Universiteit Brussel.
Methodology Review Chapter 7 Part 2: Design Methodology Object-Oriented Modeling and Design Byung-Hyun Ha
A UML-Based Pattern Specification Technique Presented by Chin-Yi Tsai IEEE TRANSACTION ON SOFTWARE ENGINEERING, VOL. 30, NO. 3, MARCH 2004 Robert B. France,
Michael Radloff, Martin Schultz 12th International Conference BPM 2014 Modeling Concepts for Internal Controls in Business Processes – an Empirically Grounded.
International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA Modeling Standards Activity Team Model-based Systems Engineering (MBSE) Initiative Roger Burkhart.
Aspect-oriented Code Generation Approaches Abid Mehmood & Dayang N. A. Jawawi Department of Software Engineering Faculty of Computer Science and Information.
An approach for Integration of Aspect Orientation and Model- Driven Engineering using Aspect- Oriented Code Generation Presenter: Abid Mehmood Advisor:
Towards connecting geospatial information and statistical standards in statistical production: two cases from Statistics Finland Workshop on Integrating.
Conceptual data modeling
Bussines process modeling using BPMN
CSc4730/6730 Scientific Visualization
Presentation transcript:

Dražen Brđanin, Slavko Marić Faculty of Electrical Engineering, University of Banja Luka, Bosnia and Herzegovina Automatic generation of initial conceptual data models from UML activity diagrams 12th Workshop “Software Engineering Education and Reverse Engineering

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams 2 Content Background –Motivation. Research Participants. Introduction –Basic Idea. CDM Automatization Approaches. Related work. Semantic capacity of UML AD (BPM) for automated generation of UML CD (CDM) – Analysis. Specification of formal rules. Target Model weaving Scalability Experimental Results Publication of Research Results Conclusion

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams 3 Background Motivation Business modeling = first phase of IS development –BPM is used for the identification of system requirements –BPM can be used for automated generation of target software models Business modeling and database design use different notations that usually don't conform to the same/common metamodel –BM – characterized by process-oriented notations: IDEF0, EPC, BPMN,... –DB design – ER (IE, IDEF1X, …) traditionally used + UML CD Notational disharmony –problem and challenge in automated CDM design based on BPM –one of the reasons for a fairly small number of research in the field Solution: use of UML for both BM and DB design Research participants Research conducted by mr Dražen Brdjanin, as part of his work on PhD thesis Slavko Marić, advisor and co-author of published papers Several undegraduate and graduate students

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams 4 Basic Idea Automated CDM (UML CD) design based on BPM (UML AD) ? Semantic capacity of AD for automated CDM design is not fully explored and identified yet! Several proposals for CDM based on AD, but there are only a few implementation of automated CDM generator with modest achievements in automated CDM generation!

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams 5 CDM automatization approaches Automatization of CDM design has been the subject of research for many years! CDM Textual specification of information requirements ? Linguistics-based approaches Forms-based approaches Model-based approaches UML AD BPMN

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Related work (1/2) Garcia Molina et al. (ER 2000) propose the initial conceptual model based on UML AD and supplementary glossary Glossary RULES ? direct mapping of all information objects into the respective classes in the target CD creation of class associations based on business rules informally specified in the glossary - NOT suitable basis for automatic generation NO implementation

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Related work (2/2) E1E1 E2E2 E3E3 E4E4 E1E1 E3E3 E2E2 E4E4 BAW1W1 WNWN W1W1 WNWN Rodriguez et al. (FP-UML 2008) propose the direct mapping of all information objects and all business process participants into the respective classes in the target CD QVT implementation ? ? Suarez et al. (WCE 2008) propose automatic creation of associations for activities that have input and output objects, as direct mapping of those activities to the respective associations between corresponding classes Limitations related to automated generation of multiplicities, since they don't propose any explicit rule

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Overview of our approach  direct mapping of all business objects to the respective classes  direct mapping of all business process participants to the respective classes  creation of associations between business objects and business process participants based on actions performed on those objects ADBdesign generator Action Input Output Input Action Role  creation of associations between business objects Action

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (1/8) Semantic capacity of BPM for automated CDM design is not identified yet! Typical business process patterns Object creation Subsequent usage of created object Activation of existing object Subsequent usage of activated existing object generated object existing objects

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (2/8) Creation of objectsSubsequent usage of generated objects

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (3/8) Activation of existing objects

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (4/8) Subsequent usage of activated existing objects eo_state = go

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (5/8) OBJECT-OBJECT associations Suarez et al. (WCE 2008) Proposal for automatic creation of associations for actions that have input and output objects, as direct mapping of those actions to the respective associations between corresponding classes, but without any explicit rule for automated generation of association end multiplicities Our proposal Direct mapping of such action into the set of binary associations Classification of actions regarding the number of different type of IOs and OOs

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (6/8) SISO (Single Input / Single Output) actions

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (7/8) Formal rule for mapping SISO tuple into the set of binary associations ioaoo ifof { weight=w if }{ weight=w of } msms mtmt a1a1 msms mtmt anan iooo

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Semantic capacity of BPM (8/8) MISO actionsSIMO actionsMIMO actions Each MIMO action can be considered as a set of concurrent SISO actions i.e. basic SISO rule is to be applied to each SISO tuple.

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Scalability All previous proposals consider only one single business process diagram! This issue is the subject of the paper that will be presented at ADBIS 2012 Conference (Poznan, Polland) Topcased + ADBdesign plug-in

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Model weaving The implemented two-phase automatic generator (ADBdesign) iterates through the source BM, processes all ADs and generates the target CDM 1 st phase Generation of classes participants objects activations participant – generated object participant - activated object existing object – activation object - object 2 nd phase Generation of associations

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams Experimental results

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams 20 Publication of research results Research results published on a number of internationaly recognised journals and conferences: –D. Brdjanin, S. Marić, “Towards the Automated Business Model-driven Conceptual Database Design”, ADBIS 2012 –D. Brdjanin, S. Marić, “An Approach to Automated Conceptual Database Design Based on the UML Activity Diagram“, ComSIS Journal, Vol. 9, No. 1, January 2012, pp. 251  285 –D. Brdjanin, S. Maric, “On Automated Generation of Associations in Conceptual Database Model”, ER 2011 workshop, Brussels, Belgium, in Advances in Conceptual Modeling, Recent Development and New Directions, LNCS, Vol. 6999, pp 292–301, 2011 –D. Brdjanin, S. Marić, “Towards the initial conceptual database model through the UML metamodel transformations”, Proc. of the EUROCON 2011 – Interna - Itional Conference on "Computer as a tool", Lisbon, Portugal, pp. 1–4, 2011 –D. Brdjanin, S. Marić, D. Gunjic, “ADBdesign: An approach to automated initial conceptual database design based on business activity diagrams“, ADBIS 2010, LNCS, Vol. 6295, pp. 117  131, 2010 –...

Brdjanin and Maric: Automatic generation of initial conceptual data models from UML activity diagrams 21 Conclusion An approach to automated generation of initial CDM (UML CD) based on BPM (UML AD) has been presented. Based on UML metamodel specifications for DAD and CD, and on analysis of semantic capacity of UML DAD, formal rules were defined for automatic generation of initial CDM (UML CD). Two phase automatic generator of initial CDM has been implemented with: Generation of classes corresponding to participants, objects and activations (1st phase) Generation of participant – object and object – object associations (2nd phase), with the corresponding multiplicity. The results of the qualitative and quantitative analysis of the generator’s application to the sample model, as well as the preliminary results of application to some other BPMs in different business domains, show that the generator is able to generate a very high percentage of the target CDM (recall usually exceeds 90%) and has a very high precision (over 90% of all automatically generated concepts are usually correct).

Dražen Brđanin, Slavko Marić University of Banja Luka, Bosnia and Herzegovina Automatic generation of initial conceptual data models from UML activity diagrams 12th Workshop “Software Engineering Education and Reverse Engineering" Thank You!