Software and Systems Engineering
Dublin City University

Claus Pahl:

Home ]

Publications ]

[ Research ]

[ Teaching ]

[ CV ]


Publications
by year:

2014 ]

2013 ]

2012 ]

2011 ]

2010 ]

2009 ]

2008 ]

2007 ]

2006 ]

2005 ]

2004 ]

2003 ]

2002 ]

2001 ]

2000 ]

< 2000 ]


Claus Pahl - Publications

( My Google Scholar Profile is here. )

( More downloadable publications are here. )

2014

Ahmad, Aakash and Jamshidi, Pooyan and Pahl, Claus (2014)
Classification and Comparison of Architecture Evolution-Reuse Knowledge – A Systematic Review.
JOURNAL OF SOFTWARE: EVOLUTION AND PROCESS .
2014.

         

Javed, Muhammad and Abgaz, Yalemisew M. and Pahl, Claus (2014)
Layered Ontology Change Log Model: Bridging between Change Representation and Pattern Mining.
International Journal of Metadata, Semantics and Ontologies (IJMSO) . ISSN 1744-2621
2014.

         

Collins, Luke and Pahl, Claus (2014)
Software Service Adaptation based on Interface Localisation.
International Journal of Systems and Service-Oriented Engineering . ISSN 1947-3052
2014

         

Fowley, Frank and Pahl, Claus 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.
2014.

         

Jamshidi, Pooyan and Ahmad, Aakash and Pahl, Claus (2014)
Autonomic Resource Provisioning for Cloud-Based Software
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems SEAMS'14
2014

         

Xiong, Huanhuan and Fowley, Frank and Pahl, Claus and Moran, Niall (2014)
Scalable Architectures for Platform-as-a-Service Clouds: Performance and Cost Analysis
European Conference on Software Architecture ECSA'14
2014

         

Jamshidi, Pooyan and Pahl, Claus (2014)
Orthogonal Variability Modeling to Support Multi-Cloud Application Configuration.
Workshop on Seamless Adaptive Multi-cloud Management of Service-based Applications Seaclouds'2014.
2014.

         

Zhang, Li and Fowley, Frank and Pahl, Claus (2014)
A Template Description Framework for Services as a Utility for Cloud Brokerage.
In: International Conference on Cloud Computing and Services Science CLOSER'2014.
2014

         

Lakew, Ewnetu Bayuh and Xu, Lei and Hernandez-Rodriguez, Francisco and Elmroth, Erik and Pahl, Claus (2014)
A Tree-based Protocol for Enforcing Quotas in Clouds.
IEEE 4th International Workshop on Performance Aspects of Cloud and Service Virtualization (CloudPerf 2014).
2014.

         

Xu, Lei and Zhang, Li and Lakew, Ewnetu and Pahl, Claus (2014)
Resource State Monitoring of Service Transactions in Cloud Systems.
IEEE 11th International Conference on Services Computing (SCC 2014).
2014.

         

Pahl, Claus and Mani, Neel (2014)
Managing Quality Constraints in Technology-managed Learning Content Processes.
In: EdMedia'2014 World Conference on Educational Media and Technology.
2014

         

Top of page ]

2013

Aakash Ahmad, Pooyan Jamshidi, Claus Pahl
A Framework for Acquisition and Application of Software Architecture Evolution Knowledge
Software Engineering Notes Volume 38 Issue 5, Pages 1-7
ACM SIGSOFT
2013

         

Pooyan Jamshidi, Aakash Ahmad, Claus Pahl
Cloud Migration Research: A Systematic Review
IEEE Transactions on Cloud Computing
2013

         

Kosala Yapa Bandara, MingXue Wang, Claus Pahl
An Extended Ontology-based Context Model and Manipulation Calculus for Dynamic Web Service Processes
Journal of Service Oriented Computing and Applications
Springer

         

Muhammad Javed, Yalemisew M. Abgaz, Claus Pahl
Ontology Change Management and Identification of Change Patterns
Journal on Data Semantics
Volume 2, Issue 2-3, pp 119-143
2013

         

Pahl, Claus (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.
2013

         

Li Zhang, Bin Zhang, Claus Pahl, Lei Xu, Zhiliang Zhu.
Personalized Quality Prediction for Dynamic Service Management based on Invocation Patterns.
Eleventh International Conference on Service Oriented Computing ICSOC 2013
Springer
2013

         

Frank Fowley, Claus Pahl, Li Zhang.
A Comparison Framework and Review of Service Brokerage Solutions for Cloud Architectures.
1st International Workshop on Cloud Service Brokerage (CSB 2013)
Springer
2013

         

Claus Pahl, Huanhuan Xiong
Migration to PaaS Clouds - Migration Process and Architectural Concerns
IEEE 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems MESOCA 2103
IEEE
2013

         

Claus Pahl, Neel Mani, Ming-Xue Wang
A Domain-Specific Model for Data Quality Constraints in Service Process Adaptations
3rd International Workshop on Adaptive Services for the Future Internet (WAS4FI 2013)
Springer
2013

         

P. Jamshidi, A. Ahmad and C. Pahl.
A Framework for Classifying and Comparing Architecture-Centric Software Evolution Research.
17th European Conference on Software Maintenance and Reengineering CSMR'2013.
2013.

         

C. Pahl, H. Xiong, R. Walshe.
A Comparison of On-premise to Cloud Migration Approaches.
European Conference on Service-Oriented and Cloud Computing ESOCC 2013
Springer LNCS
2013

         

A. Ahmad, P. Jamshid, C. Pahl, F. Khaliq.
PatEvol - A Pattern Language for Evolution in Component-Based Software Architectures.
First Workshop on Patterns Promotion and Anti-patterns Prevention (PPAP) 2013.
co-located with the 17th European Conference on Software Maintenance and Reengineering (CSMR'2013) .
2013

         

L. Collins, F. Fowley, C. Pahl.
Rule-based Cloud Service Localisation.
3rd International Conference on Cloud Computing and Services Science CLOSER 2013.
2013

         

L. Collins, C. Pahl.
A Service Localisation Platform.
The Fifth International Conferences on Advanced Service Computing (SERVICE COMPUTATION 2013). May 27 - June 1, 2013 - Valencia, Spain.
2013

         

C. Pahl, L. Zhang, F. Fowley.
A Look at Cloud Architecture Interoperability through Standards.
The Fourth International Conference on Cloud Computing, Grids and Virtualization - CLOUD COMPUTING 2013. Valencia, Spain.
May/June 2013

         

M.X. Wang, L. Xu, C. Pahl
A Coordination Protocol for User-customisable Cloud Policy Monitoring
3rd International Conference on Cloud Computing and Services Science CLOSER 2013.
2013

         

C. Pahl, M. Javed, Y.M. Abgaz.
Ontology Evolution for Learning Content Management Systems.
EdMedia 2013: World Conference on Educational Media and Technology.
2013.

         

C. Pahl, L. Zhang, F. Fowley.
Interoperability Standards for Cloud Architecture.
Intl. Conference on Cloud Computing and Services Science Closer'13.
2013

         

T. Lynn, P. Healy, R. McClatchey, J. Morrison, C. Pahl and B. Lee.
The Case for Cloud Service Trustmarks and Assurance-as-a-Service.
Intl. Conference on Cloud Computing and Services Science (Closer'13). Aachen, Germany
2013

         

Top of page ]

2012

M. Boškovic, D. Cancila, C. Pahl and B. Schätz (Editors)
Non-Functional System Properties in Domain Specific Modeling Languages NFPinDSML
Special Issue.
Computer Science - Research and Development. Springer-Verlag
2012.

         

C. Pahl, V. Gacitua-Decar, M.X. Wang, and K.Y. Bandara
Ontology-based composition and matching for dynamic cloud service coordination
International Journal of Metadata, Semantics and Ontologies
2012

         

C. Pahl, V. Gacitua-Decar, M.X. Wang, and K.Y. Bandara
Flexible Coordination Techniques for Dynamic Cloud Service Collaboration
In: Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution
J. Cubo and G. Ortiz (Eds.)
2012

         

A. Ahmad and C. Pahl
Pat-Evol: Pattern-drive Reuse in Architecture-based Evolution for Service Software
ERCIM News 88
January 2012

         

M. Javed, Y.M. Abgaz, C. Pahl.
Composite Ontology Change Operators and their Customizable Evolution Strategies
2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics EvoDyn 2012 - Co-located with the 11th International Semantic Web Conference (ISWC 2012)
Boston, US
2012

         

Y.M. Abgaz, M.Javed, C. Pahl.
Analyzing Impacts of Change Operations in Evolving Ontologies
Composite Ontology Change Operators and their Customizable Evolution Strategies
2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics EvoDyn 2012 - Co-located with the 11th International Semantic Web Conference (ISWC 2012)
Boston, US
2012

         

A. Ahmad, P. Jamshidi and C. Pahl
Graph-based Pattern Identification from Architecture Change Logs
International Workshop on System/Software Architectures IWSSA’2012
2012.

         

C. Pahl
Cloud Service Localisation
European Conference on Service-Oriented and Cloud Computing ESOCC 2012
Springer LNCS
2012

         

M. Wang and C. Pahl
User-Customisable Policy Monitoring for Multi-tenant Cloud Architectures
European Conference on Service-Oriented and Cloud Computing ESOCC 2012
Springer LNCS
2012

         

A. Ahmad, P. Jamshidi and C. Pahl
Pattern-driven Reuse in Architecture-centric Evolution for Service Software
7th International Conference on Software Paradigm Trends ICSOFT 2012
2012

         

A. Ahmad, P. Jamshidi, M. Arshad and C. Pahl
Graph-based Implicit Knowledge Discovery from Architecture Change Logs
Seventh Workshop on SHAring and Reusing architectural Knowledge - SHARK 2012 (at WICSA/ECSA'2012)
2012

         

P. Jamshidi, C. Pahl
Business Process and Software Architecture Model Co-Evolution Patterns
ICSE 2012 Workshop on Modelling in Software Engineering MiSE'2012.
2012

         

Y.M. Abgaz, M. Javed, C. Pahl
Dependency Analysis in Ontology-driven Content-based Systems
Proc: 12th Int. Conference Artificial Intelligence and Soft Computing, 29 April - 03 May, 2012, Zakopane, Poland.
2012

         

Top of page ]

2011

M. Melia and C. Pahl.
Model-driven Transformation and Validation of Adaptive Educational Hypermedia using CAVIAr.
Journal of Universal Computer Science (JUCS). 16(19):2862-2881
Springer-Verlag. 2011.

Download PDF        

C. Pahl, V. Gacitua-Decar, K. Yapa Bandara, M. Wang.
Ontology-based Composition and Matching for Dynamic Service Coordination.
Workshop on Ontology, Models, Conceptualization and Epistemology in Social, Artificial and Natural Systems Workshop ONTOSE’2011
2011.

Download PDF        

C. Pahl, V. Gacitua-Decar, K. Yapa Bandara, M. Wang.
A Coordination Space Architecture for Service Collaboration and Cooperation.
International Workshop on System/Software Architectures IWSSA’2011
2011.

Download PDF        

M. Javed, Y. Abgaz and C. Pahl.
A Layered Framework for Pattern-based Ontology Evolution.
Workshop on Ontology-Driven Information Systems Engineering ODISE’2011
2011.

Download PDF        

M. Javed, Y. Abgaz and C. Pahl.
Towards Implicit Knowledge Discovery from Ontology Change Log Data.
In Proc: 5th International Conference on Knowledge Science, Engineering and Management (KSEM), 12 - 14 December, 2011, Irvine, USA
2011.

Download PDF        

M. Javed, Y. Abgaz and C. Pahl.
Graph-based Discovery of Ontology Change Patterns.
WIn International Semantic Web Conference (ISWC) Workshops: Joint Workshop on Knowledge Evolution and Ontology Dynamics (EvoDyn), 24th October, 2011, Bonn, Germany [CEUR-Workshop Proceedings]
2011.

Download PDF        

Y.M. Abgaz, M. Javed and C. Pahl.
A Framework for Change Impact Analysis of Ontology-driven Content-based Systems.
In Proc: On the Move to Meaningful Internet Systems: OTM Workshops. 7th International IFIP Workshop on Semantic Web and Web Semantics (SWWS), 17th - 21st October, 2011, Crete, Greece
2011.

Download PDF        

G. Creaner and C. Pahl
Flexible Coordination Techniques for Dynamic Cloud Service Collaboration.
Proc: Workshop on Adaptive Services for the Future Internet WAS4FI.
ServiceWave 2012.
2011

Download PDF        

C. Pahl.
Change and Evolution in Web-based Learning Technology Systems.
International Conference on Educational Hyper- and Multimedia EdMedia’11
AACE. 2011.

Download PDF        

A. Ahmad and C. Pahl.
Customisable Transformation-Driven Evolution for Service Architectures.
15th European Conference on Software Maintenance and Reengineering CSMR'2011. Doct. Consortium
2011.

Download PDF        

Top of page ]

2010

M. Boškovic, D. Cancela, C. Pahl and B. Schätz (Editors)
3rd International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages NFPinDSML 2010
ACM/IEEE MODELS Conference.
CEUR Workshop Proceedings.
2010.

         

K. Yapa Bandara, M. Wang and C. Pahl.
Context Constraint Integration and Validation in Dynamic Web Service Compositions.
M. Sheng, J. Yu, and S. Dustdar (Eds.) Enabling Context-Aware Web Services: Methods, Architectures, and Technologies.
Chapman and Hall/CRC Press.
2010.

         

M. Boškovic, D. Gaševic, C. Pahl and B. Schätz (Editors)
Non-Functional System Properties in Domain Specific Modeling Languages
Special Section.
Journal of Software and Systems Modelling.
2010.

         

C. Pahl and R. Barrett.
Pattern-based Software Architecture for Service-centric Software Systems.
e-Informatica Journal on Software Engineering. 4(1):31-45.
2010.

Download PDF        

C. Pahl.
Dynamic Adaptive Service Architecture - Towards Coordinated Service Composition.
European Conference on Software Architecture ECSA'2010.
Springer Verlag, LNCS Series
2010.

Download PDF BIBTex      

J. John, M. Wang and C. Pahl.
Dynamic Architectural Constraints Monitoring and Reconfiguration in Service Architectures.
European Conference on Software Architecture ECSA'2010.
Springer Verlag, LNCS Series
2010.

Download PDF BIBTex      

M. Wang, K. Yapa Bandara and C. Pahl.
Process as a Service - Distributed Multi-tenant Policy-based Process Runtime Governance.
IEEE International Conference on Services Computing SCC 2010.
IEEE Press.
2010.

Download PDF BIBTex      

M. Wang, K. Yapa Bandara and C. Pahl.
Distributed aspect-oriented service composition for business compliance governance with public service processes.
The Fifth International Conference on Internet and Web Applications and Services ICIW 2010.
2010.

Download PDF BIBTex      

M. Melia and C. Pahl.
Model-Driven Description and Validation of Composite Learning Content .
International Conference on Educational Hyper- and Multimedia EdMedia’10. Montreal, Canada.
AACE. 2010.

Download PDF BIBTex      

M. Javed, Y. Abgaz and C. Pahl.
Ontology-based Domain Modelling for Consistent Content Change Management.
International Conference on Ontological and Semantic Engineering ICOSE'2010.
2010.

Download PDF        

C. Pahl, M. Javed, Y.M. Abgaz.
Utilising Ontology-based Modelling for Learning Content Management.
International Conference on Educational Hyper- and Multimedia EdMedia’10. Montreal, Canada.
AACE. 2010.

Download PDF BIBTex      

A. Ahmad and C. Pahl.
Pattern-based Customisable Transformations for Style-based Service Architecture Evolution.
6th International Conference on Next Generation Web Services Practices NWeSP 2010.
2010.

Download PDF        

Y. Abgaz, M. Javed, and C. Pahl.
Empirical Analysis of Impacts of Instance-Driven Changes in Ontologies.
The 5th International Workshop on Ontology Content OnToContent 2010.
Springer-Verlag. 2010.

Download PDF        

Top of page ]

2009

C. Pahl, S. Giesecke and W. Hasselbring.
Ontology-based Modelling of Architectural Styles.
Information and Software Technology (IST). 1(12): 1739-1749
Elsevier. 2009.

Download PDF BIBTex      

R. Barrett and C. Pahl.
Distribution Patterns for Web Service Compositions.
Journal of Universal Computer Science (JUCS). 15(11): 2166-2195
Springer-Verlag. 2009.

Download PDF BIBTex      

C. Pahl, M. Voss and W. Hasselbring.
Service-centric Integration Architecture for Enterprise Software Systems.
Journal of Information Science and Engineering. 25(5)
2009.

Download PDF        

M. Melia and C. Pahl.
Constraint-based Validation of Adaptive e-Learning Courseware.
IEEE Transactions on Learning Technology (IEEE TLT). 2(1): 37-49
2009.

Download PDF BIBTex      

C. Pahl and C. Kenny.
Interactive Correction and Recommendation for Computer Language Learning and Training.
IEEE Transactions on Knowledge and Data Engineering (IEEE TKDE). 21(6): 854-866
2009.

Download PDF BIBTex      

C. Pahl, Y. Zhu and V. Gacitua.
A Template-driven Approach for Maintainable Service-oriented Information Systems Integration.
International Journal of Software Engineering and Knowledge Engineering (IJSEKE).
World Scientific Press.
2009.

Download PDF        

B. König-Ries and C. Pahl (Editors).
Special Issue on Web Service Platform and Technologies.
Computer Science - Research and Development.
Springer.
2009.

         

M. Wang, K. Yapa Bandara and C. Pahl.
Integrated Constraint Violation Handling for Dynamic Service Composition.
IEEE International Conference on Services Computing SCC 2009.
IEEE.
2009.

Download PDF BIBTex      

K. Yapa Bandara, M. Wang and C. Pahl.
Dynamic Integration of Context Model Constraints in Web Services Processes.
International Software Engineering Conference SE’2009.
IASTED.
2009.

Download PDF        

C. Pahl and E. Holohan.
Applications of Semantic Web Technology to Support Learning Content Development.
Interdisciplinary Journal of E-Learning and Learning Objects (IJELLO), Vol. 5: 1-25.
2009.

Download PDF BIBTex      

M. Boškovic, D. Gaševic, C. Pahl, B. Schätz (Editors).
Non-Functional System Properties in Domain Specific Modeling Languages – Special Section.
Journal of Software and Systems Modelling Journal.
2009.

         

C. Pahl.
Semantic Model-Driven Development of Web Service Architectures.
International Journal of Web Engineering and Technology (IJWET). 4(3): 386-404
2009.

Download PDF        

C. Kenny and C. Pahl.
Intelligent and Adaptive Tutoring for Active Learning and Training Environments.
Interactive Learning Environments Journal (ILE). 17(2): 181-196
2009.

Download PDF   EndNote URL Link  

V. Gacitua-Decar and C. Pahl.
Pattern-based Architecture for Business Operations and Enterprise Software Applications Alignment.
G. Mentzas (Editor). Semantic Enterprise Application Integration.
2009. IGI.

         

Y. Zhu and C. Pahl.
Consistency and Modularity in Mediated Service-based Data Integration Solutions.
P.C.K. Hung (Editor). Service and Business Computing Solutions with XML: Applications for Quality Management and Best Processes. Pages 98-113
2009. IGI.

         

M. Wang, K. Yapa Bandara. and C. Pahl.
Constraint Integration and Violation Handling for BPEL Processes
.
The Fourth International Conference on Internet and Web Applications and Services ICIW 2009. pp.337-342
2009.

Download PDF BIBTex      

C. Moore, M. X. Wang and C. Pahl.
An Architecture for Autonomic Web Servive Process Planning (extended version).
Proceedings 3rd Workshop on Emerging Web Service Technologies.
2009. Birkhäuser Verlag.

         

J.P. Garcia-Gonzalez, V. Gacitua-Decar and C. Pahl.
A Service Architecture Solution for Mobile Enterprise Resources: A Case Study in the Banking Industry (extended version).
Proceedings 3rd Workshop on Emerging Web Service Technologies.
2009. Birkhäuser Verlag.

         

V. Gacitua-Decar and C. Pahl.
Towards Pattern-Based Service Identification (extended version).
Proceedings 3rd Workshop on Emerging Web Service Technologies.
2009. Birkhäuser Verlag.

         

M. Javed, Y. Abgaz and C. Pahl.
A Pattern-based Framework of Change Operators for Ontology Evolution.
The 4th International Workshop on Ontology Content OnToContent 2009. OnTheMove Conference Series.
Springer-Verlag. LNCS Series.
2009.

Download PDF BIBTex      

V. Gacitua-Decar and C. Pahl.
Automatic Business Process Pattern Matching for Enterprise Services Design.
4th International Workshop on Service- and Process-Oriented Software Engineering (SOPOSE-09).
IEEE Press.
2009.

Download PDF BIBTex      

K. Yapa Bandara, M. Wang and C. Pahl.
Context Modeling and Constraints Binding in Web Service Business Processes.
Workshop on Context-Aware Software Technology and Applications. ESEC/FSE Workshops. p. 29-32.
ACM. 2009.

Download PDF BIBTex      

Y. Abgaz and C. Pahl.
Content-Driven Change Discovery and Impact Determination in Evolving Ontologies.
CNGL Innovation Workshop 2009. Dublin Ireland. (Poster).
October 2009.

         

M. Javed and C. Pahl.
A Change Operator Calculus for Customisable Ontology Evolution.
CNGL Innovation Workshop 2009. Dublin Ireland. (Poster).
October 2009.

         

Top of page ]

2008

M. Boškovic, D. Gaševic, C. Pahl, B. Schätz (Editors).
International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages NFPinDSML 2008.
MODELS Conference.
CEUR Workshop Proceedings Vol-394
2008.

      URL Link  

C. Pahl, S. Clarke and R. Eshuis (Editors).
Proceedings 6th IEEE European Conference on Web Services ECOWS’2008.
IEEE Press.
2008.

      Link to IEEE  

C. Pahl and R. Barrett.
An Ontological Framework for Web Service Processes.
International Journal of Software Engineering and Knowledge Engineering (IJSEKE). 18(3): 383 - 411.
World Scientific Press.
2008.

Download PDF BIBTex   URL Link  

C. Kenny and C. Pahl.
Personalised Correction, Feedback, and Guidance in an Automated Tutoring System for Skills Training.
International Journal of Knowledge and Learning (IJKL). 4(1):75-92.
2008.

Download PDF BIBTex   URL Link  

C. Pahl.
Content-driven Architecting of E-Learning Applications.
Advanced Technology for Learning (ATL). 4(1)
2008.

Download PDF        

C. Pahl (Editor).
Proceedings Software Engineering Conference SE’2008.
IASTED.
2008.

      URL Link  

C. Pahl und C. Kenny.
Technology-Enhanced Active Learning – a Roadmap.
In D. Lytras, D. Gasevic (Editors).
Handbook of Technology-Enhanced Learning: Best Practices.
IGI Publishers, Ltd. 2008. Pages 348-375. (book chapter)

      URL Link  

C. Pahl, M. Boskovic, R. Barrett and W. Hasselbring.
Quality-aware Model-driven Service Engineering.
J. Rech and C. Bunse (Editors).
Model-Driven Software Development: Integrating Quality Assurance.
Information Science Reference, IGI. Pages 400-430
2008.

      URL Link  

Y. Zhu and C. Pahl.
Service-based Data Mediation in Web Software Applications.
D. Brandon (Editor).
Software Engineering for Modern Web Applications: Methodologies and Technologies. Pages 84-99.
2008.

      URL Link  

V. Gacitua and C. Pahl.
Service Architecture Design for E-Businesses: A Pattern-Based Approach .
International Conference on E-Commerce and Web Technology EC-Web 2008. pp. 41-50
Springer-Verlag, LNCS Series 5183. (Invited Paper).
2008.

Download PDF BIBTex EndNote URL Link  

V. Gacitua-Decar and C. Pahl.
Pattern-based Business-Driven Analysis and Design of Service Architectures. (position paper)
3rd International Conference on Software and Data Technologies ICSOFT’2008. Porto, Portugal. pp. 252-257.
2008.

Download PDF BIBTex   URL Link  

C. Moore, M. X. Wang and C. Pahl.
An Architecture for Autonomic Web Servive Process Planning.
Proceedings 3rd Workshop on Emerging Web Service Technologies WEWST'2008.
ECOWS’2008 Satellite Workshop.
2008.

Download PDF BIBTex   URL Link  

V. Gacitua-Decar and C. Pahl.
Towards Pattern-Based Service Identification.
Proceedings 3rd Workshop on Emerging Web Service Technologies.
ECOWS’2008 Satellite Workshop.
2008.

Download PDF BIBTex   URL Link  

M. Melia and C. Pahl.
Towards the Validation of Adaptive Educational Hypermedia using CAVIAr.
6th International Workshop on Authoring of Adaptive and Adaptable Hypermedia A3H’2008.
AH’2008 Workshop Proceedings.
2008.

Download PDF BIBTex   URL Link  

V. Gacitua-Decar and C. Pahl.
Business model driven Service Architecture Design for Enterprise Application Integration.
International Conference on Business Innovation and Information Technology ICBIIT’2008.
2008.

Download PDF BIBTex   URL Link  

C. Pahl, M. Boskovic, and W. Hasselbring.
Model-Driven Performance Evaluation for Service Engineering.
Workshop on Emerging Web Service Technologies WEWST'2007.
CEUR Workshop Proceedings Vol. 313, Paper 11. http://CEUR-WS.org/Vol-313/.
2008.

Download PDF BIBTex   URL Link  

Top of page ]

2007

C. Pahl (Editor).
Architecture Solutions for E-Learning Systems.
IGI Publishers. 2007.

      URL Link  

W. Zimmermann, B. König-Ries and C. Pahl (Editors).
Proceedings 5th IEEE European Conference on Web Services ECOWS'07.
IEEE. 2007.

      Link to IEEE  

C. Pahl.
An Ontology for Software Component Description and Matching.
International Journal on Software Tools for Technology Transfer (STTT)
Special Section on Fundamental Approaches to Software Engineering. 9(2): 169-178
Springer-Verlag. 2007.

Download PDF BIBTex EndNote URL Link  

C. Pahl.
Semantic Model-Driven Architecting of Service-based Software Systems.
Information and Software Technology. 49(8): 838-850
Elsevier Publishers. 2007.

Download PDF BIBTex EndNote URL Link  

S. Boyce and C. Pahl.
The Development of Subject Domain Ontologies for Educational Technology Systems.
Journal of Educational Technology and Society (ETS). 10(3):275-288.
IEEE. 2007.

Download PDF BIBTex   URL Link  

V. Gacitua and C. Pahl.
Business Process-driven Service Architecture Reuse.
In: G. Alonso and J. Koehler (Editors).
ERCIM News – Special Theme: Service Computing. No. 70.
ERCIM, July 2007.

Download PDF     URL Link  

G. Gleeson and C. Pahl.
Grid Service-based E-Learning Systems Architectures.
In: C. Pahl (Editor).
Architecture Solutions for E-Learning Systems.
IGI Publishers. 2007. (book chapter)

      URL Link  

C. Pahl.
Web-Based Education and Pedagogical Technologies: Solutions for Learning Applications. (invited contribution)
L. Esnault (Editor). Web-Based Learning and Teaching Technologies: New Opportunities and Challenges.
2007.

      URL Link  

C. Pahl.
Bringing Activity into E-Learning – the Development of Online Active Learning and Training Environments.
In N. A. Buzzetto-More (Editor). Principles of Effective Online Teaching: A Handbook for Educators Developing E-Learning. Informing Science Press. 2007. (book chapter)

      URL Link  

C. Kenny and C. Pahl.
Virtual Database Development Labs.
ERCIM News – Special Theme: Technology-Enhanced Learning. No. 71:42-43.
European Research Consortium for Informatics and Mathematics.
October 2007.

Download PDF     URL Link  

C. Pahl, S. Giesecke and W. Hasselbring.
An Ontology-based Approach for Modelling Architectural Styles.
In European Conference on Software Architecture ECSA’2007.
Springer-Verlag, LNCS Series, 2007.

Download PDF BIBTex EndNote URL Link  

C. Pahl and R. Barrett.
A Semantic Model-Driven Development Framework for Service-centric Software Architectures.
In Daniel Luebke (Editor): Workshop on Software Engineering Methods for Service-Oriented Architecture SEMSOA’2007.
CEUR-WS Vol. 244, pages 31-45, 2007.

Download PDF BIBTex   URL Link  

C. Pahl, M. Boskovic, and W. Hasselbring.
Model-Driven Performance Evaluation for Service Engineering.
Workshop on Emerging Web Service Technologies WEWST'2007.
CEUR Workshop Proceedings. 2007.

Download PDF BIBTex   URL Link  

M. Melia and C. Pahl.
An Information Architecture for Courseware Validation.
8th Annual Irish Educational Technology Users Conference EdTech 2007.
ILTA. 2007.

Download PDF        

M. Melia and C. Pahl.
Pedagogical Validation of Courseware.
European Conference on Technology Enhanced Learning EC-TEL'07.
Springer-Verlag, LNCS Series. 2007. (short paper)

         

M. Melia and C. Pahl.
Courseware Authoring Validation Information Architecture.
First International Workshop on Learning Object Discovery & Exchange LODE 2007.
Springer-Verlag. 2007.

         

C. Pahl.
A Conceptual Architecture for Interactive Educational Multimedia.
In L. Tomei (Editor). Online and Distance Learning: Concepts, Methodologies, Tools and Applications. Vol. II. Information Science Reference Series. Pages 733-748.
IGI Global Publishers, Ltd. 2007. (reprint of chapter contribution to J. Ma: Web-based Intelligent e-Learning Systems)

      URL Link  

C. Pahl.
Behaviour analysis for Web-mediated active learning.
In L. Tomei (Editor). Online and Distance Learning: Concepts, Methodologies, Tools and Applications. Vol. VI. Information Science Reference Series. Pages 3214-3223.
IGI Global Publishers, Ltd. 2007. (reprint of IJWLTT 1(3):45-55 journal contribution)

      URL Link  

Top of page ]

2006

C. Pahl.
Behaviour analysis for Web-mediated active learning.
International Journal of Web-Based Learning and Teaching Technologies (IJWLTT).
Idea Group Publishers. 2006.

Download PDF     URL Link  

C. Pahl, E. Holohan, M. Melia, and D. McMullen.
Ontology-based Learning Objects in Learning Content Management Systems.
In A. Koohang and K. Harman (Editors).
Principles and Practices of the Effective Use of Learning Objects.
Informing Science Institute. 2006. (book chapter)

      URL Link  

C. Pahl.
Data Mining for the Analysis of Content Interaction in Web-based Learning and Training Systems.
In S. Ventura und C. Romero (Editors).
Data Mining in E-Learning. Pages 41 - 56
WIT Press. 2006. (book chapter)

      URL Link  

C. Pahl.
A Conceptual Architecture for Interactive Educational Multimedia.
In J. Ma (Editor). Web-based Intelligent e-Learning Systems: Technologies and Applications. Pages 101 - 121
Idea Group Publishers, Ltd. 2006. (book chapter)

      URL Link  

R. Barrett, L. M. Patcas, J. Murphy, and C. Pahl.
Model Driven Distribution Pattern Design for Dynamic Web Service Compositions.
International Conference on Web Engineering ICWE’06. Palo Alto, US.
ACM Press. 2006.

Download PDF BIBTex EndNote ACM Link  

C. Pahl.
Ontology-based Composition and Transformation for Model-Driven Service Architecture.
European Conference on Model-Driven Architecture - Foundations and Applications ECMDA-FA 2006, Bilbao, Spain.
Springer Verlag, LNCS Series. 2006.

Download PDF     URL Link  

R. Barrett and C. Pahl.
Semi-Automatic Distribution Pattern Modeling of Web Service Compositions using Semantics.
In P. Huang, Q. Li, and D. Sparrow (Editors). The Tenth IEEE International EDOC Conference (EDOC 2006) - The Enterprise Computing Conference.
IEEE Computer Society Press. 2006.

Download PDF BIBTex EndNote Link to IEEE  

R. Barrett and C. Pahl.
Model Driven Design of Distribution Patterns for Web Service Compositions.
In Proceedings of the Fourth IEEE International Conference on Web Services ICWS’2006 (Work-in-Progress Track).
IEEE Computer Society Press. 2006.

Download PDF BIBTex EndNote Link to IEEE  

C. Pahl.
Perspectives for a Model-driven Service Engineering Discipline.
In T. Margaria, J.-L. Fernandez-Villacanas, M. Banti (Editors). Future Research Challenges for Software and Services FRCSS 2006. ETAPS Workshop, Vienna, Austria.
Elsevier ENTCS Series. 2006.

Download PDF     URL Link  

C. Pahl and R. Barrett.
Layered Patterns in Modelling and Transformation of Service-based Software Architectures.
European Workshop on Software Architectures EWSA'2006.
Springer-Verlag, LNCS Series. 2006.

Download PDF     URL Link  

Y. Zhu and C. Pahl.
Mediated Data Integration and Transformation for Web Service-based Software Architectures.
European Conference on Web Services ECOWS'2006.
IEEE Press.
2006.

      URL Link  

Y. Zhu and C. Pahl.
Automating the Construction of Software Connectors for Adaptive Service Architectures.
Workshop on Applying Service Oriented Architectures to Adaptive Information Systems SOA-AIS 2006.
2006.

      URL Link  

R. Barrett and C. Pahl.
Model Driven Design of Distribution Patterns for Web Service Compositions.
In Proceedings of the International Workshop on Models for Enterprise Computing IWMEC 2006.
IEEE. 2006.

Download PDF BIBTex EndNote Link to IEEE  

C. Pahl and M. Melia.
Semantic Modelling of Learning Objects and Instruction.
European Conference on Technology-Enhanced Learning EC-TEL.
2006.

Download PDF     URL Link  

M. Melia and C. Pahl.
Semantically-enabled Model Driven Course Composition.
European Conference on Technology Enhanced Learning EC-TEL 2006 - Doctorial Consortium Session, Crete Greece.
Springer Verlag. 2006.

Download PDF     URL Link  

M. Melia, R. Barrett, and C. Pahl.
A Model-based Approach to SCORM Sequencing
7th Annual Irish Educational Technology Users Conference EdTech 2006.
ILTA. 2006.

         

C. Pahl.
Ontology Support for the Learning Object Lifecycle.
7th Annual Irish Educational Technology Users Conference EdTech 2006.
ILTA. 2006.

         

M. Melia and C. Pahl.
Semantic Model-Driven Development of Learning Technology Systems.
Information Technology and Telecommunications Conference IT&T'2005 : Digital Convergence in a Knowledge Society. Carlow, Ireland.
TecNet. 2006.

         

M. Melia and C. Pahl.
Automatic Validation of Learning Object Compositions.
Information Technology and Telecommunications Conference IT&T'2005 : Doctoral Symposium. Carlow, Ireland.
TecNet. 2006 .

         

E. Holohan, M. Melia, D. McMullen, and C. Pahl.
The Generation of E-Learning Exercise Problems from Domain-Specific Subject Ontologies.
IEEE International Conference on Advanced Learning Technologies ICALT 2006, Kerkrade, The Netherlands.
IEEE Press. 2006.

Download PDF BIBTex EndNote Link to IEEE  

C. Kenny, N. Brophy, M. Munro, and C. Pahl.
SCORM-compliant Development and Delivery of Learning Objects for Undergraduate Programming – an Experience Report.
7th Annual Irish Educational Technology Users Conference EdTech 2006.
ILTA. 2006.

         

Top of page ]

2005

C. Pahl.
A Conceptual Architecture for Semantic Web Services Development and Deployment.
International Journal of Web and Grid Services (IJWGS), Vol. 1, Issue 3/4, pages 287 - 304.
Inderscience Publishers, UK. 2005.

  BIBTex EndNote URL Link  

C. Pahl.
Organising the Knowledge Space for Software Components.
C. Weihs and W. Gaul (Eds.). Classification – The Ubiquitous Challenge.
Studies in Classification, Data Analysis, and Knowledge Organisation.
Springer-Verlag, Berlin. 2005.

Download PDF     URL Link  

C. Kenny, D. McMullen, M. Melia, and C. Pahl.
Multimedia-based Interactive and Multi-modal Learning and Training.
ERCIM News No. 62:25-26.
Special Theme: Multimedia Informatics.
European Research Consortium for Informatics and Mathematics. July 2005.

Download PDF     URL Link  

C. Pahl.
Ontology Transformation and Reasoning for Model-Driven Architecture.
International Conference on Ontologies, Databases and Applications of Semantics ODBASE’2005.
Springer-Verlag, LNCS Series. 2005.

Download PDF BIBTex   URL Link  

C. Pahl.
Layered Ontological Modelling for Web Service-oriented Model-Driven Architecture.
European Conference on Model-Driven Architecture ECMDA’2005.
Springer-Verlag, LNCS Series. 2005.

Download PDF BIBTex   URL Link  

C. Pahl and R. Barrett.
Architectural Transformation and Re-engineering for Web Service-based Systems.
International Conference on the WWW and Internet ICWI’2005, Lisbon, Portugal.
IADIS. 2005.

      URL Link  

C. Pahl and Y. Zhu.
A Semantical Framework for the Orchestration and Choreography of Web Services.
International Workshop on Web Languages and Formal Methods WLFM'05. Newcastle upon Tyne, UK.
Elsevier ENTCS Series. 2005.

Download PDF BIBTex EndNote URL Link  

C. Pahl.
Knowledge Infrastructures for Software Service Architectures.
Information Technology and Telecommunications Conference IT&T'2005 : Information Architecture - Systems, Architectures and Content. Cork, Ireland.
TecNet. 2005.

Download PDF     URL Link  

C. Pahl.
An Ontology-based MDA Framework for Service-based Software Systems Architecting (poster)
Workshop on Semantic Web Enabled Software Engineering SWESE05 - at the 4th International Semantic Web Conference ISWC2005, Galway, Ireland.
2005.

Download PDF     URL Link  

C. Pahl.
Systematic Development of Courseware Systems (poster).
International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
AACE. 2005.

         

D. McMullen, E. Holohan, M. Melia, and C. Pahl.
Knowledge-driven Learning Technology Systems.
6th Annual Irish Educational Technology Users Conference EdTech 2005.
ILTA. 2005.

         

E. Holohan, M. Melia, D. McMullen, and C. Pahl.
Adaptive Courseware Generation based on Semantic Web Technology.
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. Amsterdam. Netherlands.
2005.

Download PDF     URL Link  

C. Pahl.
Designing and Maintaining Learning Objects.
6th Annual Irish Educational Technology Users Conference EdTech 2005.
ILTA. 2005.

         

M. Melia, E. Holohan, D. McMullen, and C. Pahl.
Ontology-based Adaptive Content Navigation.
International Conference on Methods and Technologies for Learning ICMTL 2005. Palermo (Italy), 9 - 11 March 2005.
WIT Press. 2005.

Download PDF     URL Link  

S. Boyce and C. Pahl.
Developing Domain Ontologies for Courseware Content.
International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
AACE. 2005.

         

E. Holohan and C. Pahl.
The Generation of E-Learning Courseware from Semantic Web Ontologies.
International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
AACE. 2005.

         

M. Melia, D. McMullen, and C. Pahl.
Integration of a Course Management System with Interactive Educational Multimedia.
International Conference on Methods and Technologies for Learning ICMTL 2005. Palermo (Italy), 9 - 11 March 2005.
WIT Press. 2005.

Download PDF     URL Link  

M. Melia, D. McMullen, M. McEvoy, C. Pahl and E. Jennings.
Migrating Existing Multimedia Courseware to Moodle.
International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
AACE. 2005.

         

C. Kenny and C. Pahl.
Automated tutoring for a database skills training environment.
ACM SIGCSE Symposium 2005. St. Louis, US.
ACM Press. 2005.

Download PDF BIBTex EndNote ACM Link  

C. Pahl and C. Kenny.
An Active Learning and Training Environment for Database Programming.
International Conference on Educational Hyper- and Multimedia EdMedia’05. Montreal, Canada.
AACE. 2005.

Top of page ]

2004

C. Pahl.
Adaptive development and maintenance of user-centric software systems.
Information and Software Technology 46(14):973-986.
Elsevier Publishers. November 2004.

Download PDF BIBTex EndNote URL Link  

C. Pahl.
Data Mining Technology for the Evaluation of Learning Content Interaction.
International Journal on E-Learning IJEL 3(4).
AACE. 2004.

         

C. Pahl and R. Barrett.
Towards a Re-engineering Method for Web Services Architectures.
Proceedings 3rd Annual Nordic Conference on Web Services NCWS’04. Vaxjo, Sweden, 22 – 23 November 2004.
Journal of Mathematical Modelling in Physics, Engineering and Cognitive Sciences, Vol. 11, December 2004

Download PDF BIBTex   URL Link  

C. Pahl.
A Conceptual Framework for Semantic Web Services Development and Deployment.
European Conference on Web Services ECoWS’04. Erfurt, Germany.
Springer-Verlag, LNCS Series. September 2004.

Download PDF     URL Link  

C. Pahl.
An Ontology-based Framework for Semantic Grid Service Composition.
Grid Service Engineering and Maintenance Conference GSEM’04.
Springer-Verlag LNCS Series. September 2004.

Download PDF     URL Link  

R. Barrett and C. Pahl.
A Web Services Architecture for Learning Object Discovery and Assembly (Poster).
International Conference on the World-Wide Web WWW’04. New York, USA. May 2004.
IW3C2 Publication. 2004.

Download PDF BIBTex EndNote ACM Link  

R. Barrett, C. Kenny, and C. Pahl.
Supporting Active Database Learning and Training through Interactive Multimedia.
International Conference on Innovation and Technology in Computer Science Education ITiCSE’04. Leeds, United Kingdom. ACM. June 2004.

Download PDF BIBTex EndNote ACM Link  

E. Holohan and C. Pahl.
Ontology Technology for the Development and Deployment of Learning Technology Systems.
International Conference on Educational Hyper- and Multimedia Edmedia’04. Lugano, Switzerland.
AACE. June 2004.

  BIBTex EndNote URL Link  

C. Pahl.
An Ontology for Semantic Services Description and Matching.
Dublin City University. CS3 Report 01/04. 2004.

         

C. Pahl.
A Taxonomy for Interactive Educational Multimedia.
International Conference on Educational Hyper- and Multimedia Edmedia’04. Lugano, Switzerland.
AACE. June 2004.

  BIBTex EndNote URL Link  

C. Pahl.
Requirements Engineering for Educational Software Systems .
Dublin City University. INVITE Report 01/04. 2004.

         

Top of page ]

2003

C. Pahl.
Evolution and Change in Web-based Teaching and Learning Environments.
Computers & Education. 40(1): 99-114. 2003.

Download PDF BIBTex EndNote URL Link  

C. Pahl and M. Casey.
Ontology Support for Web Service Processes.
9th European Software Engineering Conference and 11th ACM SIGSOFT Symposium on the Foundations of Software Engineering ESEC/FSE’03. Helsinki, Finland.
ACM Press. Pages 208-216. September 2003.

Download PDF BIBTex EndNote ACM Link  

C. Pahl.
An Ontology for Software Component Matching.
ETAPS Conference on Foundational Aspects of Software Engineering FASE'03. Warsaw, Poland.
Springer-Verlag. LNCS Series No. 2621. pp. 6-21. 2003.

Download PDF BIBTex   URL Link  

C. Pahl.
Ontology-based Description and Reasoning for Component-based Development on the Web.
ESEC/FSE Workshop on Specification and Verification of Component-based Systems   SAVCBS’03, Helsinki, Finland. pp. 84-87. September 2003.

Download PDF     URL Link  

M. Casey and C. Pahl.
Web Components and the Semantic Web.
Proc. ETAPS Workshop on Software Composition SC’2003. Warsaw, Poland.
Elsevier, Electronic Notes in Theoretical Computer Science ENTCS Vol. 82 No. 5. 2003.

Download PDF BIBTex EndNote URL Link  

C. Li and C. Pahl.
Security in the Web Services Framework.
International Symposium on Information and Communications Technologies ISICT’03, Dublin, Ireland. September 2003.

Download PDF BIBTex EndNote ACM Link  

E. Holohan and C. Pahl.
Semantic Web Technology for Web-based Teaching and Learning.
4th Annual LTSN-ICS Learning and Teaching Support Network - Information and Computer Sciences. Galway, Ireland.
LTSN. August 2003.

Download PDF     URL Link  

C. Pahl.
Analysing Learning Behaviour in Web-mediated Interactive Learning Environments.
Dublin City University. INVITE Report 02/03. 2003.

         

L. Xu, C. Pahl, and D. Donnellan.
An Evaluation Technique for Content Interaction in Web-based Teaching and Learning Environments.
International Conference on Advanced Learning Technologies ICALT'2003. Athens, Greece.
IEEE Press. pp. 294-285. July 2003.

Download PDF BIBTex EndNote Link to IEEE  

S. Murray, J. Ryan, and C. Pahl.
A Tool-mediated Cognitive Apprenticeship Approach for a Computer Engineering Course.
International Conference on Advanced Learning Technologies ICALT'2003. Athens, Greece.
IEEE Press. pp. 2-6. July 2003.

Download PDF BIBTex EndNote Link to IEEE  

C. Pahl.
Ontology-based Description and Reasoning for Component-based Development on the Web.
Dublin City University. CS3 Report 01/03. 2003.

         

L. Xu, C. Pahl, and D. Donnellan.
An Evaluation Technique for Content Interaction (extended version).
Dublin City University, School of Computing. INVITE-Report 01/03. June 2003.

         

Top of page ]

2002

C. Pahl.
Ontologies for Semantic Web Components.
ERCIM News – Special Theme: Semantic Web. No. 51:39-40.
European Research Consortium for Informatics and Mathematics. October 2002.

Download PDF     URL Link  

C. Pahl and D. Ward.
Towards a Component Composition and Interaction Architecture for the Web.
ETAPS 2002 Workshop on Software Composition SC2002. Grenoble, France.
Elsevier, Electronic Notes in Theoretical Computer Science. 2002.

Download PDF BIBTex EndNote URL Link  

C. Pahl.
Interference Analysis for Dependable Systems using Refinement and Abstraction.
Symposium Formal Methods Europe FME'2002. Copenhagen, Denmark.
Springer-Verlag, LNCS Series. 2002.

Download PDF BIBTex EndNote URL Link  

C. Pahl and D. Donnellan.
Data Mining Technology for the Evaluation of Web-based Teaching and Learning Systems.
7th Int. Conference on E-Learning in Business, Government and Higher Education. Montreal, Canada.
AACE. 2002.

  BIBTex EndNote URL Link  

C. Pahl.
An Evaluation of Scaffolding for Virtual Interactive Tutorials.
7th Int. Conference on E-Learning in Business, Government and Higher Education. Montreal, Canada.
AACE. 2002.

  BIBTex EndNote URL Link  

C. Pahl.
A Formal Composition and Interaction Model for a Web Component Platform.
ICALP'2002 Workshop on Formal Methods and Component Interaction. Malaga, Spain.
Elsevier. Electronic Notes in Theoretical Computer Science. 2002.

Download PDF BIBTex EndNote URL Link  

D. Byrne and C. Pahl.
A Study of Individual Learning Styles and Educational Multimedia Preferences.
Dublin City University, School of Computer Applications. Working Paper MCE-0902. 2002.

         

C. Pahl.
Learning Style Identification in E-Learning Environments using Data Mining Technology.
Proc. EnCKompass Workshop. Paris, France. July 2002.

         

C. Pahl.
Analysing Security Properties using Refinement.
ZB’2002 Z and B User’s Conference – Workshop on Refinement of Critical Systems. 2002.

Download PDF BIBTex   URL Link  

C. Pahl.
An Evaluation of Scaffolding for Virtual Interactive Tutorials.
Dublin City University. INVITE Report 01/02. 2002.

         

C. Pahl.
An Analysis of Interactive Services in an Integrated Virtual Undergraduate Course System.
Dublin City University, School of Computer Applications. Working Paper. 2002.

         

Top of page ]

2001

A. Butterfield and C. Pahl (Editors).
Proceedings of the 5th Irish Workshop on Formal Methods IWFM 2001. Dublin, Ireland.
Springer EWiC Series. July 2001.

      URL Link  

C. Pahl.
A Pi-Calculus based Framework for the Composition and Replacement of Components.
Proc. Conference on Object-Oriented Programming, Systems, Languages, and Applications OOPSLA’2001 – Workshop on Specification and Verification of Component-Based Systems.
ACM Press. 2001

Download PDF     URL Link  

C. Pahl and D. Gallagher.
Design and Management of Educational Content for the Web using the eXtensible Markup Language XML.
Dublin City University, School of Computer Applications. Working Paper CA-0901. 2001.

         

C. Pahl.
XML-Technologies for the Support of Active Learning in Interoperable and Open Web-based Learning Environments.
Proc. 6th WebNet 2001 World Conference on the WWW and Internet.
AACE. 2001.

Download PDF BIBTex   URL Link  

C. Pahl.
Interactivity and Integration in Virtual Courses.
Proc. International Conference on Advanced Learning Technologies ICALT 2001, Madison, Wisconsin, US. pages 395-396.
IEEE Press. 2001.

Download PDF BIBTex EndNote Link to IEEE  

C. Pahl.
Formalising Dynamic Composition and Evolution in Java.
ECOOP European Connference on Object-Oriented Programming – Workshop on Formal Techniques for Java Programming FTfJP’2001, Budapest, Hungary. 2001.
Published as Technical Report, Fernuniversität Hagen. 2001.

Download PDF     URL Link  

D. Donnellan and C. Pahl.
Evaluation of Usage Patterns for Web-based Educational Systems using Web Mining.
Proc. ECITE’2001 European Conference on Information Technology Evaluation, Oriel College, Oxford, UK.
MCIL. pages 473-478. 2001.

Download PDF BIBTex      

C. Pahl.
Analysis and Test Case Generation for Security Protocols using Abstraction.
Proc. 7th International Conference on Information Systems Analysis and Synthesis ISAS'2001. Orlando, Florida. pages V.294-V.299. 2001

         

C. Pahl.
Observation and Abstract Behaviour in Specification and Implementation of State-based Systems.
Proc. Irish Workshop on Formal Methods IWFM’2001. 2001

Download PDF     URL Link  

C. Pahl.
Development and Management of Dynamic Interactive e-Content.
Proc. EnCKompass Workshop, Eindhoven, Netherlands. 2001

         

C. Pahl.
The Evaluation of Educational Service Integration in Integrated Virtual Courses.
Proc. IEEE SAINT’2001 Symposium on Applications and the Internet - Workshop on Internet-Supported Education. pages 61-66.
IEEE Press. 2001.

Download PDF BIBTex EndNote Link to IEEE  

C. Pahl.
The Use of XML-technologies as the Basis for an Infrastructure for Web-based Virtual Courses (Poster).
Proc. Conference on the World Wide Web WWW10. Hong Kong. pages 94-95. 2001.

         

C. Pahl.
Components, Contracts, and Connectors for the Unified Modeling Language.
Proceedings FME’01 Symposium Formal Methods Europe.
Springer-Verlag. LNCS Series No. 2021. pages 259-277. 2001.

Download PDF BIBTex EndNote URL Link  

C. Pahl.
A Superposition Operator for the Refinement of Algebraic Models.
In Proc. Conference on the Mathematical Foundations of Computer Science and Information Technology MFCSIT’2000.
ENTCS Series, Vol. 40, Elsevier. 2001.

Download PDF BIBTex EndNote URL Link  

C. Pahl and D. Gallagher.
Design and Management of Educational Content for the Web using the eXtensible Markup Language XML.
Dublin City University, School of Computer Applications. Working Paper. 2001.

         

Top of page ]

2000

C. Pahl.
Delivery of a Virtual Integrated and Interactive Undergraduate Course.
In Proc. First Annual Irish Educational Technology Users’ Conference, Sligo, Ireland. 2000.
Conference URL: http://www.itsligo.ie/staff/bmulligan/web/ EdTech2000.htm.

         

C. Pahl.
Towards an Action Refinement Calculus for Abstract State Machines.
In Proceedings Abstract State Machines ASM’2000, March 2000, Monte Verita, Switzerland. 2000.

         

C. Pahl.
Towards an Action Refinement Calculus for Abstract State Machines. 2000. (extended version) .
Report CA-3499, School of Computer Applications, Dublin City University, 2000.

         

C. Pahl.
An Algebraic Basis for Specifying and Enforcing Access Control in Security Systems.
In Proc. 4rd Irish Workshop on Formal Methods, July 2000, Maynooth, Ireland. 2000.

Download PDF     URL Link  

C. Pahl.
Modal Logics for Reasoning about Object-based Component Composition.
In Proc. 4rd Irish Workshop on Formal Methods, July 2000, Maynooth, Ireland. 2000.

Download PDF     URL Link  

C. Pahl.
Usage Evaluation and Design for Educational Systems.
Proc. 3rd ENCOMPASS Workshop on e-Content Management. Portsmouth, UK, 2000.

         

Top of page ]

1999

C. Pahl.
Modular Composition of Language Features through Language Extensions.
In A. Butterfield and S. Flynn, editors, Proc. 3rd Irish Workshop on Formal Methods, July 1999, Galway, Ireland,
Electronic Workshops in Computing. Springer-Verlag, 1999.

Download PDF     URL Link  

C. Pahl.
A Logical Framework for Horizontal and Vertical Development in a State-based Setting.
Report CA-3499, School of Computer Applications, Dublin City University, 1999.

         

Top of page ]

1998

C. Pahl.
Facilitating Modular Property-Preserving Extensions of Programming Languages.
In A. Butterfield and S. Flynn, editors, Proc. 2nd Irish Workshop on Formal Methods, July 1998, Cork, Ireland,
Electronic Workshops in Computing. Springer-Verlag, 1998.

Download PDF     URL Link  

Top of page ]

1997

A.P. Hughes and C. Pahl.
State and State Change — a Constructive Mathematical Approach, 1997.
Technical Report, University of Dublin.

         

C. Pahl.
Using the Set-Oriented Programming Language PROSET for Prototyping VDM-Specifications, 1997.
Technical Report, University of Dublin.

         

C. Pahl.
A Model for Dynamic State-based Systems. In A.S. Evans and D.J. Duke, editors,
Proc. Northern Formal Methods Workshop, Sept.’96, Bradford, UK.
Springer-Verlag, 1997.

         

C. Pahl.
Modular, Behaviour Preserving Extensions of the Unix C-shell Interpreter Language.
Technical Report IT-TR:1997-014, Department of Information Technology, Technical University of Denmark, 1997.

         

C. Pahl.
A Modular Development of the Denotational RSL Concurrency Model.
Technical Report IT-TR:1997-016, Department of Information Technology, Technical University of Denmark, 1997.

         

A.P. Hughes and C. Pahl.
A Generic Model for State-based Agent Systems.
In S. Flynn and G. O’Regan, editors, Proc. 1st Irish Workshop on Formal Methods, July 1997, Dublin, Ireland,
Electronic Workshops in Computing. Springer-Verlag, 1997.

         

C. Pahl.
An Investigation into Parallel Extensions of the Unix C-shell Interpreter Language.
Technical Report IT-TR:1997-015, Department of Information Technology, Technical University of Denmark, 1997.

         

C. Pahl.
Structural and Methodological Investigations into the Extension of Imperative Programming Languages.
Technical Report IT-TR:1997-013, Department of Information Technology, Technical University of Denmark, 1997.

         

Top of page ]

1996

E.-E. Doberkat, W. Hasselbring, and C. Pahl.
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation.
In P. Ciancarini, editor, Proc. First International Conference on Coordination Models and Languages, Cesena, Italy.
Springer-Verlag (LNCS Series), 1996.

Download PDF        

C. Pahl.
Foundations for Formal Specification of State-based Systems (in German).
PhD thesis, Universitaet Dortmund, Germany, 1996,
also published as SWT-Memo No. 89, Lehrstuhl Software-Technologie, University of Dortmund, Germany, September 1996.

Download PDF        

Top of page ]

1995

V. Gruhn, C. Pahl, and M. Wever.
Data Model Evolution as Basis of Business Process Management.
In 14th International Conference on Object-Oriented and Entity Relationship Modelling O-O ER’95, Gold Coast, Australia.
Springer-Verlag (LNCS Series), 1995.

Download PDF        

E.-E. Doberkat, W. Franke, W. Hasselbring, C. Pahl, H.G. Sobottka, and B. Sucrow.
PROSET — Prototyping with Sets, Language Definition 1995.
Internal report, University of Dortmund, 1995.

         

E.-E. Doberkat, W. Hasselbring, and C. Pahl.
Investigating Strategies for Cooperative Planning of Independent Agents through Prototype Evaluation (extended version).
SWT-Memo 86, University of Dortmund, December 1995.

         

C. Pahl and P. Tröpfner.
Formal specification of object management services in a software engineering environment.
Internal report, University of Dortmund, 1995.

         

Top of page ]

1994

C. Pahl.
Extending an Imperative Programming Language to a Component-Oriented Software Description Language.
In F. Simon, editor, Workshop Declarative Programming and Specification, Bad Honnef, Germany, May 1994, pages 90–93.
University of Kiel, Institut fuer Informatik und praktische Mathematik, Bericht 9412, 1994.

         

Top of page ]

1993

W. Franke, U. Gutenbeil, W. Hasselbring, C. Pahl, H.-G. Sobottka, and B. Sucrow.
Prototyping mit Mengen - der PROSET-Ansatz.
In H. Züllighoven, W. Altmann, and E.-E. Doberkat, editors, Requirements Engineering 93: Prototyping, pages 165–174.
B.G. Teubner, Stuttgart, 1993.

         

Top of page ]

1992

E.-E. Doberkat, W. Franke, U. Gutenbeil, W. Hasselbring, U. Lammers, and C. Pahl.
A First Implementation of PROSET.
In U. Kastens and P. Pfahler, editors, International Workshop on Compiler Construction CC’92,
University of Paderborn, Reihe Informatik, Bericht Nr. 103, pages 23–27, 1992.

         

E.-E. Doberkat, W. Franke, U. Gutenbeil, W. Hasselbring, U. Lammers, and C. Pahl.
PROSET — Prototyping with Sets, Language Definition.
Software-Engineering Memo 15, University of Essen, 1992.

         

E.-E. Doberkat, W. Franke, U. Gutenbeil, W. Hasselbring, U. Lammers, and C. Pahl.
PROSET — A Language for Prototyping with Sets.
In N. Kanopoulos, editor, Proc. Third International Workshop on Rapid System Prototyping, pages 235–248, Research Triangle Park, NC, June 1992.
IEEE Computer Society Press.

Download PDF        

Top of page ]

1990

C. Pahl.
Specification and Implementation in a Graphical Development Environment (in German). Master’s thesis,
Technical University of Braunschweig, Germany, 1990.

         

Top of page ]