Pascal van Eck, Jaap Gordijn, Roel Wieringa
Proceedings of the 21st International Conference on Advanced Information Systems Engineering
CAiSE, 2009.

@proceedings{CAiSE-2009,
	address       = "Amsterdam, The Netherlands",
	doi           = "10.1007/978-3-642-02144-2",
	editor        = "Pascal van Eck and Jaap Gordijn and Roel Wieringa",
	isbn          = "978-3-642-02143-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 21st International Conference on Advanced Information Systems Engineering}",
	volume        = 5565,
	year          = 2009,
}

Contents (42 items)

13 ×#modelling
7 ×#using
6 ×#process
5 ×#web
4 ×#analysis
4 ×#towards
4 ×#web service
3 ×#automation
3 ×#case study
3 ×#concept

CAiSE-2009-Shadbolt #web

The Science of the Web (NS), p. 1.

CAiSE-2009-Aalst #process

TomTom for Business Process Management (TomTom4BPM) (WMPvdA), pp. 2–5.

CAiSE-2009-Simone #modelling

Computer-Centric Business Operating Models vs. Network-Centric Ones (MdS), pp. 6–7.

CAiSE-2009-Paalvast #framework

The IT Dilemma and the Unified Computing Framework (EP), p. 8.

CAiSE-2009-Wiederhold #how #named #question #tutorial

Tutorial: How to Value Software in a Business, and Where Might the Value Go? (GW), pp. 9–10.

CAiSE-2009-MetzgerP #framework #generative #research #towards

Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework (AM, KP), pp. 11–16.

CAiSE-2009-UbayashiONY #aspect-oriented #modelling

An Extensible Aspect-Oriented Modeling Environment (NU, GO, KN, JY), pp. 17–31.

CAiSE-2009-BlancMMM #consistency #detection #incremental #nondeterminism

Incremental Detection of Model Inconsistencies Based on Model Operations (XB, AM, IM, TM), pp. 32–46.

CAiSE-2009-QueraltT #concept #reasoning #uml

Reasoning on UML Conceptual Schemas with Operations (AQ, ET), pp. 47–62.

CAiSE-2009-Haller #concept #implementation #migration #standard #towards

Towards the Industrialization of Data Migration: Concepts and Patterns for Standard Software Implementation Projects (KH), pp. 63–78.

CAiSE-2009-MaoBPF #automation #generative #using

Defining and Using Schematic Correspondences for Automatically Generating Schema Mappings (LM, KB, NWP, AAAF), pp. 79–93.

CAiSE-2009-Guizzardi #concept #modelling #problem #revisited #transitive

The Problem of Transitivity of Part-Whole Relations in Conceptual Modeling Revisited (GG), pp. 94–109.

CAiSE-2009-GiachettiMP #automation #domain-specific language #generative #modelling #uml #using

Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles (GG, BM, OP), pp. 110–124.

CAiSE-2009-PlanasCG #action semantics #behaviour #modelling #semantics #specification #uml #verification

Verifying Action Semantics Specifications in UML Behavioral Models (EP, JC, CG), pp. 125–140.

CAiSE-2009-SalayME #megamodelling #modelling #using

Using Macromodels to Manage Collections of Related Models (RS, JM, SME), pp. 141–155.

CAiSE-2009-Ghazarian #case study #fault

A Case Study of Defect Introduction Mechanisms (AG), pp. 156–170.

CAiSE-2009-JiangBBM #effectiveness #quality

Measuring and Comparing Effectiveness of Data Quality Techniques (LJ, DB, AB, JM), pp. 171–185.

CAiSE-2009-SalayM #diagrams #quality #test coverage #using

Improving Model Quality Using Diagram Coverage Criteria (RS, JM), pp. 186–200.

CAiSE-2009-Franch #metric #modelling

A Method for the Definition of Metrics over i* Models (XF), pp. 201–215.

CAiSE-2009-MaLXZY #modelling

Preference Model Driven Services Selection (WM, LL, HX, HZ, JY), pp. 216–230.

CAiSE-2009-MouratidisSJ #case study #experience #health #information management #lessons learnt

Secure Information Systems Engineering: Experiences and Lessons Learned from Two Health Care Projects (HM, AS, JJ), pp. 231–245.

CAiSE-2009-DalpiazGM #architecture #configuration management #self

An Architecture for Requirements-Driven Self-reconfiguration (FD, PG, JM), pp. 246–260.

CAiSE-2009-YuR #automation #collaboration

Automated Context-Aware Service Selection for Collaborative Systems (HY, SRM), pp. 261–274.

CAiSE-2009-SpindlerGN #development #framework #mobile #social

Development Framework for Mobile Social Applications (AdS, MG, MCN), pp. 275–289.

CAiSE-2009-AndrikopoulosBP #evolution #perspective

Evolving Services from a Contractual Perspective (VA, SB, MPP), pp. 290–304.

CAiSE-2009-HaoCZ #performance #web #web service

Efficient IR-Style Search over Web Services (YH, JC, YZ), pp. 305–318.

CAiSE-2009-KubickiDHG #towards

Towards a Sustainable Services Innovation in the Construction Sector (SK, ED, GH, AG), pp. 319–333.

CAiSE-2009-BianchiniCAP #design #named #process #web #web service

P2S: A Methodology to Enable Inter-organizational Process Design through Web Services (DB, CC, VDA, BP), pp. 334–348.

CAiSE-2009-PichlerWE #web #web service

Composing Time-Aware Web Service Orchestrations (HP, MW, JE), pp. 349–363.

CAiSE-2009-GuermoucheG #analysis #web #web service

Asynchronous Timed Web Service-Aware Choreography Analysis (NG, CG), pp. 364–378.

CAiSE-2009-MutschlerR #cost analysis #enterprise #evaluation #information management

Evaluation Patterns for Analyzing the Costs of Enterprise Information Systems (BM, MR), pp. 379–394.

CAiSE-2009-GaillyP #modelling #ontology #standard #using

Using the REA Ontology to Create Interoperability between E-Collaboration Modeling Standards (FG, GP), pp. 395–409.

CAiSE-2009-WeigandJAB #design #modelling #towards

Value-Based Service Modeling and Design: Toward a Unified View of Services (HW, PJ, BA, MB), pp. 410–424.

CAiSE-2009-TrckaAS #anti #data flow #fault #workflow

Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows (NT, WMPvdA, NS), pp. 425–439.

CAiSE-2009-HornungML #algebra #process #query #workflow

Process Algebra-Based Query Workflows (TH, WM, GL), pp. 440–454.

CAiSE-2009-LiuLYWH #analysis #constraints #using #verification #workflow

ETL Workflow Analysis and Verification Using Backwards Constraint Propagation (JL, SL, DY, JW, TH), pp. 455–469.

CAiSE-2009-WeberRZW #approach #declarative #empirical #execution #process

The Declarative Approach to Business Process Execution: An Empirical Test (BW, HAR, SZ, WW), pp. 470–485.

CAiSE-2009-GottschalkWJAR #case study #configuration management #experience #modelling #process

Configurable Process Models: Experiences from a Municipality Case Study (FG, TACW, MHJV, WMPvdA, MLR), pp. 486–500.

CAiSE-2009-IndulskaRRG #challenge #modelling #process #roadmap

Business Process Modeling: Current Issues and Future Challenges (MI, JR, MR, PFG), pp. 501–514.

CAiSE-2009-SommervilleLSD #modelling #requirements

Deriving Information Requirements from Responsibility Models (IS, RL, TS, JD), pp. 515–529.

CAiSE-2009-EspanaGP #analysis #communication #information management #requirements

Communication Analysis: A Requirements Engineering Method for Information Systems (SE, AG, OP), pp. 530–545.

CAiSE-2009-KaiyaTSSK #analysis #quality #requirements #using

Spectrum Analysis for Quality Requirements by Using a Term-Characteristics Map (HK, MT, SS, TS, KK), pp. 546–560.