WEBER, H., PADBERG, J., AND S UNB UL, A. Petri net based components for evolvable architectures. IEEE International Conference on Systems Integration. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Architectural Design of Component Composition Using First Class.. - Sünbül (2000) (Correct)
....s 0 , s 1 , s n and s 1 ; s n can only be used, if the initialization service s 0 has been invoked before, the component constraint formula would be the place to formulate this kind of condition. Examples for possible notations of component constraints are temporal logic formulas [20, 21], and path expressions [16] Specification A specification expresses either the functionality of a service exported by a component or the required functionality of an imported service. No further assumption about the format and notation of this specification is made on the highest abstraction ....
....of imported services in the body of the component. Typically, a use structure is given as a net describing possible orderings of service usages while executing exported services. A use structure must be matched against the constraints given by the components the services of which are used. In [20] and [21] import petri nets are used to model the usage of imported services of the component. The following function definitions bring the above universes and the previously introduced components and services of our model together: functions ComponentConstraint(c : Component) Constraint; P ....
WEBER, H., PADBERG, J., AND S UNB UL, A. Petri net based components for evolvable architectures. IEEE International Conference on Systems Integration.
Design Connectors in Component Based Software Systems - Sünbül (Correct)
....s 0 , s 1 , s n and s 1 ; s n can only be used, if the initialization service s 0 has been invoked before, the component constraint formula would be the place to formulate this kind of condition. Examples for possible notations of component constraints are temporal logic formulas [30, 31], and path expressions [24] Speci cation A speci cation expresses either the functionality of a service exported by a component or the required functionality of an imported service. No further assumption about the format and notation of this speci cation is made on the highest abstraction level. ....
....of imported services in the body of the component. Typically, a use structure is given as a net describing possible orderings of service usages while executing exported services. A use structure must be matched against the constraints given by the components the services of which are used. In [30] and [31] import petri nets are used to model the usage of imported services of the component. The following function de nitions bring the above universes and the previously introduced components and services of our model together: functions ComponentConstraint(c : Component) Constraint; P ....
Weber, H., Padberg, J., and S unb ul, A. Petri net based components for evolvable architectures. To appear IDPT 2000.
Evolutionary Development Of Business Process Centered.. - Weber, Sünbül, Padberg (2000) (3 citations) Self-citation (Weber Padberg) (Correct)
....level is covered by the application of component strategies. In this paper we will present a concept for the design of evolution in workflow components [2] and explain the composition of these components. 1 This paper describes the conceptual foundations and design aspects of Eva. In contrast, [17] (also submitted to IDPT2000) focuses on the formal foundations of Eva Keywords: evolutionary architectures, business objects, composable components, composition, workflows, Funsoft nets 1 Software Architectural Evolution Today, enterprises must react to continuously changing requirements ....
....the following concepts: ffl For modeling business processes we use a special high level petri nets, so called Feva nets offering structured and formalized descriptions of workflows. Feva nets are characterized by the use of temporal logic, different switching modes and typing of the places [17, 2]. The tokens of Feva nets carry value and are typed using a rich type system. Feva nets have a flexible and adaptable firing behavior, and are tailored to model business processes in business applications. A more detailed description of Feva nets can be found in [17] ffl As the basic design ....
[Article contains additional citation context not shown here]
H. Weber, J. Padberg, and A. Sunbul. Petri net based components for evolvable architectures. Submitted to IDPT 2000. 10
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC