2,835 Hits in 3.1 sec

Visualization of Complex BPEL Models [chapter]

Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann, Stephan Kottler
2010 Lecture Notes in Computer Science  
Collaboration enhances the need for visualizations of complex workflow models, as team members have to coordinate their activities.  ...  Rectangle (1) depicts the palette of available BPEL elements. The result of our layout approach for this process is shown on the right: The hierarchies of the BPEL model are visualized unfolded.  ... 
doi:10.1007/978-3-642-11805-0_45 fatcat:tbhtnueeqjajhgij4trwfobsie

MaramaEML: An Integrated Multi-View Business Process Modelling Environment with Tree-Overlays, Zoomable Interfaces and Code Generation

Lei Li, John Hosking, John Grundy
2008 2008 23rd IEEE/ACM International Conference on Automated Software Engineering  
It provides support for multiple visual notations including: the Business Process Modelling Notation (BPMN); the EML treebased, multi-layer hierarchical service representation; fisheye zooming capabilities  ...  ; automatic BPEL code generation; and inter-notation mapping.  ...  This provides multi-level support for integrating complex enterprise system models. (5) We have integrated a 3 rd party LTSA engine to verify the correctness of generated BPEL code.  ... 
doi:10.1109/ase.2008.79 dblp:conf/kbse/LiHG08 fatcat:r7sjntxqzjfqrjuu4virf3baky

Semantic wiki aided business process specification

Toufeeq Hussain, Rajesh Balakrishnan, Amar Viswanathan
2009 Proceedings of the 18th international conference on World wide web - WWW '09  
The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved in the design of the system and translates the captured intelligence into business models which are used  ...  This paper formulates a collaborative system for modeling business application.  ...  From the BPEL files, the inherent relationships and processes are linked together to define the complete system. 4. The linked BPEL can then be verified visually through a BPMN modeler.  ... 
doi:10.1145/1526709.1526894 dblp:conf/www/HussainBV09 fatcat:4ykmalwbzfb6dox6d6laz46iqm

A Novel Framework for Defining and Submitting Workflows to Service-Oriented Systems

Hayat Bendoukha, Yahya Slimani, Abdelkader Benyettou
2014 Journal of Information Processing Systems  
JASMIN has two main components: unified modeling language (UML) to specify workflow models and business process execution language (BPEL) to generate and compose Web services.  ...  Service-oriented computing offers efficient solutions for executing complex applications in an acceptable amount of time.  ...  In order to hide the complexity of the execution environment, the workflow model editor is mainly composed of a GUI. This GUI is based on the UML formalism.  ... 
doi:10.3745/jips.02.0003 fatcat:wjkybuv3svgj5no3fzorm7ozsy

Visualization of Traceability Models with Domain-specific Layouting

Ábel Hegedüs, Zoltán Ujhelyi, István Ráth, Ákos Horváth
2010 Electronic Communications of the EASST  
Although the visual representation of such models are important for transformation development and application, mostly ad-hoc solutions are present in industrial environments.  ...  Traceability models are often used to describe the correspondence between source and target models of model transformations.  ...  Case study: Formal Verification of BPEL Processes Business processes implemented in BPEL are often used to create business-to-business collaborations and complex web services.  ... 
doi:10.14279/tuj.eceasst.32.510 dblp:journals/eceasst/HegedusURH10 fatcat:nu5o7jfjszcnto65ckuc64sf4m

A framework towards web services composition modelling and execution

Muhammad Adeel Talib, Zongkai Yang, Qazi Mudassar Ilyas
2006 International Journal of Web and Grid Services  
The biggest challenge of business process management is the provision of non-technical tools, based on implementation standards, which swing control of business processes away from technical departments  ...  These tools aid business users in designing high level process models using graphical notations which can then be mapped to lower level implementation models for execution.  ...  For this functionality we propose the use of a service broker that provides the service URLs upon queries based on functional and non-functional requirements.  ... 
doi:10.1504/ijwgs.2006.008878 fatcat:niwhroehbveafigt635o6juzlu


H. Wu, L. You, Z. Gui
2012 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
GeoChaining is a GWSC modelling tool designed and developed based on these ideas. GeoChaining integrates visual editing, validation, deployment, execution etc. into a unified platform.  ...  However, integrated visual editing interfaces, validation tools, and oneclick deployment wizards may help to lower the learning curve and improve modelling skills so beginners will have a better experience  ...  ACKNOWLEDGEMENT The work described in this paper is supported by the Natural Science Foundation of China under grant 40971211, 41021061 and 41023001. Thanks to Mr.  ... 
doi:10.5194/isprsarchives-xxxviii-4-w25-28-2011 fatcat:arfwvxm42fdtvdhr4fhbbexzqi

WoPeD 2.0 goes BPEL 2.0

Andreas Eckleder, Thomas Freytag
2008 Algorithmen und Werkzeuge für Petrinetze  
This paper gives an overview to the current features of the tool, in particular on the newly-added BPEL export and coverability graph visualization capabilities which will be part of the next major release  ...  WoPeD (Workflow Petrinet Designer) is an easy-to-use, Java-based open source software tool being developed at the University of Cooperative Education, Karlsruhe.  ...  The editing component supports a process model view as well as a resource model view and a functional view (currently BPEL code).  ... 
dblp:conf/awpn/EcklederF08 fatcat:ploz4kup2nazrmior22generwq

Adaptable UI for Web Service Composition: A Model-Driven Approach [chapter]

Waldemar Ferreira Neto
2012 Lecture Notes in Computer Science  
We propose a model-driven engineering approach that provides models and transformational methods that allow deriving and adapting UI for any context of use.  ...  The main objective of this work is to provide User Interfaces (UI) for Web service compositions (WSC).  ...  We have already proposed a BPEL extension able to modelize all types of user interactions within WSC processes, named UI-BPEL meta-model [3] .  ... 
doi:10.1007/978-3-642-31875-7_19 fatcat:cwrndscljfc5rgtqauwtxqcwzu

A view based analysis of workflow modeling languages

M. Vasko, S. Dustdar
2006 14th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP'06)  
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different domains.  ...  The aim of this paper is to discuss their differences and commonalities concerning these aspects.  ...  As the name already says, these processes represent a visual approach for "hiding" workflow complexity from the modeler. Collapsed Sub-processes conceal the internal definitions of a process.  ... 
doi:10.1109/pdp.2006.17 dblp:conf/pdp/VaskoD06 fatcat:2dvakkcmafdnte2xykos6vhbae

ValySeC: A Variability Analysis Tool for Service Compositions Using VxBPEL

Chang-ai Sun, Tieheng Xue, Marco Aiello
2010 2010 IEEE Asia-Pacific Services Computing Conference  
In our previous work, we presented a variability-based approach to address the adaptability issue of service compositions, and developed the VxBPEL, an extension of BPEL with respect to variability.  ...  Due to the fact that such applications in the context of Internet are deployed and executed in an open and dynamic environment, adaptability is one of the crucial requirements for developing such applications  ...  Acknowledgements The authors thank all the contributors of the COVAMOF framework and VxBPEL. This research is supported by the National Natural Science  ... 
doi:10.1109/apscc.2010.30 dblp:conf/apscc/SunXA10 fatcat:4eba4vf6urca3dvdlcecgziede

The Difference Between Graph-Based and Block-Structured Business Process Modelling Languages

Oliver Kopp, Daniel Martin, Daniel Wutke, Frank Leyman
2015 Enterprise Modelling and Information Systems Architectures - An International Journal  
In this paper, we discuss the core characteristics of graph-based and block-structured modelling languages and compare them with respect to their join and loop semantics.  ...  The most prominent business process notations in use today are BPMN, EPC and BPEL.  ...  Acknowledgements This work is an extended version of [KoMa+08] and is supported by the BMBF funded project Tools4BPEL (01ISE08B) and the EU funded project TripCom (FP6-027324).  ... 
doi:10.18417/emisa.4.1.1 dblp:journals/emisaij/KoppMWL09 fatcat:a445ihwoozevhasx2stpp6idnm

Towards Transformations from BPMN to Heterogeneous Systems [chapter]

Tobias Küster, Axel Heßler
2009 Lecture Notes in Business Information Processing  
However, most of these tools are tailored especially for this transformation, neglecting the original purpose of BPMN: Providing a language independent process model.  ...  By now, the mapping from BPMN to BPEL has been implemented in numerous tools, greatly assisting the business architect in the creation of BPEL processes.  ...  Concerning the transformation to BPEL, the support for complex data types will need further refinement.  ... 
doi:10.1007/978-3-642-00328-8_20 fatcat:dykpep4hw5gijlsam5lmihazhy

State propagation for business process monitoring on different levels of abstraction

David Schumm, Gregor Latuske, Frank Leymann, Ralph Mietzner, Thorsten Scheibler
2011 European Conference on Information Systems  
Modeling and execution of business processes is often performed on different levels of abstraction.  ...  Execution Language (BPEL) or as Java code.  ...  Examples: A visual representation of a BPMN task as modeled in the high-level modeling tool is presented to the user instead of a BPEL invoke activity as it is executed in the low-level execution engine  ... 
dblp:conf/ecis/SchummLLMS11 fatcat:b5lolrdrcbdxbdzfis4vgs32cq

Replaying Execution Trace Models for Dynamic Modeling Languages

Ábel Hegedüs, István Ráth, Dániel Varró
2012 Periodica Polytechnica Electrical Engineering  
Our approach will be exemplified by the modeling language and trace information of the SAL model checker and BPEL business processes.  ...  Back-end analysis tools aiming to carry out model-based verification and validation of dynamic behavioral models frequently produce sequences of simulation steps (called execution traces) as their output  ...  Visualization of dynamic state of BPEL processes The generic replay framework works inside the model space of the V2 framework.  ... 
doi:10.3311/ppee.7078 fatcat:niy6adxgsbcf3f6ko64tjfghkm
« Previous Showing results 1 — 15 out of 2,835 results