1,109 Hits in 1.9 sec

Adding Sessions to BPEL

Jonathan Michaux, Elie Najm, Alessandro Fantechi
2012 Electronic Proceedings in Theoretical Computer Science  
By considering an essential subset of the BPEL orchestration language, we define SeB, a session based style of this subset. We discuss the formal semantics of SeB and we present its main properties.  ...  Relying on these semantics, we define precisely what is meant by interaction safety, paving the way to the formal analysis of safe interactions between BPEL services.  ...  The resulting formalism, that we call SeB for Sessionized BPEL, supports sessions as first class citizens of the language.  ... 
doi:10.4204/eptcs.98.7 fatcat:3ifjvo7la5hkfpfb3xya3ztlky

Checking Session-Oriented Interactions between Web Services

Pavel Parizek, Jiri Adamek
2008 Proceedings of the EUROMICRO Conference  
The reason is that the web services often work as front-ends to enterprise systems and are used in a session-oriented way by the clients.  ...  The key idea behind the tool is to translate the BPEL code into Java and then to check the Java program using Java PathFinder with behavior protocol extension.  ...  The stubSEND and stubRECEIVE methods are empty stubs that are added to the Java program by the translator tool.  ... 
doi:10.1109/seaa.2008.11 dblp:conf/seaa/ParizekA08 fatcat:tyeygif3cjhibletsf5bohyo4e

Visualization of Complex BPEL Models [chapter]

Benjamin Albrecht, Philip Effinger, Markus Held, Michael Kaufmann, Stephan Kottler
2010 Lecture Notes in Computer Science  
Team members have different views on the BPEL model edited in a HOBBES session, to enable parallel development activities.  ...  HOBBES is a web-based BPEL development system, which enables synchronous collaboration sessions [3, 4] .  ... 
doi:10.1007/978-3-642-11805-0_45 fatcat:tbhtnueeqjajhgij4trwfobsie

TeamCom: A Service Creation Platform for Next Generation Networks

A. Lehmann, T. Eichelmann, U. Trick, R. Lasch, B. Ricks, R. Tönjes
2009 2009 Fourth International Conference on Internet and Web Applications and Services  
The development of value added services is currently still very time and cost consuming.  ...  Forthe service description a language that has been optimized for business prozesses is suggested: the Business Process Execution Language (BPEL).  ...  The following enumeration is a subset of services to be evaluated: • Session based services (e.g. active, passive, parallel or sequential sessions) • Conferences (e.g. audio and/or video) • Call-control  ... 
doi:10.1109/iciw.2009.10 dblp:conf/iciw/LehmannETLRT09 fatcat:nehncxz2nbbzhj3jtom3hjj7ne

WS-AMUSE - web service architecture for multimedia services

Andreas Scholz, Christian Buckl, Alfons Kemper, Alois Knoll, Jörg Heuer, Martin Winter
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
The results of a BPEL based prototypical implementation of a Voice-over-IP application show that the service oriented approach and the automaton based modeling language can satisfy the above mentioned  ...  Possible solutions to circumvent these deficiencies are presented at the end of the paper.  ...  This is for example very useful, when the application code must be adapted to the used platform, or new functionality should be added to many nodes simultaneously.  ... 
doi:10.1145/1368088.1368188 dblp:conf/icse/ScholzBKKHW08 fatcat:igsjhj26fvenvg27qn6po2c5jy

Pervasive enablement of business processes

D. Chakraborty, Hui Lei
2004 Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the  
PerCollab uses an extended BPEL to formally define business processes with human partners and exploits dynamic user context to solve the personal mobility problem.  ...  Current workflow-based implementations of business processes constrain users to the desktop environment; require them to periodically check for pending tasks; and do not support direct or synchronous people-to-people  ...  Ad hoc collaboration tools on the other hand would also benefit from explicit process support in WFMS and provide more value-added features to their users.  ... 
doi:10.1109/percom.2004.1276848 dblp:conf/percom/ChakrabortyL04 fatcat:fi6gjfk4frhmxgihkpu2xormxy

MicroMAIS: executing and orchestrating Web services on constrained mobile devices

Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Barbara Pernici, Sandeep Yadav
2011 Software, Practice & Experience  
Permanent repository link: Link to published version: http://dx.  ...  ACKNOWLEDGEMENTS The authors would like to thank all the students that helped them in developing mAS and µ-BPEL.  ...  A special thank to Matteo Galli, Giovanni Furnari, Tommaso Codella, Paola Sandrinelli, Matteo Sansalone.  ... 
doi:10.1002/spe.1106 fatcat:egg3bimbhvdntfmny7w3ehpglq

Business process choreography in WebSphere: Combining the power of BPEL and J2EE

M. Kloppmann, D. Konig, F. Leymann, G. Pfau, D. Roller
2004 IBM Systems Journal  
For easier reference, the language resulting from adding those extensions to the core BPEL language is called BPEL+ in this paper.  ...  To solve that problem, support for HA must be added to the individual components.  ... 
doi:10.1147/sj.432.0270 fatcat:drpfyztw5baaba7zrcsjarswda

Session types for safe Web service orchestration

Jonathan Michaux, Elie Najm, Alessandro Fantechi
2013 The Journal of Logic and Algebraic Programming  
Highlights • We give a novel formal semantics of the BPEL orchestration language. • We extend BPEL to support sessions. • We provide behavioural typing of services by using typed sessions. • We provide  ...  The main novelty in SeB, compared to BPEL, resides in the addition of the session initiation, a new kind of atomic activity, and in the way sessions impact the invoke and receive activities.  ...  SeB also inherits from BPEL the possibility of having control links between concurrent subactivities contained in a flow, as well as adding a join condition to any activity.  ... 
doi:10.1016/j.jlap.2013.05.004 fatcat:fdimbjgfmjgarffarwvacqvdzm

Blind-date conversation joining

Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2017 Service Oriented Computing and Applications  
We provide an implementation of this strategy by using the standard orchestration language WS-BPEL.  ...  We then present its formal semantics by resorting to COWS, a process calculus specifically designed for modelling service-oriented applications.  ...  This will permit to guarantee desired properties like those defined for dyadic and multiparty session types.  ... 
doi:10.1007/s11761-017-0214-0 fatcat:letkdmkpl5a6tfizxh3opl4b4q

Blind-date Conversation Joining

Luca Cesari, Rosario Pugliese, Francesco Tiezzi
2013 Electronic Proceedings in Theoretical Computer Science  
We provide an implementation of this strategy by using the standard orchestration language WS-BPEL.  ...  We then present its formal semantics by resorting to COWS, a process calculus specifically designed for modelling service-oriented applications.  ...  This will permit to guarantee desired properties like those defined for dyadic and multiparty session types.  ... 
doi:10.4204/eptcs.123.3 fatcat:2z4yymjoabcfpomj3lx3vq2kmy

An enabler gateway for service composition using SIP

Shanmugalingam Sivasothy, Gyu Myoung Lee, Noel Crespi, Emmanuel Bertin
2009 2009 13th International Conference on Intelligence in Next Generation Networks  
To deliver the advanced services in IP Multimedia subsystem (IMS), composition of many services is needed.  ...  However, IMS standard does not specify properly the architecture for the Session Initial Protocol (SIP) based service composition.  ...  Business Process Execution Language(BPEL) BPEL is a specification and modeling language used in Web services composition and well known to large base of service developer.  ... 
doi:10.1109/icin.2009.5357077 fatcat:mqbz3iyw3rc5datocg4256jm3a

Formal Modeling and Discrete-Time Analysis of BPEL Web Services [chapter]

Radu Mateescu, Sylvain Rampacek
2008 Lecture Notes in Business Information Processing  
Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm.  ...  The discrete-time transition systems modeling the behavior of Bpel descriptions are obtained by an exhaustive simulation based on a formalization of Bpel semantics using the Algebra of Timed Processes  ...  provide newly added functionalities.  ... 
doi:10.1007/978-3-540-68644-6_13 fatcat:dtis4on4vjfnxkodgipn2lzobu

Structured collaborative workflow design

Markus Held, Wolfgang Blochinger
2009 Future generations computer systems  
Collaborative Features Workflow Sessions and Phase Management At the beginning of a team session, the team leader has sole access to the workflow until she decides to share the session, after which other  ...  Afterward she will switch the session to a new collaborative phase.  ...  A popular example is Subetha-Edit, which uses Apple's Bonjour protocol to automatically find peers in local area networks but also can be used on the Internet [42] .  ... 
doi:10.1016/j.future.2008.12.005 fatcat:y62rr2mxnncmpbl6dr656757ii

Management of interactive business processes in decentralized service infrastructures through event processing

Thomas Schlegel, Krešimir Vidačković, Sebastian Dusch, Ronny Seiger
2012 Journal of King Saud University: Computer and Information Sciences  
As being able to interact with such processes and running services is crucial in such an infrastructure, we provide a concept for creating ad-hoc user interactions on a monitoring dashboard, which allows  ...  In such a setting, it becomes even irrelevant if process execution is based on the Web Service Business Process Execution Language (WS-BPEL) or the executable Business Process Model and Notation (BPMN)  ...  It also contains a session management component, which stores the sessions of users, including the current connections to the different user interfaces used for input from and output to the user.  ... 
doi:10.1016/j.jksuci.2012.03.001 fatcat:li3fk4i5rbhczo6fbm2npaut7i
« Previous Showing results 1 — 15 out of 1,109 results