Sciweavers

60 search results - page 6 / 12
» caise 2008
Sort
View
CAISE
2008
Springer
13 years 9 months ago
AutoModelGen: A Generic Data Level Implementation of ModelGen
Abstract. The model management operator ModelGen translates a schema expressed in one modelling language into an equivalent schema expressed in another modelling language, and in a...
Andrew Smith, Peter McBrien
CAISE
2008
Springer
13 years 9 months ago
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
Radu Mateescu, Sylvain Rampacek
CAISE
2008
Springer
13 years 8 months ago
Computer-Aided Method Engineering: An Analysis of Existing Environments
Analogous to Computer-Aided Software Engineering (CASE), which aims to facilitate Software Engineering through specialized tools, ComputerAided Method Engineering (CAME) strives to...
Ali Niknafs, Raman Ramsin
CAISE
2008
Springer
13 years 9 months ago
Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems
Although requirements analysis is acknowledged as a critical success factor of information system development for organizations, problems related to the requirements stage are freq...
José Luis de la Vara, Juan Sánchez, ...
CAISE
2008
Springer
13 years 9 months ago
Reasoning about Substitute Choices and Preference Ordering in e-Services
e-Services are just like normal services, but can be ordered and provisioned via the Internet completely. Increasingly, these e-services are offered as a multi-supplier bundle of e...
Sybren de Kinderen, Jaap Gordijn