COMPAS Publications

2011

Publicity Material

COMPAS Consortium: Achievements & Lessons Learned. pdf

COMPAS Consortium: Project Brochure. pdf

COMPAS Consortium: Project Poster. pdf

Journal Papers

G.R. Gangadharan and V. D'Andrea: Managing Copyrights and Moral Rights of Service-Based Software. In: IEEE Software, 28(2), 48-55, IEEE Press, 2011.

G. R. Gangadharan and V. D’Andrea: Service licensing: conceptualization, formalization, and expression. In: Service Oriented Computing and Applications, 5(1), 37-59, Springer, 2011.

D. Schumm, D. Karastoyanova, O. Kopp, F. Leymann, M. Sonntag, and S. Strauch: Process Fragment Libraries for Easier and Faster Development of Process-based Applications. Journal of Systems Integration, 2011 (pdf).

Technical Reports

D. Schumm, G. Latuske, and F. Leymann: A Prototype for View-based Monitoring of BPEL Processes. Technical Report No. 2011/04, University of Stuttgart, 2011 (pdf).

K. Görlach, O. Kopp, F. Leymann, D. Schumm, and S. Strauch: WS-BPEL Extension for Compliance Fragments (BPEL4CFrags). Technical Report No. 2011/01, University of Stuttgart, 2011 (pdf).

2010

Book Chapters

P. Silveira, C. Rodríguez, A. Birukou, F. Casati, F. Daniel, V. D'Andrea, C. Worledge, Z. Taheri. Aiding Compliance Governance in Service-Based Business Processes. Non-Functional Properties for Service-Oriented Systems: Future Directions (NFPSLA-BOOK-2011), 2010.

Journal Papers

G.R. Gangadharan, V. D'Andrea, M. Weiss: Free/Open Services. IT PROFESSIONAL, v. 12, n. 6, p. 24 -30, 2010.

Conference Proceedings

H. Tran, T. Holmes, E. Oberortner, E. Mulo, A. Betkowska Cavalcante, J. Serafinski, M. Tluczek, A. Birukou, F. Daniel, P. Silveira, U. Zdun, and S. Dustdar: An End-to-End Framework for Business Compliance in Process-Driven SOAs. Proceedings of SYNASC 2010, September 2010, IEEE Press.

C. Dorn, S. Dustdar. Weighted Fuzzy Clustering for Capability-driven Service Aggregation. IEEE International Conference on Service-Oriented Computing and Applications (SOCA'10), 13-15 December, Perth, Australia, IEEE, 2010.

A. Elgammal, O. Turetken, W. van den Heuvel, M. Papazoglou: Towards a Comprehensive Design-time Compliance Management: A Roadmap. 15th International Business Information Management Conference (15th IBIMA), Egypt, 2010 (pdf).

E. Oberortner, U. Zdun, S. Dustdar, A. Betkowska Cavalcante, M. Tluczek: Supporting the Evolution of Model-driven Service-oriented Systems: A Case Study on QoSaware Process-driven SOAs. In International Conference on Service-Oriented Computing and Applications (SOCA 2010), 2010.

D. Schleicher, M. Weidmann, F. Leymann, D. Schumm: Compliance Scopes: Extending the BPMN 2.0 Meta Model to Specify Compliance Requirements. In International Conference on Service-Oriented Computing and Applications (SOCA 2010), 2010.

H. Eberle, F. Leymann, D. Schleicher, D. Schumm, T. Unger: Process Fragment Composition Operations. In Proceedings of the 5th IEEE Asia-Pacific Services Computing Conference (APSCC), 2010.

O. Kopp, L. Engler, T. van Lessen, F. Leymann, J. Nitzsche: Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. In S-BPM ONE 2010 - the Subjectoriented BPM Conference, 2010.

E. Oberortner, U. Zdun, S. Dustdar: Patterns for Measuring Performance-Related QoS Properties in Distributed Systems. Pattern Languages of Programming Conference 2010 (PLoP 2010).

N. Kokash, B. Changizi, F. Arbab: A Semantic Model for Service Composition with Coordination Time Delays. Proceedings of the International Conference on Formal Engineering Methods (ICFEM), Vol. 6447 of LNCS, Springer, 2010, pp. 106-121.

A. Birukou, V. D'Andrea, F. Leymann, J. Serafinski, P. Silveira, S. Strauch, M. Tluczek: An Integrated Solution for Runtime Compliance Governance in SOA. Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC10), USA, 2010 (pdf).

A. Elgammal, O. Turetken, W-J. van den Heuvel, M. Papazoglou: Root-Cause Analysis of Design-time Compliance Violations on the basis of Property Patterns. Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC10), USA, 2010 (pdf).

S. Sebahi, M. Hacid: Business Process Monitoring with BPath. Proceedings of the 18th International Conference on Cooperative Information Systems (CoopIS10), Springer, 2010.

D. Schleicher, T. Anstett, F. Leymann, D. Schumm: Compliant Business Process Design Using Refinement Layers. Proceedings of the 18th International Conference on Cooperative Information Systems (CoopIS10), 2010.

D. Schumm, T. Anstett, F. Leymann, D. Schleicher, S. Strauch: Essential Aspects of Compliance Management with Focus on Business Process Automation. Proceedings of the 3rd International Conference on Business Process and Services Computing (BPSC 2010), Gesellschaft für Informatik e.V. (GI), Lecture Notes in Informatics, 2010 (pdf).

D. Schumm, F. Leymann, A. Streule: Process Viewing Patterns. Proceedings of the 14th IEEE International EDOC Conference (EDOC 2010), IEEE Computer Society Press, 2010 (pdf).

D. Schumm, D. Karastoyanova, F. Leymann, S. Strauch: Fragmento: Advanced Process Fragment Library. Proceedings of the 19th International Conference on Information Systems Development (ISD 2010), Springer, 2010 (pdf).

E. Mulo, U. Zdun, S. Dustdar: An event view model and DSL for engineering an event-based SOA monitoring infrastructure Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS), pp. 62-72, July 2010, Cambridge, United Kingdom.

N. Kokash, C. Krause, E.P. de Vink: Time and Data Aware Analysis of Graphical Service Models. IEEE International Conference on Software Engineering and Formal Methods (SEFM'10), IEEE Computer Society, 2010, pp. 125-134.

N. Kokash, C. Krause, E.P. de Vink: Verification of Context-Dependent Channel-Based Service Models. International Symposium on Formal Methods for Components and Objects (FMCO'09), Vol. 6286 of LNCS, Springer, 2010, pp. 21-40.

D. Schumm, F. Leymann, A. Streule: Process Views to Support Compliance Management in Business Processes. Proceedings of the 11th International Conference on Electronic Commerce and Web Technologies (EC-Web 2010), Springer, 2010 (pdf).

E. Elabd, E Coquery, M. Hacid: Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control. 22nd International Conference on Software Engineering and Knowledge Engineering, Knowledge Systems Institute Graduate School ed. San Francisco Bay, USA, 2010.

I. Brandic, T. Anstett, D. Schumm, F. Leymann, S. Dustdar and R. Konrad: Compliant Cloud Computing (C3): Architecture and Language Support for User-driven Compliance Management in Clouds. Proceedings of the 3rd International Conference on Cloud Computing (IEEE Cloud 2010), IEEE, 2010.

E. Elabd, E Coquery, M. Hacid: Checking Compatibility and Replaceability in Web Services Business Protocols with Access Control. 8th IEEE International Conference on Web Services (ICWS), IEEE ed. Miami, Florida, USA. pp. 409-416. 2010.

T. Holmes, U. Zdun, F. Daniel and S. Dustdar: Monitoring and Analyzing Service-based Internet Systems through a Model-Aware Service Environment. Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, Springer, 2010 (pdf).

N. Kokash, C. Krause and E.P. de Vink: Data-Aware Design and Verification of Service Compositions with Reo and mCRL2. Proceedings of the ACM Symposium on Applied Computing, pp. 2406--2413, 2010.

D. Schumm, F. Leymann, Z. Ma, T. Scheibler and S. Strauch: Integrating Compliance into Business Processes: Process Fragments as Reusable Compliance Controls. Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI), 2010 (pdf).

Workshop Proceedings

A. Elgammal, O. Turetken, W. van den Heuvel, M. Papazoglou: On the Formal Specification of Regulatory Compliance: A Comparative Analysis. International Performance Assessment and Auditing in Service Computing Workshop, International Conference on Service-Oriented Computing (ICSOC10) workshops, USA, 2010 (pdf).

H. Tran, U. Zdun, S. Dustdar: Name-based view integration for enhancing the reusability in process-driven SOAs. Proceedings of the 1st International Workshop on Reuse in Business Process Management, Hoboken, New Jersey, USA, 2010.

S. RoyChowdhury, G.R. Gangadharan, P. Silveira, V. D'Andrea: From ODRL-S to Low-level DSL: A Case Study Based on License Compliance in Service Oriented Systems. Proceedings of the 8th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods, October 2010 (pdf).

A. Elgammal, O. Turetken, W-J. van den Heuvel, M. Papazoglou: On the Formal Specification of Business Contracts and Regulatory Compliance Proceedings of the 4th Workshop on FLACOS. EPTCS, Pisa, Italy, 2010 (pdf).

D. Schumm, T. Anstett, F. Leymann, D. Schleicher: Applicability of Process Viewing Patterns in Business Process Management Proceedings of the International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE 2010), in conjunction with the 14th IEEE International EDOC Conference (EDOC 2010), IEEE Computer Society Press, 2010 (pdf).

C. Rodríguez, P. Silveira, F. Daniel, F. Casati: Analyzing Compliance of Service-Based Business Processes for Root-Cause Analysis and Prediction Proceedings of the 1st Workshop on Engineering SOA and the Web (ESW'10) in conjunction with ICWE'10, Springer, 2010 (pdf).

D. Schumm, O. Turetken, N. Kokash, A. Elgammal, F. Leymann, W.-J. van den Heuvel: Business Process Compliance through Reusable Units of Compliant Processes Proceedings of the 1st Workshop on Engineering SOA and the Web (ESW'10) in conjunction with ICWE'10, Springer, 2010 (pdf).

T. Holmes, H. Tran, U. Zdun and S. Dustdar: Model-driven and Domain-specific Architectural Knowledge View for Compliance Meta-data in Process-Driven SOAs. Proceedings of the 5th International Workshop on Sharing and Reusing Architectural Knowledge in conjunction with 32nd International Conference on Software Engineering, ACM, 2010.

B. Changizi, N. Kokash and F. Arbab: A Unified Toolset for Business Process Model Formalization. International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), 2010, ENTC, pp. 147-156.

Demos

A. Birukou, A. Betkowska Cavalcante, F. Casati, S.R. Chowdhury, V. D'Andrea, F. Leymann, E. Oberortner, J. Serafinski, P. Silveira, S. Strauch, M. Tluczek: An Integrated Solution for Runtime Compliance Governance in SOA. Demo Paper. Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC10), USA, 2010 (pdf).

2009

Book Chapters

H. Tran, T. Holmes, U. Zdun and S. Dustdar: Chapter 2: Modeling Process-Driven SOAs – a View-Based Approach. Information Science Reference, Eds: Jorge Cardoso, and Wil van der Aalst, April 2009.

Journal Papers

H. Tran, U. Zdun and S. Dustdar: VbTrace: Using View-based and Model-driven Development to Support Traceability in Process-driven SOAs. Software & System Modeling, Springer, DOI: 10.1007/s10270-009-0137-0, 2009.

M. Strembeck and U. Zdun: An Approach for the Systematic Development of Domain-specific Languages. In: Software - Practice and Experience, Wiley InterScience, 2009.

J. Kramer, Z. Taheri and W. Hutten: Service Oriented Architecture voor interne beheersing. In: PricewaterhouseCoopers Spotlight, volume 3, 2009 (pdf).

Conference Proceedings

E. Mulo, U. Zdun and S. Dustdar: Monitoring Web Service Event Trails for Business Compliance. Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA), IEEE Computer Society Press, 2009.

T. Holmes, U. Zdun and S. Dustdar: MORSE: A Model-Aware Service Environment. Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 470-477, IEEE Computer Society Press, 2009.

T. Anstett, D. Karastoyanova, F. Leymann, R. Mietzner, A. Monakova, D. Schleicher and S. Strauch: MC-Cube: Mastering Customizable Compliance in the Cloud. Proceedings of the 7th International Joint Conference on Service Oriented Computing (ICSOC), Springer, 2009.

N. Kokash and F. Arbab: Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Revised Lectures. Vol. 5751 of LNCS, pp. 21-41, Springer, 2009.

C. Mayr, U. Zdun, and S. Dustdar: Reusable Architectural Decision Model for Model and Metadata Repositories. In Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Revised Lectures. Vol. 5751 of LNCS, Springer, 2009.

M. Wieland, K. Görlach, D. Schumm and F. Leymann: Towards Reference Passing in Web Service and Workflow-based Applications. Proceedings of the 13th IEEE Enterprise Distributed Object Conference (EDOC 2009), August 2009.

U. Zdun, M. Strembeck: Reusable Architectural Decisions for DSL Design. Foundational Decisions in DSL Development, In: Proc. of the 14th European Conference on Pattern Languages of Programs (EuroPLoP), Irsee Monastery, Germany, July 2009

F. Daniel, F. Casati, V. D'Andrea, S. Strauch, D. Schumm, F. Leymann, E. Mulo, U. Zdun, S. Dustdar, S. Sebahi, F. de Marchi and M. Hacid: Business Compliance Governance in Service-Oriented Architectures. Proceedings of AINA'09, IEEE Press, May 2009 (pdf).

N. Kokash and F. Arbab: Applying Reo to Service Coordination in Long-Running Business Transactions. Proceedings of the ACM Symposium on Applied Computing (SAC), 2009, pp. 318-319.

B. Wetzstein, S. Strauch and F. Leymann: Measuring Performance Metrics of WS-BPEL Service Compositions. In: Proceedings of the Fifth International Conference on Networking and Services (ICNS 2009), Valencia, Spain, April 20-25, 2009.

Workshop Proceedings

P. Silveira, C. Rodríguez, F. Casati, F. Daniel, V. D’Andrea, C. Worledge and Z. Taheri: On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management. Proceedings of the Non Functional Properties and Service Level Agreements Management in Service Oriented Computing Workshop (NFPSLAM-SOC2009), Stockholm, Sweden, 2009 (pdf).

T. Anstett, F. Leymann, R. Mietzner and S. Strauch: Towards BPEL in the Cloud: Exploiting Different Delivery Models for the Execution of Business Processes. International Workshop on Cloud Services (IWCS2009) in conjunction with the 7th IEEE International Conference on Web Services (ICWS 2009), July 2009.

M. Vasko, E. Oberortner and S. Dustdar: Collaborative Modeling of Web Applications for Various Stakeholders. 5th Model-Driven Web Engineering Workshop in conjunction with ICWE 2009, June 2009.

E. Oberortner, U. Zdun, and S. Dustdar: Tailoring a Model-Driven Quality-of-Service DSL for Various Stakeholders. Workshop on Modeling in Software Engineering (MiSE) at ICSE 2009 (pdf).

D. Schumm, D. Karastoyanova, F. Leymann and J. Nitzsche: On Visualizing and Modelling BPEL with BPMN. Proceedings of the 4th International Workshop on Workflow Management (ICWM2009), IEEE Computer Society, May 2009.

Talk Presentations

N. Kokash: Compliant Business Process Specifications to Code. iFM Workshop on Formal Methods and SOA (FMSOA), 2009.

2008

Conference Proceedings

G. R. Gangadharan, S. Dustdar, V. D’Andrea et al.: LASS - License Aware Service Selection: Methodology and Framework. ICSOC, 2008.

C. Mayr, U. Zdun and S. Dustdar: Model-Driven Integration and Management of Data Access Objects in Process-Driven SOAs. ServiceWave, 2008.

E. Oberortner, U. Zdun and S. Dustdar: Domain-specific Languages for Service-oriented Architectures: An Explorative Study. ServiceWave, 2008.

F. Arbab, N. Kokash and M. Sun: Towards Using Reo for Compliance-aware Business Process Modelling. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), vol. 17 of CCIS, Springer, 2008.

W.-J. v/d Heuvel, M. Papazoglou and B. Orriens: On the risk management and auditing of SOA based business processes. ISoLA, 2008.

Other Publications

F. Arbab, N. Kokash, Z. Maraikar: Design Time Service Composition with Reo Coordination Tools. NESSI Open Framework - Reference Architecture (NEXOF-RA) - Service Composition, Brussels, Belgium, 2008.

A. Birukou, V. D’Andrea, N. Kokash: Collaborative Web Service Discovery. NESSI Open Framework - Reference Architecture (NEXOF-RA) - Service Discovery, Brussels, Belgium, 2008.

Talk Presentations

M. P. Papazoglou: Compliance Requirements for Business-process driven SOAs. Keynote address, The IFIP World Computer Congress WCC, 2008.

F. Arbab and Natallia Kokash: Formal Behavioral Models and Compliance Analysis for Service Oriented Systems. FMCO, 2008.

S. Dustdar: Towards Compliance-driven Models, Languages, and Architectures for Service-oriented Computing. FMCO, 2008.