Sciweavers

1039 search results - page 117 / 208
» Using GXL for exchanging business process models
Sort
View
APSEC
2003
IEEE
15 years 9 months ago
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
Siv Hilde Houmb, Jan Jürjens
136
Voted
WER
2004
Springer
15 years 9 months ago
Integrating Natural Language Oriented Requirements Models into MDA
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
Maria Carmen Leonardi, María Virginia Mauco
123
Voted
CAISE
1999
Springer
15 years 8 months ago
Modeling Dynamic Domains with ConGolog
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
Yves Lespérance, Todd G. Kelley, John Mylop...
ICDT
2012
ACM
251views Database» more  ICDT 2012»
13 years 6 months ago
Computing universal models under guarded TGDs
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
André Hernich
WSC
1998
15 years 5 months ago
The Use of Simulation for Construction Elements Manufacturing
The manufacture of pre-cast concrete building elements consists of a few manufacturing steps. The process itself is simple, but the characteristics of the business are quite rando...
Katy Vern, Ali K. Gunal