Sciweavers

301 search results - page 14 / 61
» Transforming Business in the Marketspace
Sort
View
EPK
2006
114views Management» more  EPK 2006»
13 years 8 months ago
Verifying Properties of (Timed) Event Driven Process Chains by Transformation to Hybrid Automata
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
Stefan Denne
JUCS
2010
134views more  JUCS 2010»
13 years 5 months ago
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
: The successful deployment and exploitation of an Information and Communications Technologies (ICT) project in a traditional Public Organization involves the proper design and imp...
Melpomeni Hatzikou, Iraklis-Panagiotis Agiovlasiti...
EPK
2007
155views Management» more  EPK 2007»
13 years 8 months ago
From Process Models to Business Landscapes
: Today, architecture and business processes are modeled separately. The only integration in architectural diagrams is done with Petri nets in the Fundamental Modeling Concept. Sin...
Oliver Kopp, Hanna Eberle, Tobias Unger, Frank Ley...
AGTIVE
2007
Springer
14 years 1 months ago
Assuring Consistency of Business Process Models and Web Services Using Visual Contracts
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
Gregor Engels, Baris Güldali, Christian Solte...
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 7 months ago
Use of UML and Model Transformations for Workflow Process Definitions
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
Audris Kalnins, Valdis Vitolins