Sciweavers

904 search results - page 83 / 181
» Business Process Modeling Tools for Modeling of Organization...
Sort
View
WECWIS
2005
IEEE
140views ECommerce» more  WECWIS 2005»
15 years 9 months ago
Developing Flexible Service Portals
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
Beat Liver, Jeannette Braun, Beatrix Rentsch, Pete...
IJFCS
2006
111views more  IJFCS 2006»
15 years 4 months ago
Completeness and realizability: conditions for automatic generation of workflows
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
WSC
2001
15 years 5 months ago
Discrete simulation development for a proposed shipyard steel processing facility
This paper describes the efforts required to convert conceptual designs and undefined processes for a proposed advanced steel processing shipyard facility into a discrete event si...
Daniel L. Williams, Daniel A. Finke, Deborah J. Me...
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 9 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...