Sciweavers

1522 search results - page 9 / 305
» Supporting Dynamic Process Specifications Using Communicatio...
Sort
View
EDOC
2009
IEEE
13 years 11 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis
UML
2001
Springer
13 years 11 months ago
Calculating with Concepts: a Technique for the Development of Business Process Support
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
Remco M. Dijkman, Luís Ferreira Pires, Stef...
ICDE
2006
IEEE
147views Database» more  ICDE 2006»
14 years 1 months ago
Efficient Processing of Updates in Dynamic XML Data
It is important to process the updates when nodes are inserted into or deleted from the XML tree. All the existing labeling schemes have high update cost, thus in this paper we pr...
Changqing Li, Tok Wang Ling, Min Hu
WSC
2008
13 years 9 months ago
A systems engineering process supporting the development of operational requirements driven federations
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
Andreas Tolk, Thomas G. Litwin, Robert H. Kewley
CAISE
2006
Springer
13 years 11 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck