Sciweavers

1735 search results - page 115 / 347
» Using UML for Business Object Based Systems Modeling
Sort
View
CAISE
2006
Springer
15 years 7 months ago
Model-Driven Enterprise Systems Configuration
Enterprise Systems potentially lead to significant efficiency gains but require a well-conducted configuration process. A promising idea to manage and simplify the configuration pr...
Jan Recker, Jan Mendling, Wil M. P. van der Aalst,...
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 7 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
135
Voted
FORTE
2007
15 years 4 months ago
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
João Abreu, Laura Bocchi, José Luiz ...
183
Voted
MKWI
2008
246views Business» more  MKWI 2008»
15 years 4 months ago
Assessing the effects of IT changes on IT risk - A business process-oriented view
Abstract: The economic relevance of IT risk is increasing due to various operational, technical as well as regulatory reasons. Increasing flexibility of business processes and risi...
Stefan Sackmann
113
Voted
WSC
2004
15 years 4 months ago
Supply Chain Management Tradeoffs Analysis
Supply chain management involves understanding complex interactions between many factors and using the understanding to achieve balance between conflicting objectives. Simulation ...
Sanjay Jain