2016

Fang, Daren, Liu, Xiaodong, Romdhani, Imed, Jamshidi, Pooyan and Pahl, Claus ORCID: 0000-0002-9049-212X (2016) An agility-oriented and fuzziness-embedded semantic model for collaborative cloud service search, retrieval and recommendation. Future Generation Computer Systems, 56 . pp. 11-26. ISSN 0167-739X

2015

Zhang, Li, Zhang, Yichuan, Jamshidi, Pooyan, Xu, Lei and Pahl, Claus ORCID: 0000-0002-9049-212X (2015) Service workload patterns for QoS-driven cloud resource management. Journal of Cloud Computing: Advances, Systems and Applications, 4 (23). ISSN 2192-113X

Mani, Neel and Pahl, Claus ORCID: 0000-0002-9049-212X (2015) Controlled variability management for business process model constraints. In: International Conference on Software Engineering Advances ICSEA'2015, 15-20 Nov 2015, Barcelona, Spain. ISBN 978-1-61208-438-1

Jamshidi, Pooyan, Sharifloo, Amir, Pahl, Claus ORCID: 0000-0002-9049-212X, Metzger, Andreas and Estrada, Giovani (2015) Self-learning cloud controllers: fuzzy Q-learning for knowledge evolution. In: 2015 International Conference on Cloud and Autonomic Computing (ICCAC 2015), 21-24 Sept 2015, Cambridge, MA..

Jamshidi, Pooyan, Pahl, Claus ORCID: 0000-0002-9049-212X, Chinenyeze, Samuel and Liu, Xiaodong (2015) Cloud migration patterns: a multi-cloud service architecture perspective. In: 10th International Workshop on Engineering Service Oriented Applications - WESOA’14, 3 Nov 2014, Paris, France. ISBN 978-3-319-22884-6

Pahl, Claus ORCID: 0000-0002-9049-212X and Lee, Brian (2015) Containers and clusters for edge cloud architectures - a technology review. In: 3rd International Conference on Future Internet of Things and Cloud (FiCloud-2015), 24-26 Aug 2015, Rome, Italy. ISBN 978-1-4673-8103-1/15

Wang, MingXue, Bandara, Kosala Yapa and Pahl, Claus ORCID: 0000-0002-9049-212X (2015) A distributed architecture for policy-customisable multi-tenant Processes-as-a-Service. International Journal of Parallel, Emergent and Distributed Systems, 31 (4). pp. 377-404. ISSN 1744-5779

Fang, Daren, Liu, Xiaodong, Romdhani, Imed and Pahl, Claus ORCID: 0000-0002-9049-212X (2015) An approach to unified cloud service access, manipulation and dynamic orchestration via semantic cloud service operation specification framework. Journal of Cloud Computing: Advances, Systems and Applications, 4 . ISSN 2192-113X

Pahl, Claus ORCID: 0000-0002-9049-212X and Jamshidi, Pooyan (2015) Software architecture for the cloud - a roadmap towards control-theoretic, model-based cloud architecture. In: European Conference on Software Architecture ECSA '2015, 7–11 Sept 2015, Cavtat, Croatia. ISBN 978-3-319-23726-8

Pahl, Claus ORCID: 0000-0002-9049-212X (2015) Containerisation and the PaaS Cloud. IEEE Cloud Computing, 2 (3). pp. 24-31. ISSN 2325-6095

Jamshidi, Pooyan and Pahl, Claus ORCID: 0000-0002-9049-212X (2015) Orthogonal variability modeling to support multi-cloud application configuration. In: Workshop on Seamless Adaptive Multi-cloud Management of Service-based Applications Seaclouds'2014, 2 Sept 2014, Manchester, UK. ISBN 978-3-319-14886-1

2014

Zhang, Li, Zhang, Yichuan, Jamshidi, Pooyan, Xu, Lei and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) Workload patterns for quality-driven dynamic cloud service configuration and auto-scaling. In: 7th IEEE / ACM International Conference on Utility and Cloud Computing UCC'2014, 8-11 Dec 2014, London, UK.

Song, Jie, Xu, Shu, Zhang, Li, Pahl, Claus ORCID: 0000-0002-9049-212X and Yu, Ge (2014) Performance and energy optimization on terasort algorithm by task self-resizing. Information Technology And Control, 44 (1). pp. 30-40. ISSN 1392-124X

Pahl, Claus ORCID: 0000-0002-9049-212X and Collins, Luke (2014) Software service adaptation based on interface localisation. International Journal of Systems and Service-Oriented Engineering (IJSSOE), 5 (1). ISSN 1947-3060

Xiong, Huanhuan, Fowley, Frank, Pahl, Claus ORCID: 0000-0002-9049-212X and Moran, Niall (2014) Scalable architectures for platform-as-a-service clouds: performance and cost analysis. In: European Conference on Software Architecture, 25-29 Aug 2014, Vienna, Austria. ISBN 978-3-319-09969-9

Collins, Luke, Wang, MingXue, Xu, Lei and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) A robust client-driven distributed service localisation architecture. International Journal On Advances in Intelligent Systems, 7 (201 (1&2). pp. 11-22. ISSN 1942-2679

Ahmad, Aakash, Jamshidi, Pooyan and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) Classification and comparison of architecture evolution-reuse knowledge – A systematic review. Journal of Software: Evolution and Process, 26 (7). pp. 654-691. ISSN 2047-7481

Xu, Lei, Zhang, Li, Lakew, Ewnetu Bayuh and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) Resource state monitoring of service transactions in cloud systems. In: IEEE 11th International Conference on Services Computing (SCC 2014), 27 Jun - 2 Jul 2014, Anchorage, AK, USA. ISBN 978-1-4799-5065-2

Lakew, Ewnetu Bayuh, Xu, Lei, Hernandez-Rodriguez, Francisco , Elmroth, Erik and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) A Tree-based protocol for enforcing quotas in clouds. In: IEEE 2014 4th International Workshop on Performance Aspects of Cloud and Service Virtualization (CloudPerf 2014), 29 Jun 2014, Anchorage, Alaska. ISBN 978-1-4799-5068-3

Pahl, Claus ORCID: 0000-0002-9049-212X and Mani, Neel (2014) Managing quality constraints in technology-managed learning content processes. In: EdMedia'2014 World Conference on Educational Media and Technology, 23-26 June 2014, Tampere, Finland.

Zhang, Li, Fowley, Frank and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) A template description framework for services as a utility for cloud brokerage. In: International Conference on Cloud Computing and Services Science, 3-5 Apr 2014, Barcelona, Spain. ISBN 978-989-758-019-2

Ahmad, Aakash, Jamshidi, Pooyan, Pahl, Claus ORCID: 0000-0002-9049-212X and Khaliq, Fawad (2014) A pattern language for the evolution of component-based software architectures. Electronic Communications of the EASST, 59 . pp. 1-32. ISSN 1863-2122

Jamshidi, Pooyan, Ahmad, Aakash and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) Autonomic resource provisioning for cloud-based s oftware. In: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS 2014, 2-3 June 2014, Hyderabad, India. ISBN 978-1-4503-2864-7

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2014) Layered change log model: bridging between ontology change representation and pattern mining. International Journal of Metadata, Semantics and Ontologies (IJMSO), 9 (3). pp. 184-192. ISSN 1744-2621

Fowley, Frank, Pahl, Claus ORCID: 0000-0002-9049-212X and Zhang, Li (2014) Cloud service brokerage: a conceptual ontology-based service description framework. In: Ramanathan, Raja and Raja, Kirtana, (eds.) Handbook of Research on Architectural Trends in Service-Driven Computing. IGI, pp. 613-639. ISBN ISBN13: 9781466661783

2013

Fowley, Frank, Pahl, Claus ORCID: 0000-0002-9049-212X and Zhang, Li (2013) A comparison framework and review of service brokerage solutions for cloud architectures. In: 1st International Workshop on Cloud Service Brokerage (CSB 2013), 2-5 Dec 2013, Berlin, Germany.

Zhang, Li, Zhang, Bin, Pahl, Claus ORCID: 0000-0002-9049-212X, Xu, Lei and Zhu, Zhiliang (2013) Personalized quality prediction for dynamic service management based on invocation patterns. In: Eleventh International Conference on Service Oriented Computing ICSOC 2013, 2-5 Dec 2013, Berlin, Germany.

Pahl, Claus ORCID: 0000-0002-9049-212X (2013) The life and times of a learning technology system: the impact of change and evolution. International Journal of Web-Based Learning and Teaching Technologies, 8 (3). pp. 24-41. ISSN 1548-1107

Jamshidi, Pooyan, Ahmad, Aakash and Pahl, Claus ORCID: 0000-0002-9049-212X (2013) Cloud migration research: a systematic review. IEEE Transactions on Cloud Computing, 1 (2). pp. 142-157. ISSN 2168-7161

Bandara, Kosala Yapa, Wang, MingXue and Pahl, Claus ORCID: 0000-0002-9049-212X (2013) An extended ontology-based context model and manipulation calculus for dynamic web service processes. Service Oriented Computing and Applications, 9 . pp. 87-106. ISSN 1863-2386

Pahl, Claus ORCID: 0000-0002-9049-212X and Xiong, Huanhuan (2013) Migration to PaaS Clouds - Migration Process and Architectural Concerns. In: 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems MESOCA, 23 Sept 2013, Eindhoven, The Netherlands.

Pahl, Claus ORCID: 0000-0002-9049-212X, Xiong, Huanhuan and Walshe, Ray (2013) A comparison of on-premise to cloud migration approaches. In: European Conference on Service-Oriented and Cloud Computing ESOCC 2013, 11-13 Sept 2013, Malaga, Spain.

Pahl, Claus ORCID: 0000-0002-9049-212X, Mani, Neel and Wang, MingXue (2013) A domain-specific model for data quality constraints in service process adaptations. In: 3rd International Workshop on Adaptive Services for the Future Internet (WAS4FI 2013), 11 Sept 2013, Malaga, Spain.

Ahmad, Aakash, Jamshidi, Pooyan and Pahl, Claus ORCID: 0000-0002-9049-212X (2013) A framework for acquisition and application of software architecture evolution knowledge. Software Engineering Notes, 38 (5). pp. 1-7. ISSN 0163-5948

Pahl, Claus ORCID: 0000-0002-9049-212X, Javed, Muhammad ORCID: 0000-0001-9770-7640 and Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 (2013) Ontology evolution for learning content management systems. In: EdMedia 2013 - World Conference on Educational Media and Technology, 24-28 Jun 2013, Victoria, Canada.

Collins, Luke and Pahl, Claus ORCID: 0000-0002-9049-212X (2013) A service localisation platform. In: The Fifth International Conferences on Advanced Service Computing, 27 May - 1 Jun, 2013, Valencia, Spain. ISBN 978-1-61208-270-7

Wang, MingXue, Xu, Lei and Pahl, Claus ORCID: 0000-0002-9049-212X (2013) A coordination protocol for user-customisable cloud policy monitoring. In: CLOSER 2013. 3rd International Conference on Cloud Computing and Services Science, 8-10 May 2013, Aachen, Germany.

Pahl, Claus ORCID: 0000-0002-9049-212X, Zhang, Li and Fowley, Frank (2013) Interoperability standards for cloud architecture. In: 3rd International Conference on Cloud Computing and Services Science, CLOSER 2013, 8-10 May 2013, Aachen, Germany.

Collins, Luke, Fowley, Frank and Pahl, Claus ORCID: 0000-0002-9049-212X (2013) Rule-based cloud service localisation. In: 3rd International Conference on Cloud Computing and Services Science, CLOSER 2013, 8-10 May 2013, Aachen, Germany.

Lynn, Theo ORCID: 0000-0001-9284-7580, Healy, Philip, McClatchey, Richard, Morrison, John P. ORCID: 0000-0002-0134-6025, Pahl, Claus ORCID: 0000-0002-9049-212X and Lee, Brian (2013) The case for cloud service trustmarks and assurance-as-a-service. In: Intl. Conference on Cloud Computing and Services Science Closer'13, 8-10 May 2013, Aachen, Germany.

Pahl, Claus ORCID: 0000-0002-9049-212X, Zhang, Li and Fowley, Frank (2013) A look at cloud architecture interoperability through standards. In: The Fourth International Conference on Cloud Computing, Grids, and Virtualization, May 27- June 1, 2013, Valenica, Spain. ISBN 978-1-61208-271-4

Jamshidi, Pooyan, Ghafari, Mohammad, Aakash, Ahmad and Pahl, Claus ORCID: 0000-0002-9049-212X (2013) A framework for classifying and comparing architecture-centric software evolution research. In: 17th European Conference on Software Maintenance and Reengineering, 5-8 Mar 2013, Genova, Italy.

Aakash, Ahmad, Jamshidi, Pooyan, Pahl, Claus ORCID: 0000-0002-9049-212X and Khaliq, Fawad (2013) PatEvol – A pattern language for evolution in component-based software architectures. In: First Workshop on Patterns Promotion and Anti-patterns Prevention PPAP'2013, 5 Mar 2013, Genoa, Italy.

2012

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Ontology change management and identification of change patterns. Journal on Data Semantics, 2 (2-3). pp. 119-143. ISSN 1861-2032

Abgaz, Yalemisew ORCID: 0000-0002-3887-5342, Javed, Muhammad ORCID: 0000-0001-9770-7640 and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Analyzing impacts of change operations in evolving ontologies. In: 2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics EvoDyn 2012 - Collocated with the 11th International Semantic Web Conference (ISWC 2012), 11-12 Nov 2012, Boston, USA.

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Composite ontology change operators and their customizable evolution strategies. In: 2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics EvoDyn 2012 - Collocated with the 11th International Semantic Web Conference (ISWC 2012), 11-12 Nov 2012, Boston, US.

Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Cloud service localisation. In: European Conference on Service-Oriented and Cloud Computing ESOCC 2012, 19-21 Sept 2012, Bertinoro, Italy. ISBN 978-3-642-33426-9

Wang, MingXue and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) User-customisable policy monitoring for multi-tenant cloud architectures. In: European Conference on Service-Oriented and Cloud Computing ESOCC 2012, 19-21 Sept 2012, Bertinoro, Italy.

Ahmad, Aakash, Jamshidi, Pooyan and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Pattern-driven reuse in architecture-centric evolution for service software. In: 7th International Conference on Software Paradigm Trends ICSOFT'2012, 24-27 Jul 2012, Rome, Italy.

Ahmad, Aakash, Jamshidi, Pooyan and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Graph-based pattern identification from architecture change logs. In: International Workshop on System/Software Architectures IWSSA’2012, Gdansk, Poland, 25-29 June 2012. ISBN 978-3-642-31068-3

Jamshidi, Pooyan and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Business process and software architecture model co-evolution patterns. In: Workshop on Modelling in Software Engineering MiSE'2012, 2-3 June 2012, Zurich, Switzerland.

Abgaz, Yalemisew ORCID: 0000-0002-3887-5342, Javed, Muhammad ORCID: 0000-0001-9770-7640 and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Dependency analysis in ontology-driven content-based systems. In: 12th Int. Conference on Artificial Intelligence and Soft Computing, 29 Apr - 03 May, 2012, Zakopane, Poland.

Pahl, Claus ORCID: 0000-0002-9049-212X and Zhu, Yaoling (2012) Data integration in mediated service compositions. Computing and Informatics, 31 (6). pp. 1129-1149. ISSN 1335-9150

Creaner, Gary and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Flexible coordination techniques for dynamic cloud service collaboration. In: Cubo, J. and Ortiz, G., (eds.) Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solutions. IGI Global, pp. 239-252. ISBN 978-1-4666-2089-6

Aakash, Ahmad, Jamshidi, Pooyan, Arshad, Muteer and Pahl, Claus ORCID: 0000-0002-9049-212X (2012) Graph-based implicit knowledge discovery from architecture change logs. In: Seventh Workshop on SHAring and Reusing architectural Knowledge (SHARK 2012), August 2, 2012, Helsinki, Finland. ISBN 978-1-4503-1568-5

Pahl, Claus ORCID: 0000-0002-9049-212X, Gacitua-Decar, Veronica, Wang, MingXue and Yapa Bandara, Kosala (2012) Ontology-based composition and matching for dynamic cloud service coordination. International Journal of Metadata, Semantics and Ontologies, 6 (3/4). pp. 195-206. ISSN 1744-2621

2011

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2011) Towards implicit knowledge discovery from ontology change log data. In: 5th International Conference on Knowledge Science, Engineering and Management (KSEM), 12 - 14 Dec 2011, Irvine, USA.

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2011) Graph-based discovery of ontology change patterns. In: International Semantic Web Conference (ISWC) Workshops: Joint Workshop on Knowledge Evolution and Ontology Dynamics (EvoDyn), 24 Oct 2011, Bonn, Germany.

Abgaz, Yalemisew ORCID: 0000-0002-3887-5342, Javed, Muhammad ORCID: 0000-0001-9770-7640 and Pahl, Claus ORCID: 0000-0002-9049-212X (2011) A framework for change impact analysis of ontology-driven content-based systems. In: On the Move to Meaningful Internet Systems: OTM Workshops. 7th International IFIP Workshop on Semantic Web and Web Semantics (SWWS), 17-21 Oct 2011, Crete, Greece.

Pahl, Claus ORCID: 0000-0002-9049-212X, Gacitua-Decar, Veronica, Yapa Bandara, Kosala and Wang, MingXue (2011) A coordination space architecture for service collaboration and cooperation. In: International Workshop on System/Software Architectures IWSSA’2011, 20-22 June 2012, London, UK.

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2011) A layered framework for pattern-based ontology evolution. In: The 3rd International Workshop Ontology-Driven Information System Engineering (ODISE), 20 June 2010, London, UK.

Pahl, Claus ORCID: 0000-0002-9049-212X, Gacitua-Decar, Veronica, Wang, MingXue and Yapa Bandara, Kosala (2011) Ontology-based composition and matching for dynamic service coordination. In: International Workshop on Ontology, Models, Conceptualization and Epistemology in Social, Artificial and Natural Systems ONTOSE'2011, 20 June 2011, London, UK.

Pahl, Claus ORCID: 0000-0002-9049-212X (2011) Change and evolution in web-based learning technology systems. In: International Conference on Educational Hyper- and Multimedia EdMedia’11, 27 June - 1 July 2011, Lisbon, Portugal. ISBN 1-880094-8904

Aakash, Ahmad and Pahl, Claus ORCID: 0000-0002-9049-212X (2011) Customisable transformation-driven evolution for service architectures. In: 15th European Conference on Software Maintenance and Reengineering CSMR'2011, 1-4 Mar 2011, Oldenburg, Germany. ISBN 978-0-7695-4343-7

2010

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Ontology-based domain modelling for consistent content change management. In: The International Conference on Ontological and Semantic Engineering (ICOSE), 24th-26th November 2010, Venice, Italy.

Ahmad, Aakash and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Pattern-based customisable transformations for style-based service architecture evolution. In: 6th International Conference on Next Generation Web Services Practices NWeSP 2010, Gwalior, India, 23-25 Nov 2010.

Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Dynamic adaptive service architecture – Towards coordinated service composition. In: European Conference on Software Architecture ECSA'2010, 23-26 Aug 2010, Copenhagen, Denmark.

John, Jose, Wang, MingXue and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Dynamic architectural constraints monitoring and reconfiguration in service architectures. In: European Conference on Software Architecture ECSA'2010., 23-26 Aug 2010, Copenhagen, Denmark.

Pahl, Claus ORCID: 0000-0002-9049-212X, Javed, Muhammad ORCID: 0000-0001-9770-7640 and Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 (2010) Utilising ontology-based modelling for learning content management. In: International Conference on Educational Hyper- and Multimedia EdMedia’10., 28 Jun - 2 Jul 2010, Montreal, Canada.

Pahl, Claus ORCID: 0000-0002-9049-212X, Yapa Bandara, Kosala and Wang, MingXue (2010) Context constraint integration and validation in dynamic web service compositions. In: Sheng, M., Yu, Jia and Dustdar, Schahram, (eds.) Enabling Context-Aware Web Services: Methods, Architectures, and Technologies. CRC Press (Taylor & Francis), Florida, USA, pp. 81-105. ISBN 9781439809853

Wang, MingXue, Bandara, Kosala Yapa and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Distributed aspect-oriented service composition for business compliance governance with public service processes. In: ICIW 2010 - 5th International Conference on Internet and Web Applications and Services, 9-15 May 2010, Barcelona, Spain. ISBN 978-1-4244-6728-0

Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Empirical analysis of impacts of instance-driven changes in ontologies. In: The 5th International Workshop on Ontology Content OnToContent 2010..

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Model-driven description and validation of composite learning content. In: International Conference on Educational Hyper- and Multimedia EdMedia’10., 28 Jun - 2 Jul 2010, Toronto, Canada..

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Model-driven transformation and validation of adaptive educational hypermedia using CAVIAr. J.UCS Journal of Universal Computer Science, 16 (19). pp. 2862-2881. ISSN 0948-695X

Gacitua-Decar, Veronica and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Ontology-based patterns for the integration of business processes and enterprise application architectures. In: Mentzas, G. and Friesen, A., (eds.) Semantic Enterprise Application Integration for Business Processes. Business Science Reference . IGI Global, pp. 36-60. ISBN 978-160566804-8

Pahl, Claus ORCID: 0000-0002-9049-212X and Barrett, Ronan (2010) Pattern-based software architecture for service-oriented software systems. e-Informatica Software Engineering Journal . ISSN 1897-7979

Wang, MingXue, Bandara, Kosala Yapa and Pahl, Claus ORCID: 0000-0002-9049-212X (2010) Process as a service - distributed multi-tenant policy-based process runtime governance. In: SCC 2010 - IEEE International Conference on Services Computing, 5-10 July 2010, Miami, USA. ISBN 978-1-4244-8147-7

2009

Javed, Muhammad ORCID: 0000-0001-9770-7640, Abgaz, Yalemisew ORCID: 0000-0002-3887-5342 and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) A Pattern-based framework of change operators for ontology evolution. In: The 4th International Workshop on Ontology Content OnToContent 2009., 6 Nov 2009, Algarve, Portugal.

Pahl, Claus ORCID: 0000-0002-9049-212X, Zhu, Yaoling and Gacitua-Decar, Veronica (2009) A Template-driven approach for maintainable service-oriented information systems integration. International Journal of Software Engineering and Knowledge Engineering (ijseke), 19 (7). pp. 889-912. ISSN 0218-1940

Pahl, Claus ORCID: 0000-0002-9049-212X, Hasselbring, Wilhelm and Voss, Markus (2009) Service-centric integration architecture for enterprise software systems. Journal of Information Science and Engineering, 25 (5). pp. 1321-1336. ISSN 1016-2364

Barrett, Ronan and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Distribution pattern-driven development of service architectures. J.UCS Journal of Universal Computer Science, 15 (11). pp. 2166-2195. ISSN 0948-695X

Kenny, Claire and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Intelligent and adaptive tutoring for active learning and training environments. Interactive Learning Environments Journal, 17 (2). pp. 181-195. ISSN 1744-5191

Pahl, Claus ORCID: 0000-0002-9049-212X and Kenny, Claire (2009) Interactive correction and recommendation for computer language learning and training. IEEE Transactions on Knowledge and Data Engineering, 21 (6). pp. 854-866. ISSN 1041-4347

Zhu, Yaoling and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Consistency and modularity in mediated service-based data integration solutions. In: Hung, P.C.K., (ed.) Service and Business Computing Solutions with XML: Applications for Quality Management and Best Processes. IGI Global, pp. 98-113.

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Towards the validation of adaptive educational hypermedia using CAVIAr. In: The 6th International Workshop on Authoring of Adaptive and Adaptable Hypermedia A3H’2008., 2008, Hannover, Germany.

Pahl, Claus ORCID: 0000-0002-9049-212X and Holohan, Edmond (2009) Applications of semantic web technology to support learning content development. Interdisciplinary Journal of E-Learning and Learning Objects, 5 . pp. 1-25. ISSN 1552-2210

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Constraint-based validation of adaptive e-learning courseware. IEEE Transactions on Learning Technologies, 2 (1). pp. 37-49. ISSN 1939-1382

Moore, Colm, Wang, MingXue and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) An architecture for autonomic web service process planning. In: Binder, Walter and Dustdar, Schahram, (eds.) Emerging Web Services Technology. Whitestein Series in Software Agent Technologies and Autonomic Computing, III . Springer (Birkhaeuser), pp. 117-130. ISBN 978-3-0346-0103-0

Gacitua-Decar, Veronica and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Automatic business process pattern matching for enterprise services design. In: SOPOSE 2009 - 4th international workshop on Service and Process oriented Software Engineering, 21-25 September 2009, Bangalore, Karnataka, India. ISBN 978-1-4244-5303-0

Wang, MingXue, Bandara, Kosala Yapa and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Constraint integration and violation handling for BPEL processes. In: ICIW 2009 - 4th International Conference on Internet and Web Applications and Services, 24-28 May 2009, Venice/Mestre, Italy. ISBN 978-1-4244-3851-8

Bandara, Kosala Yapa, Wang, MingXue and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Context modeling and constraints binding in web service business processes. In: CASTA 2009 - 1st international workshop on context-aware software technology and applications, 24 August 2009, Amsterdam, The Netherlands.

Barrett, Ronan and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Distribution pattern-driven development of service architectures. Journal of Universal Computer Science, 15 (11). pp. 2166-2195. ISSN 0948-6968

Bandara, Kosala Yapa, Wang, MingXue and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Dynamic integration of context model constraints in web service processes. In: SE 2009 - International Software Engineering Conference, 17-19 February 2009, Innsbruck, Austria. ISBN 978-0-88986-785-7;

Wang, MingXue, Bandara, Kosala Yapa and Pahl, Claus ORCID: 0000-0002-9049-212X (2009) Integrated constraint violation handling for dynamic service composition. In: SCC 2009 - IEEE International Conference on Services Computing, 21-25 September 2009, Bangalore, India. ISBN 978-1-4244-5183-8

Pahl, Claus ORCID: 0000-0002-9049-212X, Giesecke, Simon and Hasselbring, Wilhelm (2009) Ontology-based modelling of architectural styles. Information and Software Technology, 1 (12). pp. 1739-1749. ISSN 0950-5849

2008

Moore, Colm, Wang, MingXue and Pahl, Claus ORCID: 0000-0002-9049-212X (2008) An architecture for autonomic web service process planning. In: 3rd Workshop on Emerging Web Service Technologies WEWST'2008, 12 Nov 2008, Dublin, Ireland.

Gacitua-Decar, Veronica and Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Towards pattern-based service identification. In: 3rd Workshop on Emerging Web Service Technologies, 12 Nov. 2008, Dublin, Ireland.

Gacitua-Decar, Veronica and Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Service architecture design for E-Businesses: A pattern-based approach. In: International Conference on E-Commerce and Web Technology EC-Web 2008, 1-5 Sept 2008, Turin, Italy.

Gacitua-Decar, Veronica and Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Business model driven service architecture design for enterprise application integration. In: International Conference on Business Innovation and Information Technology, 24-25 january, Dublin, Ireland. ISBN 978-3-8325-2202-5

Pahl, Claus ORCID: 0000-0002-9049-212X and Barrett, Ronan (2008) An ontological framework for web service processes. International Journal of Software Engineering and Knowledge Engineering, 18 (3). pp. 383-411. ISSN 0218-1940

Gacitua-Decar, Veronica and Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Business model driven service architecture design for enterprise application integration. In: WEWST 2008 - 3rd Workshop on Emerging Web Services Technology, 12 Nov 2008, Dublin, Ireland.

Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Content-driven design and architecture of E-learning applications. Advanced Technology for Learning, 5 (1). ISSN 1710-2251

Zhu, Yaoling and Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Data integration through service-based mediation for web-enabled information systems. In: Brandon, Daniel M., (ed.) Software Engineering for Modern Web Applications: Methodologies and Technologies. Information Science Reference . IGI Global, pp. 84-99. ISBN 978-159904492-7

Pahl, Claus ORCID: 0000-0002-9049-212X, Boskovic, Marko and Hasselbring, Wilhelm (2008) Model-driven performance evaluation for service engineering. In: Gschwind, Thomas and Pautasso, Cesare, (eds.) Emerging Web Services Technology. Birkhaeuser Computer Science, II . Springer-Birkhaeuser, pp. 171-185. ISBN 978-3-7643-8863-9

Gacitua-Decar, Veronica and Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Pattern-based business-driven analysis and design of service architectures. In: The 3rd International Conference on Software and Data Technologies ICSOFT’2008., 2008, Porto, Portugal.

Pahl, Claus ORCID: 0000-0002-9049-212X and Kenny, Claire (2008) Personalised correction, feedback, and guidance in an automated tutoring system for skills training. International Journal of Knowledge and Learning (IJKL), 4 (1). pp. 75-92. ISSN 1741-1009

Pahl, Claus ORCID: 0000-0002-9049-212X, Boskovic, Marko, Barrett, Ronan and Hasselbring, Wilhelm (2008) Quality-aware model-driven service engineering. In: Rech, J. and Bunse, C., (eds.) Model-Driven Software Development: Integrating Quality Assurance. Information Science Reference . IGI Global, pp. 400-430. ISBN 978-160566006-6

Pahl, Claus ORCID: 0000-0002-9049-212X (2008) Semantic model-driven development of web service architectures. International Journal of Web Engineering and Technology, 4 (3). pp. 386-404. ISSN 1476-1289

Pahl, Claus ORCID: 0000-0002-9049-212X and Kenny, Claire (2008) The future of technology enhanced active learning – a roadmap. In: Lytras, M.L., Gasevic, D., Ordonez de Pablos, P. and Huang, W., (eds.) Technology Enhanced Learning. IGI Global, pp. 348-375. ISBN 978-159904600-6

2007

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2007) An information architecture for validating courseware. In: First International Workshop on Learning Object Discovery & Exchange LODE 2007, 18 Sept 2007, Crete, Greece.

Gleeson, Gary and Pahl, Claus ORCID: 0000-0002-9049-212X (2007) Grid service-based e-learning systems architecures. In: Pahl, Claus, (ed.) Architecture Solutions for E-Learning Systems. IGI Global, pp. 44-61. ISBN 978-1-59904-633-4

Pahl, Claus ORCID: 0000-0002-9049-212X, Giesecke, Simon and Hasselbring, Wilhelm (2007) An ontology-based approach for modelling architectural styles. In: The European Conference on Software Architecture ECSA’2007., 24-26 Sept 2007, Madrid, Spain.

Pahl, Claus ORCID: 0000-0002-9049-212X (2007) Semantic model-driven architecting of service-based software systems. Information and Software Technology, 49 (8). pp. 838-850. ISSN 1873-6025

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2007) An information architecture for courseware validation. In: 8th Annual Irish Educational Technology Users Conference EdTech 2007, 23-25 May 2007, Dublin, Ireland.

Pahl, Claus ORCID: 0000-0002-9049-212X (2007) A hybrid method for the analysis of learner behaviour in active learning environments. In: Esnault, L., (ed.) Web-Based Education and Pedagogical Technologies. IGI Global, pp. 89-101. ISBN 978-1-59904-525-2

Pahl, Claus ORCID: 0000-0002-9049-212X (2007) A conceptual architecture for interactive educational multimedia. In: Tomei, L., (ed.) Online and Distance Learning: Concepts, Methodologies, Tools and Applications. IGI Global, pp. 733-748. ISBN 9781599049359

Pahl, Claus ORCID: 0000-0002-9049-212X (2007) Behaviour analysis for web-mediated active learning. In: Tomei, L., (ed.) Online and Distance Learning: Concepts, Methodologies, Tools and Applications. IGI Global, pp. 3214-3223. ISBN 9781599049359

Pahl, Claus ORCID: 0000-0002-9049-212X (2007) Bringing activity into E-Learning – the development of online active learning and training environments. In: Buzzetto-More, Nicole, (ed.) Advanced Principles of Effective e-Learning. Informing Science Press. ISBN 978-1-932886-02-3

Pahl, Claus ORCID: 0000-0002-9049-212X (2007) An ontology for software component matching. International Journal on Software Tools for Technology Transfer (STTT), 9 (2). pp. 169-178. ISSN 1433-2787

Boyce, Sinead and Pahl, Claus ORCID: 0000-0002-9049-212X (2007) Developing domain ontologies for course content. Educational Technology & Society - ETS, 10 (3). pp. 275-288. ISSN 1436-4522

Pahl, Claus ORCID: 0000-0002-9049-212X, Boskovic, Marko and Hasselbring, Wilhelm (2007) Model-driven performance evaluation for service engineering. In: WEWST 2007 - 2nd Workshop on Emerging Web Services Technology, 26 November 2007, Halle, Germany. ISBN 1613-0073

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2007) Pedagogical validation of courseware. In: European Conference on Technology Enhanced Learning EC-TEL'07, 17-20 Sept 2007, Crete, Greece.

Barrett, Ronan and Pahl, Claus ORCID: 0000-0002-9049-212X (2007) Semantic model-driven development of service-centric software architectures. In: SEMSOA 2007 - Workshop on Software Engineering Methods for Service-Oriented Architecture, 10-11 May 2007, Hannover, Germany.

2006

Zhu, Yaoling and Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Mediated data integration and transformation for web service-based software architectures. In: 4th European Conference on Web Services ECOWS'2006, 4-6 Dec 2006, Zurich, Switzerland.

Pahl, Claus ORCID: 0000-0002-9049-212X and Melia, Mark (2006) Semantic modelling of learning objects and instruction. In: European Conference on Technology-Enhanced Learning EC-TEL, 1-4 Oct 2006, Crete, Greece. ISBN 978-3-540-45777-0

Barrett, Ronan and Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Layered patterns in modelling and transformation of service-based software architectures. In: European Workshop on Software Architectures EWSA'2006, 4-5 Sept 2006, Nantes, France.

Barrett, Ronan, Patcas, Lucian, Murphy, John and Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Model driven distribution pattern design for dynamic web service compositions. In: International Conference on Web Engineering ICWE’06, 10-11 Jul 2006, Palo Alto, US.

Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Ontology-based composition and transformation for model-driven service architecture. In: European Conference on Model-Driven Architecture - Foundations and Applications ECMDA-FA 2006, 10-13 Jul 2006, Bilbao, Spain..

Pahl, Claus ORCID: 0000-0002-9049-212X (2006) A conceptual architecture for interactive educational multimedia. In: Ma, J., (ed.) Web-based Intelligent e-Learning Systems: Technologies and Applications. IGI Global, pp. 101-121. ISBN 978-1-59140-731-7

Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Data mining for the analysis of content interaction in web-based learning and training systems. In: Ventura, S. and Romero, C., (eds.) Data Mining in E-Learning. WIT Press, pp. 41-56. ISBN 978-1-84564-152-8

Melia, Mark and Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Automatic validation of learning object compositions. In: Information Technology and Telecommunications Conference IT&T'2005, Carlow, Ireland.

Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Behaviour analysis for web-mediated active learning. International Journal of Web-Based Learning and Teaching Technologies, 1 (3). pp. 45-55. ISSN 1548-1093

Barrett, Ronan and Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Model driven design of distribution patterns for web service compositions. In: IWMEC 2006 - International Workshop on Models for Enterprise Computing, 19 December 2006, Chicago, IL, USA. ISBN 0-7695-2669-1

Pahl, Claus ORCID: 0000-0002-9049-212X, Barrett, Ronan and Melia, Mark (2006) Perspectives for a model-driven service engineering discipline. In: ETAPS Workshop, March 25 - April 2 2006, Vienna, Austria..

Barrett, Ronan and Pahl, Claus ORCID: 0000-0002-9049-212X (2006) Semi-automatic distribution pattern modeling of web service compositions using semantics. In: EDOC 2006 - 10th IEEE International Enterprise Distributed Object Computing Conference, 16-20 October 2006, Hong Kong. ISBN 0-7695-2558-X

Holohan, Edmond, Melia, Mark, McMullen, Declan and Pahl, Claus ORCID: 0000-0002-9049-212X (2006) The generation of e-learning exercise problems from subject ontologies. In: ICALT 2006 - 6th International Conference on Advanced Learning Technologies, 5-7 July 2006, Kerkrade, The Netherlands. ISBN 0-7695-2632-2

2005

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) A conceptual framework for semantic web services development and deployment. International Journal of Web and Grid Services, 1 (3/4). pp. 287-304. ISSN 1741-1106

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Ontology transformation and reasoning for model-driven architecture. In: International Conference on Ontologies, Databases and Applications of Semantics ODBASE’2005., 31 Oct - 4 Nov 2005, Agia Napa, Cyprus.

Pahl, Claus ORCID: 0000-0002-9049-212X and Zhu, Yaoling (2005) A semantical framework for the orchestration and choreography of web services. In: International Workshop on Web Languages and Formal Methods WLFM'05, 19 Jul 2005, Newcastle, UK.

Holohan, Edmond, Melia, Mark, McMullen, Declan and Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Adaptive E-learning content generation based on semantic web technology. In: International Workshop on Applications of Semantic Web Technologies for E-Learning (SW-EL 2005) – at the 12th International Conference on Artificial Intelligence in Education AIED 2005., 18 July 2005, Amsterdam. Netherlands..

Boyce, Sinead and Pahl, Claus (2005) Developing domain ontologies for courseware content. In: International Conference on Educational Hyper- and Multimedia EdMedia’05, 27 June - 2 july 2005, Montreal, Canada.

Pahl, Claus ORCID: 0000-0002-9049-212X and Kenny, Claire (2005) An active learning and training environment for database programming. In: International Conference on Educational Hyper- and Multimedia EdMedia’05, 27 June 2005, Montreal, Canada. ISBN 1-880094-56-8

Melia, Mark, McMullen, Declan, McEvoy, Mark, Pahl, Claus ORCID: 0000-0002-9049-212X and Jennings, Edward (2005) Migrating existing multimedia courseware to Moodle. In: International Conference on Educational Hyper- and Multimedia EdMedia’05, 27 June 2005, Montreal, Canada.

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Systematic development of courseware systems. In: International Conference on Educational Hyper- and Multimedia EdMedia’05, 27 June 2005, Montreal, Canada.

Melia, Mark, McMullen, Declan and Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Integration of a course management system with interactive educational multimedia. In: International Conference on Methods and Technologies for Learning ICMTL 2005, 9-11 March 2005, Palermo, Italy.

Kenny, Claire and Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Automated tutoring for a database skills training environment. In: SIGCSE 2005 - 36th SIGCSE technical symposium on Computer science education, 23-27 Feb 2005, St. Louis, USA. ISBN 1-58113-997-7

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Organising the knowledge space for software components. In: Classification Conference 2004, 9-11 march 2004, Dortmund, Germany. ISBN 3540256776

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) A conceptual architecture for semantic web services development and deployment. International Journal of Web and Grid Services, 1 (3/4). pp. 287-304. ISSN 1741-1106

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) An ontology-based MDA framework for service-based software systems architecting. In: Workshop on Semantic Web Enabled Software Engineering SWESE05 - at the 4th International Semantic Web Conference ISWC2005, 6 - 10 November 2005, Galway, Ireland..

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Knowledge infrastructures for software service architectures. In: Information Technology and Telecommunications Conference IT&T'2005 : Information Architecture - Systems, Architectures and Content., 2005, Cork, Ireland..

Pahl, Claus ORCID: 0000-0002-9049-212X (2005) Layered ontological modelling for web service-oriented model-driven architecture. In: European Conference on Model-Driven Architecture ECMDA’2005.

2004

Pahl, Claus ORCID: 0000-0002-9049-212X (2004) Adaptive development and maintenance of user-centric software systems. Information and Software Technology, 46 (14). pp. 973-986. ISSN 1873-6025

Pahl, Claus ORCID: 0000-0002-9049-212X and Barrett, Ronan (2004) Towards a re-engineering method for web services architectures. In: The 3rd Annual Nordic Conference on Web Services NCWS’04., 22 – 23 Nov 2004., Vaxjo, Sweden.

Pahl, Claus ORCID: 0000-0002-9049-212X (2004) Data mining technology for the evaluation of learning content interaction. International Journal on E-Learning, 3 (4). p. 47. ISSN 1537-2456

Pahl, Claus ORCID: 0000-0002-9049-212X (2004) A taxonomy for interactive educational multimedia. In: International Conference on Educational Hyper- and Multimedia Edmedia’04, 21-26 June 2004, Lugano, Switzerland. ISBN 1-880094-53-3

Pahl, Claus ORCID: 0000-0002-9049-212X and Holohan, Edmond (2004) Ontology technology for the development and deployment of learning technology systems - a survey. In: International Conference on Educational Hyper- and Multimedia Edmedia’04, 21-26 June 2004, Lugano, Switzerland.

Pahl, Claus ORCID: 0000-0002-9049-212X, Barrett, Ronan and Kenny, Claire (2004) Supporting active database learning and training through interactive multimedia. In: International Conference on Innovation and Technology in Computer Science Education ITiCSE’04, 28-30 June 2004, Leeds, UK. ISBN 1-58113-836-9

Pahl, Claus ORCID: 0000-0002-9049-212X and Barrett, Ronan (2004) A web services architecture for learning object discovery and assembly. In: The International Conference on the World-Wide Web WWW’04., 17-22 May 2004., New York, USA..

Pahl, Claus ORCID: 0000-0002-9049-212X (2004) An ontology-based framework for semantic grid service composition. In: Grid Service Engineering and Maintenance Conference GSEM’04., 27-30 Sept. 2004.

2003

Pahl, Claus ORCID: 0000-0002-9049-212X and Casey, Maire (2003) Ontology support for web service processes. In: 9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE’03, 1-5 Sept. 2003, Helsinki, Finland.

Li, Chen and Pahl, Claus ORCID: 0000-0002-9049-212X (2003) Security in the web services framework. In: The International Symposium on Information and Communications Technologies ISICT’03, 24-25 Sept 2003, Dublin, Ireland..

Holohan, Edmond and Pahl, Claus ORCID: 0000-0002-9049-212X (2003) Semantic web technology for web-based teaching and learning: A roadmap. In: The 4th Annual LTSN-ICS Learning and Teaching Support Network - Information and Computer Sciences., August 2003, Galway, Ireland..

Murray, Sarah, Ryan, James and Pahl, Claus ORCID: 0000-0002-9049-212X (2003) A tool-mediated cognitive apprenticeship approach for a computer engineering course. In: International Conference on Advanced Learning Technologies ICALT'2003, 9-11 Jul 2003, Athens, Greece.

Lei, Xu, Pahl, Claus ORCID: 0000-0002-9049-212X and Donnellan, David (2003) An evaluation technique for content interaction in web-based teaching and learning environments. In: International Conference on Advanced Learning Technologies ICALT'2003., 9-11 July 2003, Athens, Greece..

Pahl, Claus ORCID: 0000-0002-9049-212X (2003) Managing evolution and change in web-based teaching and learning environments. Computers & Education, 40 (2). pp. 99-114. ISSN 0360-1315

Pahl, Claus ORCID: 0000-0002-9049-212X (2003) An ontology for software component matching. In: ETAPS Conference on Foundational Aspects of Software Engineering FASE'03., 7-11 Apr 2003, Warsaw, Poland.

Casey, Maire and Pahl, Claus ORCID: 0000-0002-9049-212X (2003) Web components and the semantic web. In: ETAPS Workshop on Software Composition SC’2003., 2003, Warsaw, Poland..

2002

Pahl, Claus ORCID: 0000-0002-9049-212X (2002) An evaluation of scaffolding for virtual interactive tutorials. In: International Conference on E-Learning in Business, Government and Higher Education, November 2002, Montreal, Canada.

Pahl, Claus ORCID: 0000-0002-9049-212X (2002) Interference analysis for dependable systems using refinement and abstraction. In: Symposium Formal Methods Europe FME'2002., 22-24 Jul 2002, Copenhagen, Denmark..

Pahl, Claus ORCID: 0000-0002-9049-212X and Ward, David (2002) Towards a component composition and interaction architecture for the web. In: ETAPS 2002 Workshop on Software Composition SC2002, 6-14 Apr 2002, Grenoble, France.

Pahl, Claus ORCID: 0000-0002-9049-212X (2002) Analysing security properties using refinement. In: ZB’2002 Z and B User’s Conference – Workshop on Refinement of Critical Systems., 23-25 Jan 2002, Genoble, France.

Pahl, Claus ORCID: 0000-0002-9049-212X (2002) A formal composition and interaction model for a web component platform. In: ICALP'2002 Workshop on Formal Methods and Component Interaction., 8-13 Jul 2002, Malaga, Spain.

Pahl, Claus ORCID: 0000-0002-9049-212X and Donnellan, David (2002) Data mining technology for the evaluation of web-based teaching and learning systems. In: 7th Int. Conference on E-Learning in Business, Government and Higher Education, 15-19 Oct 2002, Montreal, Canada.

2001

Pahl, Claus ORCID: 0000-0002-9049-212X (2001) A PiCalculus based framework for the composition and replacement of components. In: Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA’2001 – Workshop on Specification and Verification of Component-Based Systems., 14-18 Oct. 2001, Tampa, FL.

Donnellan, David and Pahl, Claus ORCID: 0000-0002-9049-212X (2001) Evaluation of usage patterns for web-based educational systems using web mining. In: ECITE’2001 European Conference on Information Technology Evaluation, 17-18 Sept. 2001, Oxford, UK..

Pahl, Claus ORCID: 0000-0002-9049-212X (2001) Interactivity and integration in virtual courses. In: International Conference on Advanced Learning Technologies ICALT 2001, 6-8 August 2001, Madison, Wisconsin, US. ISBN 0-7695-1013-2

Pahl, Claus ORCID: 0000-0002-9049-212X (2001) Observation and abstract behaviour in specification and implementation of state-based systems. In: Irish Workshop on Formal Methods IWFM’2001, 16-17 July 2001, Dublin, Ireland.

Pahl, Claus ORCID: 0000-0002-9049-212X (2001) Formalising dynamic composition and evolution in Java systems. In: ECOOP European Connference on Object-Oriented Programming – Workshop on Formal Techniques for Java Programming FTfJP’2001, 18-22 Jun 2001, Budapest, Hungary..

Pahl, Claus ORCID: 0000-0002-9049-212X (2001) Components, contracts, and connectors for the Unified Modelling Language UML. In: FME’01 Symposium Formal Methods Europe, 12-16 Mar 2001, Berlin, Germany.

Pahl, Claus ORCID: 0000-0002-9049-212X (2001) The evaluation of educational service integration in integrated virtual courses. In: IEEE SAINT’2001 Symposium on Applications and the Internet - Workshop on Internet-Supported Education, 8-12 February 2001, San Diego, Calfiornia. ISBN 0-7695-0945-2

2000

Pahl, Claus ORCID: 0000-0002-9049-212X (2000) Modal logics for reasoning about object-based component composition. In: The 4rd Irish Workshop on Formal Methods., July 2000, Maynooth, Ireland.

Pahl, Claus ORCID: 0000-0002-9049-212X (2000) An algebraic basis for specifying and enforcing access control in security systems. In: The 4th Irish Workshop on Formal Methods, July 2000, Maynooth, Ireland.

1999

Pahl, Claus ORCID: 0000-0002-9049-212X (1999) Modular Composition of Language Features through Extensions of Semantic Language Models. In: 3rd Irish Workshop on Formal Methods, July 1999, Galway, Ireland.

1998

Pahl, Claus ORCID: 0000-0002-9049-212X (1998) Facilitating modular property-preserving extensions of programming languages. In: 2nd Irish Workshop on Formal Methods, 2-3 July 1998, Cork, Ireland.

1996

Doberkat, Ernst-Erich, Hasselbring, Wilhelm and Pahl, Claus ORCID: 0000-0002-9049-212X (1996) Investigating strategies for cooperative planning of independent agents through prototype evaluation. In: First International Conference on Coordination Models and Languages.

1995

Gruhn, Volker, Wever, Monika and Pahl, Claus ORCID: 0000-0002-9049-212X (1995) Data model evolution as a basis of business process management. In: 14th International Conference on Object-Oriented and Entity Relationship Modelling O-O ER’95, 13-15 Dec 1995, Gold Coast, Australia. ISBN http://dx.doi.org/10.1007/BFb0020539

1992

Doberkat, Ernst-Erich, Franke, Wolfgang, Gutenbeil, Ulrich, Hasselbring, Wilhelm, Lammers, Ulrich and Pahl, Claus ORCID: 0000-0002-9049-212X (1992) PROSET — A Language for Prototyping with Sets. In: Third International Workshop on Rapid System Prototyping, 23-25 June 1992, Research Triangle Park, NC.