EEMCS

Dijkman, R.M. and Quartel, D.A.C. and van Sinderen, M.J. (2008) Consistency in multi-viewpoint design of enterprise information systems. Information and software technology, 50 (7-8). pp. 737-752. ISSN 0950-5849 *** ISI Impact 1,507 ***

Dijkman, R.M. and Dirgahayu, T. and Quartel, D.A.C. (2007) The adequacy of languages for representing interaction mechanisms. Information Systems Frontiers, 9 (4). pp. 359-373. ISSN 1387-3326 *** ISI Impact 1,596 ***

Dijkman, R.M. and Dirgahayu, T. and Quartel, D.A.C. (2007) The Adequacy of Languages for Representing Interaction Mechanisms. Technical Report TR-CTIT-07-18, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Andrade Almeida, J.P. and Dijkman, R.M. and Ferreira Pires, L. and Quartel, D.A.C. and van Sinderen, M.J. (2006) Model-driven design, refinement and transformation of abstract interactions. International journal of cooperative information systems, 15 (4). pp. 599-632. ISSN 0218-8430 *** ISI Impact 1,433 ***

Dijkman, R.M. (2006) Consistency in multi-viewpoint architectural design. PhD thesis, University of Twente. CTIT Ph.D.-thesis series No. 06-80 ISBN 90 75176 80 5

Dijkman, R.M. (2006) Notions of Behavioral Compatibility and their Implications for BPEL Processes. Technical Report TR-CTIT-06-41, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dijkman, R.M. and Dirgahayu, T. and Quartel, D.A.C. (2006) Towards Advanced Interaction Design Concepts. Technical Report TR-CTIT-06-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dijkman, R.M. and Dirgahayu, T. and Quartel, D.A.C. (2006) Towards Advanced Interaction Design Concepts. In: 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06), 16-20 Oct 2006, Hong Kong. pp. 331-344. IEEE Computer Society. ISBN 0-7695-2558-X

Andrade Almeida, J.P. and Dijkman, R.M. and Ferreira Pires, L. and Quartel, D.A.C. and van Sinderen, M.J. (2005) Abstract interactions and interaction refinement in model-driven design. In: 9th IEEE Enterprise Distributed Object Computing (EDOC) Conference, 19-23 Sep 2005, Enschede, The Netherlands. pp. 273-286. IEEE Computer Society. ISSN 1541-7719 ISBN 0-7695-2441-9

Andrade Almeida, J.P. and Dijkman, R.M. and van Sinderen, M.J. and Ferreira Pires, L. (2005) Platform-independent modeling in MDA: supporting abstract platforms. In: Model Driven Architecture. European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers. pp. 174-188. Lecture Notes in Computer Science 3599. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-28240-2

Benatallah, B. and Dijkman, R.M. and Dumas, M. and Maamar, Z. (2005) Service composition: concepts, techniques, tools and trends. In: Service-Oriented Software System Engineering: Challenges and Practices. Idea Group Publishing, Hershey, pp. 48-66. ISBN 1-59140-426-6

Quartel, D.A.C. and Dijkman, R.M. and van Sinderen, M.J. (2005) Extending Profiles with Stereotypes for Composite Concepts. In: The 8th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS), 2-7 Oct 2005, Montego Bay, Jamaica. pp. 232-247. Lecture Notes in Computer Science 3713. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-29010-0

Quartel, D.A.C. and Dijkman, R.M. and van Sinderen, M.J. (2005) An approach to relate business and application services using ISDL. In: The 9th IEEE Enterprise Distributed Object Computing (EDOC) Conference, 19-23 Sep 2005, Enschede, The Netherlands. pp. 157-168. IEEE Computer Society. ISSN 1541-7719 ISBN 0-7695-2441-9

Andrade Almeida, J.P. and Dijkman, R.M. and van Sinderen, M.J. and Ferreira Pires, L. (2004) On the notion of abstract platform in MDA development. In: Proceedings Eighth IEEE International Enterprise Distributed Object Computing Conference, 20-24 Sept 2004, Monterey, California. pp. 253-263. IEEE Computer Society. ISSN 1541-7719 ISBN 0-7695-2214-9

Andrade Almeida, J.P. and Dijkman, R.M. and van Sinderen, M.J. and Ferreira Pires, L. (2004) Platform-independent modelling in MDA: supporting abstract platforms. In: Proceedings of Model-Driven Architecture: Foundations and Applications 2004, 10-11 Jul 2004, Linköping University, Sweden. pp. 219-233. Research Center for Integrational Software Engineering, Linköping University. ISBN not assigned

Dijkman, R.M. and Dumas, M. (2004) Service-oriented Design: A Multi-viewpoint Approach. Technical Report TR-CTIT-04-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dijkman, R.M. and Dumas, M. (2004) Service-oriented design: a multi-viewpoint approach. International journal of cooperative information systems, 13 (4). pp. 337-368. ISSN 0218-8430 *** ISI Impact 1,433 ***

Dijkman, R.M. and Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2004) A Rigorous Approach to Relate Enterprise and Computational Viewpoints. In: Proceedings Eighth IEEE International Enterprise Distributed Object Computing Conference, 20-24 Sept 2004, Monterey, California. pp. 187-200. IEEE Computer Society. ISSN 1541-7719 ISBN 0-7695-2214-9

Quartel, D.A.C. and Dijkman, R.M. and van Sinderen, M.J. (2004) Methodological Support for Service-oriented Design with ISDL. In: Proceedings of the Second International Conference on Service Oriented Computing, 15-19 Nov, 2004, New York. pp. 1-10. ACM Press. ISBN 1-58113-871-7

Dijkman, R.M. and Andrade Almeida, J.P. and Quartel, D.A.C. (2003) Verifying the correctness of component-based applications that support business processes. In: Sixth ICSE Workshop on Component-Based Software Engineering (CBSE 2003), 3-4 May 2003, Portland, OR, USA. pp. 43-48. Carnegie Mellon University. ISBN not assigned

Dijkman, R.M. and Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2003) An approach to relate viewpoints and modeling languages. In: Seventh IEEE International Conference on Enterprise Distributed Object Computing (EDOC 2003), 16-19 Sept 2003, Brisbane, Australia. pp. 14-27. IEEE Computer Society. ISBN 0-7695-1994-6

Dijkman, R.M. and Joosten, S.M.M. (2002) Deriving Use Case Diagrams from Business Process Models. Technical Report TR-CTIT-02-08, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dijkman, R.M. and Joosten, S.M.M. (2002) An Algorithm to Derive Use Cases from Business Processes. In: 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), 4-6 Nov 2002, Cambridge, MA, USA. pp. 679-684. Acta Press. ISBN 0-88986-323-7

Dijkman, R.M. and Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2002) A Design-for-Change Approach: Developing Distributed Applications from Enterprise Models. Technical Report TR-CTIT-02-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dijkman, R.M. and Quartel, D.A.C. and Ferreira Pires, L. and van Sinderen, M.J. (2002) Semantic verification of Behavior Conformance. In: Proceedings of the Eleventh OOPSLA Workshop on Behavioral Semantics - Serving the Customer, 4-8 Nov 2002. pp. 43-54. ISBN not assigned

Dijkman, R.M. and Ferreira Pires, L. and Joosten, S.M.M. (2001) Calculating with Concepts: a Technique for the Development of Business Process Support. Technical Report TR-CTIT-01-32, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Dijkman, R.M. and Ferreira Pires, L. and Joosten, S.M.M. (2001) Calculating with concepts: A technique for the development of business process support. In: Practical UML-based Rigorous Development Methods - Countering or Integrating the eXtremists (pUML 2001), 1 Oct 2001, Toronto, Canada. pp. 87-98. LNI 7. GI. ISBN 3-88579-335-0