Ashley McNeile                 

PhD Candidate

 

Research Summary

Ashley is researching formal techniques for modelling interactive processes that embody rich interaction between data and behaviour. The core of his work is a technique called Protocol Modelling that combines process composition techniques from Process Algebras (in particular, Hoare’s CSP) with capabilities to express and reason about the interaction between data and behaviour.

 Specific aims and interests:

·      Formal reasoning about interactive systems modelled as compositions.

·      Expressing collaboration choreographies using compositions of partial descriptions. Reasoning about choreography realizability.

·      Using modal/deontic semantics to represent workflow rules. Reasoning about progress in workflow.

·      Using composition as a basis for “mixin” style behavioural inheritance in object models.

 

 

 

Education

MA Cambridge (1971 – 1974) Mathematics (1st Class Hons)

MMath Cambridge (1974 – 1975) Mathematics Part III

 

 

Professional

In 35 years in the IT industry, Ashley has combined a background in systems and business modelling work with consulting to senior management in software development and development techniques.

Ashley has a particular focus on business requirements analysis and developing solution architectures, and has played this key role in a range of projects. He has also contributed to the theory and practice of modelling, including the development of innovative business modelling and software development tools. He has published and lectured extensively on modelling, enterprise architectures, application design and integration, and the system development process.

In 2001, Ashley founded
Metamaxim Ltd., a company that specializes in using executable modelling techniques for requirements validation.

Ashley is a co-author of the OMG Essence standard: Essence - Kernel and Language for
Software Engineering Methods
     

 

 

 

Publications

Journal publication:

 

Conference/Workshop paper:

 

 

2014

22

Ashley T. McNeile: The Principle of Comprehensive Modelling Applied to Data and Behaviour. In Proceedings of the Sixth Workshop on Behavioural Modelling (BM-FA '14). ACM, New York, NY, USA, Article 5, 5 pages

2013

21

Ashley T. McNeile: Using Motivation and Choreography to model Distributed Workflow. In Proceedings of the Fifth Workshop on Behavioural Modelling (BM-FA '13). ACM, New York, NY, USA, Article 1, 11 pages

2012

20

Brian Elvesæter, Michael Striewe, Ashley T. McNeile and Arne-Jørgen Berre: Towards an Agile Foundation for the Creation and Enactment of Software Engineering Method: The SEMAT Approach. In Joint Proceedings: Co-located Events at the 8th European Conference on Modelling Foundations and Applications (ECMFA 2012). Technical University of Denmark (DTU), pages 279-290

19

Ashley T. McNeile, Ella E. Roubtsova: Motivation and Guaranteed Completion in Workflow. In Business Modeling and Software Design - Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

2011

18

Ashley T. McNeile: Two Paradigms of Composition. In Proceedings of the Third Workshop on Behavioural Modelling (BM-FA '11). ACM, New York, NY, USA, 25-32

2010

17

Ashley T. McNeile: A Framework for the Semantics of Behavioral Contracts. In Proceedings of the Second International Workshop on Behaviour Modelling (BM-FA '10). ACM, New York, NY, USA, Article 3, 5 pages

16

Ella E. Roubtsova, Ashley T. McNeile: Coloured Petri Nets with Parallel Composition to Separate Concerns. ICEIS (3) 2010: pages 501-504

15

Ashley T. McNeile: Protocol contracts with application to choreographed multiparty collaborations. Service Oriented Computing and Applications 4(2): pages 109-136 (2010)

14

Ashley T. McNeile, Ella E. Roubtsova: Aspect-Oriented Development Using Protocol Modeling. Transactions on Aspect-Oriented Software Development 7: pages 115-150 (2010)

2009

13

Ella E. Roubtsova, Ashley T. McNeile: Abstractions, Composition and Reasoning. In Proceedings of the 13th workshop on Aspect-oriented modeling (AOM '09). ACM, New York, NY, USA: pages 19-24

12

Ella E. Roubtsova, Lex Wedemeijer, Karel Lemmen, Ashley T. McNeile: Modular Behaviour Modelling of Service Providing Business Processes. ICEIS (3) 2009: pages 338-341

2008

11

Ashley T. McNeile, Ella E. Roubtsova: Executable Protocol Models as a Requirements Engineering Tool. Annual Simulation Symposium 2008: pages 95-102

10

Ashley T. McNeile, Ella Roubtsova. CSP Parallel Composition of Aspect Models. In Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling (AOM '08). ACM, New York, NY, USA, pages 13-18

9

Ashley T. McNeile, Ella E. Roubtsova: Programming in Protocols - A Paradigm of Behavioral Programming. ENASE 2008: pages 23-30

8

Ashley T. McNeile, Ella E. Roubtsova, Gerrit C. van der Veer: Protocol Models of Human-Computer Interaction. ICEIS (5) 2008: pages 367-370

2007

7

Ashley T. McNeile, Ella E. Roubtsova: Protocol Modelling Semantics for Embedded Systems. SIES 2007: pages 258-265

6

Ashley T. McNeile, Nicholas Simons: A Typing Scheme for Behavioural Models. Journal of Object Technology 6(10): pages 81-94 (2007)

2006

5

Ashley T. McNeile, Nicholas Simons: Deontic Protocol Modelling - Modelling Business Rules with State Machines. ICEIS (3) 2006: pages 489-492

4

Ashley T. McNeile, Nicholas Simons: Protocol modelling: A modelling approach that supports reusable behavioural abstractions. Software and System Modeling 5(1): pages 91-107 (2006)

2004

3

Ashley T. McNeile, Nicholas Simons: Mixin Based Behaviour Modelling - An Example Based on Composed State Machines. ICEIS (3) 2004: pages 179-183

2003

2

Ashley T. McNeile, Nicholas Simons: State Machines as Mixins. Journal of Object Technology 2(6): pages 85-101 (2003)

1986

1

Ashley T. McNeile: Jackson System Development (JSD). Information Systems Design Methodologies: Improving the Practice 1986: pages 225-246