Citation Context

...ting a fully automatic translation of CCFNs to readable Java code. 1 Introduction In this paper, we document an approach to automatic generation of executable Java programs based on Colored Petri Net =-=[13, 14]-=- (CPN) models with a clear distinction between the environment and system domains [19]. We will define these restricted CPNs as Colored Control Flow Nets (CCFNs). The approach that this paper presents...

Citation Context

...tate, t), (pout event, t)} : C(pin) = C(pout) = PID}. A CCFN where all places of type STATE, IN EVENT, and OUT EVENT are removed should correspond to a Sound Workflow Net (sound WF-net) as defined in =-=[2]-=-; we refer to this version of CCFN as CCFNPID. Although WF-nets have been defined for classical Petri nets it is easy to generalize the definition to CPN as discussed in [3, 4]. The basic requirement ...

Citation Context

...ting a fully automatic translation of CCFNs to readable Java code. 1 Introduction In this paper, we document an approach to automatic generation of executable Java programs based on Colored Petri Net =-=[13, 14]-=- (CPN) models with a clear distinction between the environment and system domains [19]. We will define these restricted CPNs as Colored Control Flow Nets (CCFNs). The approach that this paper presents...

Citation Context

...y the translations T0sCCFN T0 AJWN T1 Java Fig. 1. Two-phase approach for mapping CCFN to Java. and T1 in Figure 1. T0 maps the control-flow of the CCFN to a AJWN, which is essentially a Workflow net =-=[1]-=- (WF-net) where each transition is associated with a Java statement. The focus of this step is to map construct in the CCFN to Java statements, since the translation of the control-flow is straight-fo...

Citation Context

...bed as a state machine, it would be desirable to be able to map components of AJWNs that are state machines - i.e. to be able to recognize components with the structural properties of state machines. =-=[8, 12]-=- describe algorithms to compile a goto graph into code consisting of loops and alternations. A state machine in a Petri net can be viewed as a goto graph, so it should be possible to adapt their theor...

Citation Context

...ound WF-net) as defined in [2]; we refer to this version of CCFN as CCFNPID. Although WF-nets have been defined for classical Petri nets it is easy to generalize the definition to CPN as discussed in =-=[3, 4]-=-. The basic requirement is that there is one source place and one sink place and all other nodes (places and transitions) are on a path from source to sink. We can test soundness by making a short-cir...

Citation Context

...e in order to show how the system is structured internally and how it communicates with its environment. It is fair to compare the class of CCFN to Colored Workflow Nets (CWNs) as defined and used in =-=[6,15]-=-sin the sense that it was developed to mirror an underlying computational paradigm: CCFN is intended to be used for modeling systems in an imperative manner, whereas CWNs are aimed at developing model...

Citation Context

...bed as a state machine, it would be desirable to be able to map components of AJWNs that are state machines - i.e. to be able to recognize components with the structural properties of state machines. =-=[8, 12]-=- describe algorithms to compile a goto graph into code consisting of loops and alternations. A state machine in a Petri net can be viewed as a goto graph, so it should be possible to adapt their theor...

Citation Context

... tool-based support for generating rapid prototypes. CPN models are useful for expressing functional requirements for reactive systems by representing required behavior at a high level of abstraction =-=[10, 11]-=-. Reactive systems [20] are a special class of computer systems that are characterized by a close coupling with the surrounding environment through an interface of sensors and actuators. Typical examp...

Citation Context

...and from CPN to Java are different, since BPEL is a language that directly supports many of the structural component types, whereas the imperative nature of Java complicates the translation. Philippi =-=[18]-=- outlines three methods for translating high-level Petri nets (such as CPNs) to imperative code: structural-, simulation-, and reachability-based. He dismisses a structural approach as we propose in t...

Citation Context

...e in order to show how the system is structured internally and how it communicates with its environment. It is fair to compare the class of CCFN to Colored Workflow Nets (CWNs) as defined and used in =-=[6,15]-=-sin the sense that it was developed to mirror an underlying computational paradigm: CCFN is intended to be used for modeling systems in an imperative manner, whereas CWNs are aimed at developing model...

Citation Context

...paper, we document an approach to automatic generation of executable Java programs based on Colored Petri Net [13, 14] (CPN) models with a clear distinction between the environment and system domains =-=[19]-=-. We will define these restricted CPNs as Colored Control Flow Nets (CCFNs). The approach that this paper presents is intended to contribute to the model-driven software paradigm by allowing the user ...

Citation Context

...This form is expressed in a special kind of Petri nets that we call Annotated Java Workflow Nets (AJWNs); see Definition 5. Note that the framework for translating annotated WF-nets was introduced in =-=[7]-=-, we refer to Section 6 on a discussion on how our approach related to what was done in [7]. Definition 5 (Annotated Java Workflow Nets). An Annotated Java Workflow Net is a tuple AJWN = (P, T, F, τ, ...

Citation Context

... parts. This means that the code he generates is difficult to read since e.g. a sequence of transitions are not mapped to a sequence of statements, but instead a high-level CPN interpreter. Mortensen =-=[17]-=- translates CPNs to executable code. His method is a simulation-based one in which he takes the simulation image of a running CPN and extract the code it was build from (CPNs in his paper are compiled...

Citation Context

... tool-based support for generating rapid prototypes. CPN models are useful for expressing functional requirements for reactive systems by representing required behavior at a high level of abstraction =-=[10, 11]-=-. Reactive systems [20] are a special class of computer systems that are characterized by a close coupling with the surrounding environment through an interface of sensors and actuators. Typical examp...

Citation Context

...erating rapid prototypes. CPN models are useful for expressing functional requirements for reactive systems by representing required behavior at a high level of abstraction [10, 11]. Reactive systems =-=[20]-=- are a special class of computer systems that are characterized by a close coupling with the surrounding environment through an interface of sensors and actuators. Typical examples of reactive systems...