Editorial

Dear Readers,

Two of our feature papers are directed at helping novice users and students using or studying objects. The other three papers deal with component analysis, formal methods relating to correctness and business process management.

In addition, we have four columns and a book review.

Please refer to the summaries to get a detailed overview of the content of this issue.

Hope you find the papers and columns in this installment useful.