Results 1 - 10 of 71

A feature-complete Petri net semantics for WS-BPEL 2.0 and its compiler BPEL2oWFN

by Niels Lohmann - In WS-FM 2007, LNCS , 2007
"... Abstract. We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to a ..."
Abstract - Cited by 73 (22 self) - Add to MetaCart
Abstract. We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics

Formal Semantics and Analysis of Control Flow in WS-BPEL

by Chun Ouyang, Eric Verbeek, Wil M. P. Van Der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. Ter Hofstede - PROGRAMMING 67(2/3):PP. 162-198. © COPYRIGHT 2007 ELSEVIER , 2007
"... Web service composition refers to the creation of new (Web) services by combining functionality provided by existing ones. A number of domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL). The ..."
Abstract - Cited by 31 (6 self) - Add to MetaCart
Web service composition refers to the creation of new (Web) services by combining functionality provided by existing ones. A number of domain-specific languages for service composition have been proposed with consensus being formed around a process-oriented language known as WS-BPEL (or BPEL

A Petri net Semantic for BPEL4WS - Validation and Application

by Karsten Schmidt, Christian Stahl - Universität Paderborn , 2004
"... Abstract. We translated a small business process into a recently defined Petri net semantic. Then we used the tool LoLA for validating the semantic as well as for proving relevant properties of the particular process. 1 ..."
Abstract - Cited by 21 (2 self) - Add to MetaCart
Abstract. We translated a small business process into a recently defined Petri net semantic. Then we used the tool LoLA for validating the semantic as well as for proving relevant properties of the particular process. 1

Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets

by Christoph Eichner, Hans Fleischhack, Ulrik Schrimpf, Christian Stehno - In 12th Int. SDL Forum, volume 3530 of LNCS , 2005
"... Abstract. With the introduction of UML 2.0, many improvements to diagrams have been incorporated into the language. Some of the major changes were applied to sequence diagrams, which were enhanced with most of the concepts from ITU-T’s Message Sequence Charts, and more. In this paper, we introduce a ..."
Abstract - Cited by 18 (0 self) - Add to MetaCart
a formal semantics for most concepts of sequence diagrams by means of Petri nets as a formal model. Thus, we are able to express the partially ordered and concurrent behaviour of the diagrams natively within the model. Moreover, the use of coloured high-level Petri nets allows a comprehensive

Towards a formal semantics of UML 2.0 activities

by Harald Störrle, Jan Hendrik Hausmann, Universität Paderborn - In Proceedings German Software Engineering Conference, volume P-64 of LNI , 2005
"... Abstract: The new version 2.0 of the Unified Modeling Language (UML) was targeted at improving expressiveness and semantic precision. These developments are particularly evident in activity diagrams which have not only acquired many new features, but a completely new metamodel and semantic foundatio ..."
Abstract - Cited by 27 (0 self) - Add to MetaCart
Abstract: The new version 2.0 of the Unified Modeling Language (UML) was targeted at improving expressiveness and semantic precision. These developments are particularly evident in activity diagrams which have not only acquired many new features, but a completely new metamodel and semantic

Semantics of Control-Flow in UML 2.0 Activities

by unknown authors
"... The recent major revision of the UML [23] has introduced significant changes and additions. In particular, the metamodel portion underlying Activity Diagrams has been completely reengineered, with Activity being the central concept, the successor of ActivityGraph in UML 1.5. In this paper, a denotat ..."
Abstract - Add to MetaCart
denotational and compositional semantics for Activities is defined as a mapping from Activities into Procedural Petri nets [21]. The semantics excludes data type annotations and all features based on them, but includes all kinds of control flow, including non well-formed concurrency and, particularly

Improving UML with Petri nets

by Luciano Baresi, Mauro Pezzè, Baresi Pezzè - ENTCS , 2001
"... UML is the OMG standard notation for object-oriented modeling. It is easy, graphical and appealing, but in several cases still too imprecise. UML is strong as modeling means, supplies several different diagrammatic notations for representing the different aspects of a system under development, but l ..."
Abstract - Cited by 8 (1 self) - Add to MetaCart
, but lacks simulation and verifiability capabilities. This drawbackcomes from its semi-formal nature: UML is extremely precise and wide if we consider syntactical aspects, but its semantics is as precise as those of informal notations. Scientists and users, together with standardization efforts (UML 2.0

Towards a Petri-net Semantics of Data Flow in UML 2.0 Activities

by Harald Störrle
"... The Unified Modeling Language (UML) is the de facto standard for modeling software. Currently, the UML is moving from version 1.5 to version 2.0. There are many improvements in this new version, and one of the biggest is the reengineering of activity diagrams. Activity diagrams have an extremely ric ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
rich syntax, providing notations for sequencing, branching, concurrency, exceptions, procedure calling, various control structures, data flow, stream processing, and bulk data processing. This paper examines the data flow aspect of activity diagrams as described in the UML 2.0, defines a simplified

Compositional Semantics for Open Petri Nets based on Deterministic Processes

by P. Baldan, A. Corradini, H. Ehrig, R. Heckel , 2001
"... In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designated as open, represent an interface of the system towards the environment. Besides generalizing the token game to reflect ..."
Abstract - Cited by 29 (6 self) - Add to MetaCart
and synchronization of transitions. The deterministic process semantics is shown to be compositional with respect to such composition operation. If a net Z 3 results as the composition of two nets Z 1 and Z 2 , having a common subnet Z 0 , then any two deterministic processes of Z 1 and Z 2 which "

Semantics of UML 2.0 Activities with Data-Flow

by Harald Störrle , 2004
"... One of the major improvements of UML 2.0 over UML 1.5 is the reengineering of Activity Diagrams. It is claimed in the standard that they now have a Petri-net like meaning. In this paper, this claim is examined by defining a denotational semantics for Activities based on Colored Petri-nets. The de ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
One of the major improvements of UML 2.0 over UML 1.5 is the reengineering of Activity Diagrams. It is claimed in the standard that they now have a Petri-net like meaning. In this paper, this claim is examined by defining a denotational semantics for Activities based on Colored Petri-nets
Results 1 - 10 of 71