.: publications

Edited books

[1] Stevens, P., Whittle, J. and Booch, G. (eds) UML2003: The Unified Modeling Language,
Modeling Languages and Applications, Springer-Verlag, San Francisco, 2003.

Book chapters (refereed)

[1] Whittle, J. “Formal Approaches to Systems Analysis Using UML: An Overview.”Chapter in
Advanced Topics in Database Research, Keng Siau (ed), 2003, pp. 324-341.
[2] Whittle, J. and Schumann, J. “Scenario-Based Engineering of Multi-Agent Systems.” Chapter in Agent Technology from a Formal Perspective, pps. 159-192, Chriss Rouff et al (eds). Springer, 2006, NASA Monographs in Systems and Software Engineering.

Invited Papers

[1] Schumann, J. and Whittle, J. “Automatic Synthesis of UML Designs from Requirements in
an Iterative Process.” International Workshop on Precise Modeling and Deduction for Object-
Oriented Software Development, 2001.

Journal Papers (refereed)

[1] Whittle, J., Krueger, I., and Chakraborty, J., “Systematically Developing State-based Test Models from Scenarios: An Example from the Telecommunications Domain,” Software Quality Professional Journal, vol 8(4), Sep 2006.
[2] Whittle, J., Saboo, J. and Kwan, R. “From Scenarios to Code: An Air Traffic Control Case
Study.” Journal of Software and Systems Modeling, Vol 4(1), 2005, pp. 71-93.
[3] Whittle, J. and Araujo, J. “Scenario Modelling with Aspects.” IEE Software, Vol 151, Issue
4, 2004, pp.157-172. (IEE Software Premium Award)
[4] Whittle, J. and Schumann, J. “Automating the Implementation of Kalman Filter Algorithms.”
ACM Transactions on Mathematical Software, Vol 30(4), 2004, pp. 434-453.
[5] Whittle, J., Bundy, A. and Lowe, H. “Proofs-as-Programs as a Framework for the Design of
an Analogy-Based ML Editor.” Formal Aspects of Computing, Vol 13, 2002, pp. 403-421.
[6] Whittle, J. and Cumming, A. “Evaluating Environments for Functional Programming.” International Journal of Human-Computer Studies, Vol 52(5), 2000, pp. 847-878.
[7] Whittle, J. “Formal Approaches to Systems Analysis Using UML: An Overview.” Journal of
Database Management, Idea Group Publishing, Vol (11) 4, 2000, pp. 4-13.
[8] Melis, E. and Whittle, J. “Analogy in Inductive Theorem Proving.” Journal of Automated
Reasoning, Vol (22) 2, 1999, pp. 117-147.

Conference Papers (refereed)

[1] Whittle, J., Araujo, J. and Moreira, A., “Choosing the Right Time to Compose Aspectual Scenarios,” COMPSAC 2006 (Acceptance rate 48%).
[2] Whittle, J. and Jayaraman, P. “Generating Hierarchical State Machines from Use Case Charts,” to appear in 2006 IEEE International Conference on Requirements Engineering (RE2006). (Acceptance rate 14%)
[3]Baar, T. and Whittle, J., “On the Usage of Concrete Syntax in Model Transformation Rules,” Sixth International Andrei Ershov Memorial Conference PERSPECTIVES OF SYSTEM INFORMATICS, 2006, June 2006, Springer LNCS.
[4] Moreira, A., Araujo, J. and Whittle, J., “Modeling Volatile Concerns as Aspects,” 18th Conference on Advanced Information Systems (CAiSE), June 2006. (Acceptance Rate 17%)
[5] Whittle, J., “Specifying Precise Use Cases with Use Case Charts,” in MoDELS 2005 Revised Selected Papers from International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2005, Springer LNCS vol 2844, Bruel, J-M. (ed)
[6] Whittle, J., Chakraborty, J., and Krueger, I. “Generating Simulation and Test Models from Scenarios.” 3rd World Congress for Software Quality, September 2005. Best Paper Award.
[7] Dae-Kyoo Kim and Jon Whittle, “Generating UML Models from Domain Patterns, ”in Proceedings of 3rd ACIS International Conference on Software Engineering Research, Management & Applications (SERA), Michigan, USA, 2005. (Acceptance rate 49%)
[8] Araujo, J., Whittle, J. and Kim, D-K. “Modeling and Composing Scenario-Based
Requirements with Aspects.” Proceedings of the Requirements Engineering Conference, 12th
IEEE International (RE.04), 2004.
[9] Denney, E. and Whittle, J. “Combining Model-Driven and Schema-Based Program
Synthesis.” Proceedings of the International Conference on Software Engineering Research and
Practice (SERP), 2004.
[10] Whittle, J., Saboo, J. and Kwan, R. “From Scenarios to Code: An Air Traffic Control Case
Study.” Proceedings of the 25th International Conference on Software Engineering (ICSE),
2003.
[11] Rosu, G., Venkatesan, R.P., Whittle, J. and Leustean, L. “Certifying Optimality of State
Estimation Programs.” 2003 Conference on Computer Aided Verification, CAV, 2003.
[12] Schumann, J., Fischer, B., Whalen, M. and Whittle, J. “Certification Support for
Automatically Generated Programs.” Proceedings of the 36th Annual Hawaii International
Conference on System Sciences (HICSS.03), Track 9, Volume 9, 2003.
[13] Whittle, J. “Transformations and Software Modeling Languages: Automating
Transformations in UML.” 5th International Conference on the Unified Modeling Language,
Proceedings, 2002, pp. 227-242.
[14] Rosu, G. and Whittle, J. “Towards Certifying Domain-Specific Properties of Synthesized
Code.” Verification and Computational Logic (VCL.02), 2002.
[15] Rosu, G. and Whittle, J. “Towards Certifying Domain-Specific Properties of Synthesized
Code.” Proceedings of the 17th IEEE International Conference on Automated Software
Engineering (ASE.02), 2002.
[16] Whittle, J., van Baalen, J., Schumann, J., Robinson, P., Pressburger, T., Penix, J., Oh, P.,
Lowry, M. and Brat, G. “Amphion/NAV: Deductive Synthesis of State Estimation Software.”
Proceedings of the 16th International Conference on Automated Software Engineering, 2001.
[17] Schumann, J. and Whittle, J. “Automatic Synthesis of Agent Designs in UML.”
Proceedings of the First International Workshop on Formal Approaches to Agent Based Systems,
2000.
[18] Whittle, J. and Schumann, J. “Generating Statechart Designs from Scenarios.” Proceedings
of the 22nd International Conference on Software Engineering, 2000.
[19] Penix, J., Fischer, B., Whittle, J., Pour, G. and van Baalen, J. “Automating Component
Integration for Web-Based Data Analysis.” IEEE Aerospace Conference Proceedings, Vol 4,
2000, pp.465-473.
[20] Fischer, B. and Whittle, J. “An Integration of Deductive Retrieval into Deductive
Synthesis.” Proceedings of the 14th International Conference on Automated Software
Engineering, 1999.
[21] Whittle, J., Bundy, A., Boulton, R. and Lowe, H. “An ML Editor Based on Proofs-as-
Programs.” Proceedings of the 14th International Conference on Automated Software
Engineering, 1999.
[22] Whittle, J., Bundy, A., Boulton, R. and Lowe, H. “System Description: CYNTHIA.”
Proceedings of the 16th International Conference on Automated Deduction, 1999.
[23] Whittle, J. “Improving Functional Programming Environments.” Proceedings of INTERACT
99, Edinburgh, Scotland, 1999.
[24] Whittle, J., Bundy, A. and Lowe, H. “An Editor for Helping Novices to Learn Standard
ML.” Proceedings of the 9th International Symposium on Programming Languages:
Implementations, Logics and Programs: Including a Special Track on Declarative Languages in
Education, 1997.
[25] Melis, E. and Whittle, J. “External Analogy in Inductive Theorem Proving.” Proceedings of
the 21st Annual German Conference on Artificial Intelligence: Advances in Artificial
Intelligence, 1997.
[26] Whittle, J., Bundy, A. and Lowe, H. “Supporting Programming by Analogy in the Learning
of Functional Programming Languages.” Proceedings of the 8th International Conference on AI
in Education (AIED), 1997.
[27] Melis, E. and Whittle, J. “Analogy as a Control Strategy in Theorem Proving.” Proceedings
of the 10th Florida Conference on Artificial Intelligence (FLAIRS97),1997.
[28] Melis, E. and Whittle, J. “Internal Analogy in Theorem Proving.” Proceedings of the 13th
International Conference on Automated Deduction, 1996.

Workshop Papers (refereed)

[1] Whittle, J., Araujo, J. and Moreira, A., “Composing Aspect Models with Graph Transformations.” Early Aspects at ICSE: Workshop in Aspect-Oriented Requirements Engineering and Architecture Design, May 2006.
[2] Whittle, J. “Specifying Precise Use Cases with Use Case Charts,” Workshop on Use Case Modeling, at 2005 International Conference on Model Driven Engineering, Languages and Systems (MODELS 2005). Best Paper Award.
[3] Whittle, J. and Gajanovic, B. “Model Transformations Should be More than Just Model Generators,” Workshop on Model Design and Validation at 2005 International Conference on Model Driven Engineering, Languages and Systems (MODELS2005).
[4] Whittle, J. and Krueger, I.  “A Methodology for Scenario-Based Requirements Capture.”
Proceedings of the ICSE 2004 Workshop on Scenarios and State Machines (SCESM), 2004.
[5] Grant, E., Whittle, J. and Chennamaneni, R. “Checking Program Synthesizer Input/Output.”
3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA03, 2003.
[6] Whittle, J. and Araujo, J. and Kim, D-K. “Modeling and Validating Interaction Aspects in
UML.” Workshop on Aspect-Oriented Modeling with UML at UML2003, 2003.
[7] Whittle, J. and Schumann, J. “Statechart Synthesis from Scenarios: an Air Traffic Control
Case Study.” Workshop on Scenarios and State Machines at ICSE2002, 2002.
[8]Whittle, J., Araujo, J., Toval, A., and Aleman, J.L.F. “Rigorously Automating
Transformations of UML Behavioral Models.” Workshop on Dynamic Behavior in UML Models:
Semantic Questions at UML2000, 2000.
[9] Whittle, J. “Generating Statechart Designs from Scenarios.” Workshop on Scenario-based
Roundtrip Engineering at OOPSLA, 2000.
[10] Whittle, J. “Supporting the Learning of Standard ML.” Psychology of Programming
Workshop, Open University, 1998.

Papers Currently Under Review

[1] Moreira, A., Araujo, J. and Whittle, J. “Are there Aspects Beyond Cross-Cutting Concerns?”
Submitted to Journal of Software and Systems Modeling. Accepted modulo revisions.
 
Theses

[1] Whittle, J. “The Use of Proofs-as-Programs to Build an Analogy-Based Functional Program
Editor.” PhD Thesis, Division of Informatics, University of Edinburgh, Scotland, 1999.
[2] Whittle, J. “Analogy in CLaM.” Masters Thesis, Dept of Artificial Intelligence, University of
Edinburgh, Scotland, 1995.

Other (non-refereed)

[1] Whittle, J., Meisinger, M. and Geiger, L. “Workshop Summary of 5th International Workshop on Scenarios and State Machines: Models-Algorithms-Tools (SCESM),” ACM SIGSOFT Software Engineering Notes, September 2006.
[2] Aagedal, J-O., Georg, G., Mirandola, R., Ober, I., Petriu, D., Theilmann, W., Whittle, J. and Zscaler, S. “Proceedings of the 2nd International Workshop on Models for Non-functional Aspects of Component-Based Software (NfC05),” Tech report, Institut de Recherche en Informatique de Toulouse, IRIT/RR-2005-01-FR and in MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium , Lecture Notes in Computer Science, Vol. 3844
Bruel, Jean-Michel (Ed.) 2006.
[3] Bruel, J-M., Georg, G., Hussman, H., Ober, I., Pohl, C., Whittle, J. and Zschaler, S. “Models for Non-functional Aspects of Component-Based Software (NfC04)” in UML Modeling Languages and Applications: UML 2004 Satellite Activities, Nunes, N.J. et al. (eds). p.62, LNCS 3297. Springer, 2005.
[4] Gogolla, M., Sammut, P. and Whittle, J.“Essentials of the 3rd UML Workshop in Software Model Engineering (WiSME)” in UML Modeling Languages and Applications: UML 2004 Satellite Activities, Nunes, N.J. et al. (eds). p.43, LNCS 3297. Springer, 2005.
[5] “A Summary of the second ICSE2003 Workshop on Scenarios and State Machines: models,
algorithms and tools.”. Ingolf Krueger, Sebastian Uchitel, Jon Whittle, Albert Zuendorf (eds).
ACM SIGSOFT Software Engineering Notes, Vol. 28 (6), 2003, p. 9.
[6] “Workshops and Tutorials at the UML2002 Conference.” Jon Whittle. Proceedings of the 5th
International Conference on the Unified Modeling Language, 2002, pp. 442-448.