1,050 Hits in 6.7 sec

Formal Modeling And Verification Of Software Models

Siamak Rasulzadeh
2008 Zenodo  
Using this technique, we present a highly understandable yet precise approach to formally model and analyze the behavioral semantics of UML 2.0 Activity diagrams.  ...  In our proposal, AGG is used to design Activities, then using our previous approach to model checking graph transformation systems, designers can verify and analyze designed Activity diagrams by checking  ...  ACKNOWLEDGMENT This research was partially done while the first author was in university of Politecnico di Milano (Italy) as a visiting researcher and would like to thank the supports provided by Professor  ... 
doi:10.5281/zenodo.1082635 fatcat:3qnua4lwd5eqhalogyatho3izy

Analysis of UML Activities Using Dynamic Meta Modeling [chapter]

Gregor Engels, Christian Soltenborn, Heike Wehrheim
2007 Lecture Notes in Computer Science  
In this paper, we exemplify this by showing how DMM can be used to give a semantics to and define an associated analysis technique for UML Activities.  ...  DMM has been designed with the aim of getting highly understandable yet precise semantic models which in particular allow for a formal analysis.  ...  In this paper, we exemplify the DMM's ability of allowing for a formal analysis by means of defining an automatic analysis technique for UML Activities.  ... 
doi:10.1007/978-3-540-72952-5_5 fatcat:u6nmj7ntwvbibjjlmsrievu2xy

Use of UML and Model Transformations for Workflow Process Definitions [article]

Audris Kalnins, Valdis Vitolins
2006 arXiv   pre-print
Currently many different modeling languages are used for workflow definitions in BPM systems.  ...  Authors of this paper analyze the two most popular graphical languages, with highest possibility of wide practical usage - UML Activity diagrams (AD) and Business Process Modeling Notation (BPMN).  ...  Using the described MDD approach the defined workflows can be transformed to any vendor specific execution language.  ... 
arXiv:cs/0607044v1 fatcat:q4iqdgsbvnarzitepjskev34ua

A Framework for Modeling and Analysis UML Activity Diagram using Graph Transformation

Yasmina Rahmoune, Allaoua Chaoui, Elhillali Kerkouche
2015 Procedia Computer Science  
In this paper, we propose a framework to transform automatically UML activity diagram 2.0 (informal notation) to Petri Nets (formal notation) for the analysis purpose using INA analyzer tool.  ...  Based on these meta-models, we define a graph grammar that performs the transformation process. AToM3 is used as a tool for meta-modeling and graph transformation.  ...  To achieve this transformation, we have used UML Class diagram formalism as meta-formalism and proposed two meta-models for the input models (UML activity diagrams) and output models (Petri Nets); we have  ... 
doi:10.1016/j.procs.2015.07.261 fatcat:3b35y2mexzdpdk3l23flnfdsmm

Model to Program and Blockchain Approaches for Business Processes and Workflows in Finance

Meriem Kherbouche, Galena Pisoni, Bálint Molnár
2022 Applied System Innovation  
We create a UML profile for the blockchain, then we combine it with a UML activity diagram followed by a verification using Petri nets to guarantee a distributed computing system and scalable with mutable  ...  We overview the opportunities for the application of blockchain in Business Process Management and Modeling in Finance and we focus on in-depth analysis of claim process in insurance as a use case.  ...  It helps in the formal description, modeling, and formal analysis of information systems and business process modeling.  ... 
doi:10.3390/asi5010010 fatcat:64sbcwzoqrc7lcnvmleaox3k4i

Experiences in Enhancing Existing BPM Tools with BPEL Import and Export [chapter]

Jan Mendling, Kristian Bisgaard Lassen, Uwe Zdun
2006 Lecture Notes in Computer Science  
Yet, several existing systems utilize graph-based BPM languages such as EPCs, Workflow Nets, UML Activity Diagrams, and BPMN in their modeling component while BPEL is rather a block-oriented language inspired  ...  The broad industry acceptance of BPEL forces workflow and BPM system vendors to consider respective import and export interfaces.  ...  Such graph-based languages like EPCs, UML Activity Diagrams, BPMN, or Workflow nets are used by many BPM modeling tools because they are handy in the analysis and design phase of a project.  ... 
doi:10.1007/11841760_24 fatcat:ltijnvigona6nkey7yw26nhgsm

A Novel Approach to Increase Efficiency of OSS/BSS Workflow Planning and Design [chapter]

Tetiana Kot, Andrey Reverchuk, Larysa Globa, Alexander Schill
2012 Lecture Notes in Business Information Processing  
This results in the need for constant adaptation and expansion of OSS/BSS 1 used in mobile operator networks. Currently, adaptation and expansion strategies are poorly formalized and validated.  ...  The developed tool provides automation of service planning, computational independent workflow design and its transformation into its realization model.  ...  Figure 5 Fig. 5 . 55 Example workflow used within a case study 3 UML Activity Diagram 4  ... 
doi:10.1007/978-3-642-30359-3_13 fatcat:tw7jckbkrfb7fbz4aadcyeddne

Petri net-based semantics for verification and validation of workflow patterns

Ahmed Nait Sidi Moh
2013 International Journal of Services Operations and Informatics  
UML can be used to model web services interactions and reengineered diagrams using Petri nets like semantics instead of state machines.  ...  Modelling and performance analysis is one of the most important issues in business processes.  ...  Since then, UML 2.0 was released, and the formalism for activity diagrams was re-engineered and thus subject to a lot of changes.  ... 
doi:10.1504/ijsoi.2013.059355 fatcat:xkpftfcqjfgjjl66m7avept7cm

Towards traceability of model-based testing artifacts

Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2007 Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07  
Traceability is required to support activities such as result evaluation, regression testing and coverage analysis.  ...  Their fine granularity enables the support for result evaluation, coverage analysis and regression testing.  ...  They propose an extension of UML 2.0 activity diagram metamodel, named Concurrent Control Flow Graph (CCFG), to support control flow analysis of sequence diagrams.  ... 
doi:10.1145/1291535.1291546 dblp:conf/amost/NaslavskyZR07 fatcat:dueseijdbjeihlyjbjtvifjrcy

Use of Models and Modelling Techniques for Service Development [chapter]

Luís Ferreira Pires, Marten van Sinderen, Cléver Ricardo Guareis de Farias, João Paulo Andrade Almeida
2004 IFIP International Federation for Information Processing  
The paper presents a short introduction to MDA, in the context of service development, and an overview of the modelling capabilities of the Unified Modelling Language (UML), one of MDA's main modelling  ...  PSMs), possibly through (automated) model transformations.  ...  This metamodel can be expressed in terms of the UML and/or MOF standards. Model transformation is useful if formally or systematically defined.  ... 
doi:10.1007/1-4020-7907-9_33 fatcat:vlaxrm5c3rb3fhoey67aehzohm

Change Management In Business Process Modeling Based On Object Oriented Petri Net

Bassam Atieh Rajabi, Sai Peck Lee
2009 Zenodo  
Graph based formalism and rule based formalism are the two most predominant formalisms on which process modeling languages are developed.  ...  Graph based formalisms incur problems to react to dynamic changes in Business Process (BP) at the runtime instances.  ...  Examples for the graph based modeling languages are: UML 2.0 Activity Diagram (AD) [7] [8] which is designed for modeling BP and flows in software systems; Business Process Definition Meta-model (BPDM  ... 
doi:10.5281/zenodo.1072259 fatcat:dyqmfmrthbf4bohgtvog4iyheu

Semantic-Based Development of Service-Oriented Systems [chapter]

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
2006 Lecture Notes in Computer Science  
and quantitative analysis methods, and model transformations from UML to process calculi.  ...  The results are illustrated by a case study in the area of automotive systems.  ...  (Attributed Graph Grammar System) uses an algebraic model transformation approach based on attributed graphs grammars.  ... 
doi:10.1007/11888116_3 fatcat:lkiwczznjzfbrcy5fcgifbyeaq

Analysis, Transformation, and Improvements of ebXML Choreographies Based on Workflow Patterns [chapter]

Ja-Hee Kim, Christian Huemer
2004 Lecture Notes in Computer Science  
We use the workflow patterns to specify the transformation from UMM to BPSS where possible. Furthermore, the workflow patterns help to show the limitations of UMM and BPSS and to propose improvements.  ...  Our analysis of UMM and BPSS by workflow patterns shows that their expression power is not always equivalent.  ...  Furthermore, UMM does not use all features of UML activity graphs due to a more restrictive meta model.  ... 
doi:10.1007/978-3-540-30468-5_7 fatcat:7oetmz4rbba7teoxqjnnwm3l4a

Semantics and Verification of Data Flow in UML 2.0 Activities

Harald Störrle
2005 Electronical Notes in Theoretical Computer Science  
One of the major changes in going from UML 1.5 to UML 2.0 is the reengineering of activity diagrams.  ...  The paper shows, where the constructs proposed in the standard are not so easily formalized, and how the formalisation may be used for formal analysis.  ...  Fig. 5 . 5 A small portion of the UML 2.0 metamodel: Activities either have Actions or a graph of ActivityNodes and ActivityEdges (left); kinds of nodes and edges (right).  ... 
doi:10.1016/j.entcs.2004.08.046 fatcat:7ks7kt6p2bapvo43463zsssgje

Advanced Approach to Future Service Development [chapter]

Tetiana Kot, Larisa Globa, Alexander Schill
2013 Lecture Notes in Computer Science  
It employs a well-defined workflow and analysis model for developing and adapting complex software systems. The applicability of this novel approach is confirmed by an implemented software tool.  ...  independent workflow transformation into its execution model.  ... 3 UML Activity Diagram. 4  ... 
doi:10.1007/978-3-642-40552-5_21 fatcat:ngb7glzlznceponlti25ld7qvy
« Previous Showing results 1 — 15 out of 1,050 results