Verifying temporal properties of processes
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Process Management in Practice Applying the FUNSOFT NetApproach to Large-Scale Processes
Automated Software Engineering
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract)
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Evolutionary Development Of Business Process Centered Architectures Using Component Technologies
Journal of Integrated Design & Process Science
Evolutionary Development Of Business Process Centered Architectures Using Component Technologies
Journal of Integrated Design & Process Science
A feature-based semantics model of reusable component
APWeb'06 Proceedings of the 2006 international conference on Advanced Web and Network Technologies, and Applications
Hi-index | 0.01 |
Evolvable architectures are an important design principle in order to cope with the continuously changing requirements for information systems. These changes are induced by changes of the market, changes of the society, and changes of the technology. We propose a design strategy for evolvable architectures, called EVA¹. This approach is component-based and process-centered. We suggest also to consider business process as composed of components. The main focus of this paper are components of business processes in terms of net components and their composition in this approach. We use net components that are based on Petri nets. The nets are restricted FUNSOFT nets. These nets, called FEVA net are used to model business processes as well as their consistent composition.