Research

Publications by Centre for Software Engineering staff (by calendar year):

2014

1. Li, D., Li, X., Liu, Z. and Stolz, V.  Automated transformations from UML behavior models to contracts. SCIENCE CHINA Information Sciences 57(12): 1-17 (2014)

2. Zhao, L., Bruni, R. and Liu, Z. A sound and complete theory of graph transformations for service programming with sessions and pipelines. Sci. Comput. Program. 94: 255-288 (2014)

3. Z. Liu, N. Qamar, and J. Qian. Assessing the effectiveness of de-identification tools for medical data, in Proc. of the Foundations of Health Information Engineering and Systems (FHIES 2013), Lecture Notes in Computer Science 8315, 2014

4. A. Robinson and J. P. Bowen. Digital Republic: India.s Rise to IT Power. Book Reviews, BCS, January 2014.

2013

1. Zhao L., Bruni R. Liu Z. A Sound and Complete Theory of Graph Transformations for Service Programming with Sessions and Pipelines, Science of Computer Programming, Online First

2. Griesmayer A., Liu, Z. Morriset C. and Wang S. A Framework for Automated and Certified Refinement Steps. Innovations in Systems and Software Engineering (ISSE) 9(1): 3-16, 2013.

3. Ke W., Liu Z, Wang S. and Zhao L. A graph-based generic type system for object-oriented programs. Frontier of Computer Science 7(1): 109-134, 2013.

4. Zhiming Liu, Jim Woodcock and Huibiao Zhu (Editors). Proceedings of the International Colloquium on Theoretical Aspects of Computing (ICTAC). Lecture Notes in Computer Science 8049, Springer 2013.

5. Zhiming Liu, Jim Woodcock and Huibiao Zhu (Editors). Unifying Theories and Formal Engineering Methods. Lecture Notes in Computer Sciences 8050. Springer, 2013.

6. Zhiming Liu, Jim Woodcock and Huibiao Zhu (editors). Unifying Theories and Formal Methods. Essays in Honor of He Jifeng on the Occasion of his 70th Birthday. Lecture Notes in Computer Science 8051. Springer 2013.

7. Dong R., Faber J., Ke W. and Liu Z. rCOS: defining meanings of component-based architecture. In Z. Liu, J. woodcock and H. Zhu (Eds.), Unifying Theories and Formal Engineering Methods. Lecture Notes in Computer Sciences 8050 (67 pages). Springer, 2013.

8. S. Arlt, M. Schaef and Z. Liu. Reconstructing Paths for Reachable Code, in Proc. International Conference on Formal Engineering Methods (ICFEM 2103), Lecture Notes in Computer Science 8144, pages 431-446,Springer, 2013.

9. Z. Liu, N. Qamar, and Jie Qian. An Automated routine childhood immunization approach using openEHR. In Proc. of the 14th World Congress on Medical and Health Informatics (Medinfo 2013), Copenhagen, Denmark, IOS Press, 2013.

10. H.E. Chew, J. Faber, Z. Liu, V. Madera, M. Schaef, and N. Qamar. Key challenges in the development of an integrated geriatric care system, in Proc. of the 14th World Congress on Medical and Health Informatics (Medinfo2013), Copenhagen, Denmark, IOS Press, 2013.

11. Zhao L., Wang S. and Liu Z. Graph-based object-oriented Hoare logic. In . Z. Liu, J. Woodcock and H. Zhu (Eds.), Unifying Theories and Formal Methods. Essays in Honor of He Jifeng on the Occasion of his 70th Birthday. Lecture Notes in Computer Science 8051 (20 pages). Springer 2013.

12. Li D., Li X., Liu Z. and Stolz V., Support Formal Component-based Development with UML Profile, 年Proc. Australia Software Engineering Conference (ASWEC 2013), IEEE Computer Society (accepted), 2013.

13. Jonathan P. Bowen. A Relational Approach to an Algebraic Community: From Paul Erdös to He Jifeng. In Zhiming Liu, Jim Woodcock, and Huibiao Zhu (eds.), Theories of Programming and Formal Methods, Springer-Verlag, LNCS, Volume 8051, pages 54-66, 2013.

14. Eleanor Lisney, Jonathan P. Bowen, Kirsten Hearn and Maria Zedda. Museums and Technology: Being Inclusive Helps Accessibility for All. Curator: The Museum Journal, 56(3):353-361, July 2013.

15. Jonathan P. Bowen, and Alice M. Bowen. Electronic Visualisation in Chemistry: From Alchemy to Art, Karl Harrison, In Kia Ng, Jonathan P. Bowen, and Sarah McDaid (eds.), EVA London 2013 Conference Proceedings, Electronic Workshops in
Computing (eWiC), British Computer Society, 2013, page 267-274.

16. Jonathan P. Bowen. Online Communities: Visualization and Formalization. In Cyberpatterns 2013: Proc. Second International Workshop on Cyberpatterns - Unifying Design Patterns with Security, Attack and Forensic Patterns, Abingdon, UK, 8-9 July 2013. Oxford Brookes University, 2013.

17. Editorial, Jonathan P. Bowen, Michael Butler, Steve Reeves, and Mike Hinchey. Formal Aspects of Computing, 25(3):343, 2013.

2012

1. Chen Z., Liu Z. and Wang J. A Theory of Failure-Divergence Semantics and Refinement of Long Running Transactions. Theoretical Computer Science 455: 31-65, 2012.

2. Liu Z. and Roychoudhury A. Relating software validation to technology trends. Software Tools for Technology Transfer (STTT) 14(6): 631-638, 2012.

3. Ke W., Li X., Liu Z. and Stolz V. rCOS: a Formal Model-Driven Engineering Method for Component-Based Software. Frontier of Computer Science 6(1): 17-39, 2012.

4. Z. Liu and A. Roychoudhury (Guest Editors). Software Tools for Technology Transfer (STTT) 14(6), Special Issue on Model Transformation and Validation, 2012.

5. Z. Liu and A. Wassyng (Editors). Proc. 1st International Symposium on Foundations of Health Information Engineering and Systems (FHIES), Lecture Notes in Computer Science 7151, Springer, 2012.

6. Bertolini C., Srba J. and Liu Z. Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. Proc. of 2nd International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2012), Lecture Notes of Computer Science 7789, pages 19-36, Springer.

7. Qamar N., Faber J., Ledru Y and Liu Z. Automated Reviewing of Healthcare Security Policies，in Proc. of 2nd International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2012). Lecture Notes of Computer Science 7789, pages 176-193, Springer.

8. Dong R., J. Faber, Liu Z., Srba J., Zhan N. and Zhu J. Unblockable Compositions of Software Components, in Proc. 15th ACM Symposium on Component-Based Software Engineering (CBSE 2012), pages 103-108, ACM. 2012.

9. Bertolini C., Liu Z., Sschaef M. and Stolz V. Towards a formal integrated model of collaborative healthcare workflows, in Proc. 1st International Symposium on Foundations of Health Information Engineering and Systems (FHIES2011). Lecture Notes in Computer Science 7151, pages 57-74, Springer, 2012.

10. Xu T., Liu Z., Tang T., Zhang Q and Zhao L. Component based design of fault tolerant devices in Cyber-Physical Systems. In Proc. ISORC Workshop 2012, pages 37-42, IEEE Computer Society, 2012.

11. Stefania Boiano, Jonathan P. Bowen, and Giuliano Gaia. Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. In Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.), EVA London 2012 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 2012, pages 66-73.

12. Visualising Virtual Communities: From Erdös to the Arts, Jonathan P. Bowen and Robin J. Wilson (Pembroke College, Oxford). In Stuart Dunn, Jonathan P. Bowen, and Kia Ng (eds.), EVA London 2012 Conference Proceedings, Electronic Workshops in Computing (eWiC), British Computer Society, 2012, pages 238-244.

13. Jonathan P. Bowen and Mike Hinchey. Ten Commandments of Formal Methods... Ten Years On, In Mike Hinchey and Lorcan Coyle (eds.), Conquering Complexity. Springer-Verlag, Part 3, pages 237-251, 2012.

14. Huibiao Zhu, Fan Yang, Jifeng He, Jonathan P. Bowen, Jeff W. Sanders, and Shengchao Qin. Linking Operational Semantics and Algebraic Semantics for a Probabilistic Timed Shared-variable Language. The Journal of Logic and Algebraic Programming, 81(1):2-25, January 2012. Available online 5 September 2011.

2011

1. Zhiming Liu and Jim Woodcock (Guest Editors). Formal Aspects of Computing 23(2), Special issue on Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays, 2011.

2. D. Li, X. Li Z. Liu and V. Volker. Interactive Transformations from Object-Oriented Models to Component-Based Models, in Proc. 8th International Symposium on Formal Aspects of Component Software. Lecture Notes in Computer Science 7253, pages 97-114, Springer, 2011.

3. Z. Chen, Z. Liu and J. Wang. Failure-Divergence Refinement of Compensating Communicating Processes., in FM 2011: Formal Methods - 17th International Symposium on Formal Method. Lecture Notes in Computer Science 6664, pages 262-277, Springer, 2011.

4. Huibiao Zhu (East China Normal University), Jifeng He, Jing Li, and Jonathan P. Bowen. Algebraic Approach to Linking the Semantics of Web Services. Innovations in Systems and Software Engineering: A NASA Journal, 7(3), 209-224, 2011. Springer-Verlag, published online 7 October 2011.

5. Alison H.-Y. Liu (National Taiwan Normal University, Taiwan) and Jonathan P. Bowen. Creating Online Collaborative Environments for Museums: A case study of a museum wiki, International Journal of Web Based Communities, 7(4):407-428, 2011. Special issue on Designing Shared Spaces for Collaborative Creativity.

6. Jonathan P. Bowen and Steve Reeves. From a Community of Practice to a Body of Knowledge: A Case Study of the Formal Methods Community. In Michael Butler and Wolfram Schulte (eds.), FM 2011: 17th International Symposium on Formal Methods. Springer-Verlag, LNCS, Volume 6664, pages 308-322, 2011.

7. Jonathan P. Bowen, Michael Butler, and Michael Poppleton. Applicable Formal Methods. Editorial, Egon Börger. Formal Aspects of Computing, 23(1):1-2, 2011.

8. Virtual Collaboration and Community, Ann Borda (VeRSI, Australia) and Jonathan P. Bowen. In Information Resources Management Association (ed.), Virtual Communities: Concepts, Methodologies, Tools and Applications, IGI Global, chapter 8.9, pages 2600-2611, 2011.

2010

1. Lei B., Liu Z., Morisset C. and Li X. Robustness Testing for Software Components. Science of Computer Programming, 75(10): 879-897, 2010.

2. Liu Z., Morisset C. and Wang S. A Graph-based Implementation for Mechanized Refinement Calculus of OO Programs, in Proc. Brazilian Symposium on Formal Methods (SBMF 2010), November, Natal, Brazil, 2010. Lecture Notes in Computer Science 6527, pages 258-273, Springer, 2010.

3. Bruni R. Liu Z. and Zhao L. Graph Representation of Sessions and Pipelines for Structured Service Programming, in Proc. International Symposium on Formal Aspects of Component Software (FACS 2010), Lecture Notes in Computer Science 6921, pages 259-276, Springer, 2010.

4. Li X., Liu Z. Schaf M. and Yin L. An Automata Model of Component-Based Architecture, in Proc. ISoLA 2010, Part I. Lecture Notes in Computer Science 6415, pages 609- 624, Springer 2010.

5. Chen Z. and Liu Z. An extended cCSP with stable failures semantics, in Proc. 7th International Colloquium on Theoretical Aspects of Computing (ICTAC), Proceedings to be published by Springer Lecture Notes in Computer Science 6255, pages 121-136, Springer 2010.

6. Jonathan P. Bowen, Mike Hinchey, and Emil Vassev. Formal Requirements Specification. In Philip A. Laplante (ed.), Encyclopedia of Software Engineering, Taylor & Francis, 2010, pages 321-332.

7. Huibiao Zhu (East China Normal University), Jifeng He, Jing Li, Geguang Pu, and Jonathan P. Bowen. Linking Denotational Semantics with Operational Semantics for Web Services. Innovations in Systems and Software Engineering: A NASA Journal, 6(4), 283-298, December 2010. Springer-Verlag, published online 30 April 2010.

2009

1. Chen L., Liu Z., Ravn, A.P. and Stolz V. Refinement and Verification in Component-Based Model Driven Design. Science of Computer Programming, 74(4): 168-196, 2009.

2. Zhao L., Liu X. Liu Z. and Qiu Z. Graph Transformations for Object-Oriented Refinement. Formal aspects of Computing, 21(1): 103-131, 2009.

3. Zhiming Liu and Anders P. Ravn (Editors). Proc. Automated Technology for Verification and Analysis, 7th International Symposium on Automated Technology of Verification and Analysis (ATVA 2009), Macao, China, October 14-16, 2009. Proceedings Springer. Lecturer Notes in Computer Science 5799, 2009.

4. Zhang M., Liu Z, Morisset C. and Ravn A.P. Design and Verification of Fault-Tolerant Components. in Michael Butler and Cliff B. Jones and Alexander Romanovsky and Elena Troubitsyna (Eds.), Methods, Models and Tools for Fault Tolerance, Lecture Notes in Computer Science 5454: 57-84, springer, 2009.

5. Ke W., Liu Z., Wang S. and Zhao L. A Graph-based operational semantics of OO programs, in Proc. ICFEM, Lecture Notes in Computer Science 5885, pages 347-366, Springer, 2009.

6. Zhang M., Liu Z., Zhan N. Model Checking Linear Duration Invariants of Networks of Automata, in Proc. FSEN’09, Lecture Notes in Computer Science 5961, pages 244-259, Springer 2009.

7. Liu Z., Morisset C. and Stolz, V. rCOS: Theory and Tool for Component-Based Model Driven Development. Keynote at FSEN 2009, Lecture Notes in Computer Science 5961, pages 62-80, Springer, 2009.

8. Jonathan P. Bowen and Michael G. Hinchey. Ten Commandments Ten Years On: Lessons for ASM, B, Z and VSR-net. In Jean-Raymond Abrial and Uwe Glaesser (eds.), Rigorous Methods for Software Construction and Analysis. Springer-Verlag, LNCS, Volume 5115, pages 219-233, 2009.

9. Huibiao Zhu (East China Normal University), Shengchao Qin (University of Durham), Jifeng He (East China Normal University), and Jonathan P. Bowen. PTSC: Probability, Time and Shared-variable Concurrency. Innovations in Systems and Software Engineering: A NASA Journal, Springer-Verlag, 5(4):271-284, December 2009.

10. Formal Versus Agile: Survival of the Fittest, Sue Black (University of Westminster), Paul P. Boca (Hornbill Systems), Jonathan P. Bowen, Jason Gorman (Codemanship), and Mike Hinchey (LERO). IEEE Computer, 42(9):37-45, September 2009.

11. An Interview with C.A.R. Hoare, Len Shustek (editor), Jonathan P. Bowen (interviewer), and C. A. R. Hoare (interviewee). Communications of the ACM, 52(3):38-41, March 2009. See also Oral History of Sir Antony Hoare.

12. Robert M. Hierons, Kiril Bogdanov, Jonathan P. Bowen, Rance Cleaveland, John Derrick, Jeremy Dick, Marian Gheorghe, Mark Harman, Kalpesh Kapoor, Paul Krause, G. Luettgen, Anthony J. H. Simons, Sergiy A. Vilkomir, Martin R. Woodward and Hussein Zedan. Using Formal Specifications to Support Testing. ACM Computing Surveys, 41(2):1-76, February 2009.

13. Jonathan P. Bowen and Ann Borda (VeRSI, Australia). Communicating the Public Understanding of Science: The Royal Society Website. International Journal of Technology Management 46(1/2):146-164, 2009.

2008

1. Hu J., Liu Z., Reed M.G. and Sanders J.W. Ensemble Engineering and Emergence, in M. Wirsing et al (eds), Software Intensive Systems, Lecture Notes in Computer Science 5380, 162-178, Springer Verlag, 2008.

2. Zhan Z., Kang E.Y. and Liu Z. Composition and refinement of components, in Proc. International Symposium on Unifying Theories of Programming (UTP08), Lecture Notes in Computer Science 5713, pages 238-257, Springer, 2008.

3. Liu Z., Morisset C. and Volker Stolz. A component-based access control monitor, in Proc. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) Communications in Computer and Information Science 17, pages 339-353, Springer, 2008.

4. Long Q., Qiu Z. and Liu Z. Formal use of design patterns and refactoring, in Proc. International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) Communications in Computer and Information Science 17, pages 323-338, Springer, 2008.

5. Silva L., Sampaio A. and Liu Z. Laws of Object-Orientation with Reference Semantics, in Proc. IEEE Conference on Software Engineering and Formal Methods (SEFM 2008), pages 217-226, IEEE Computer Society, 2008.

6. Zhang M., Dang V.H. and Liu Z. Verification of Linear Duration Invariants by Model Checking CTL Properties, in Proc. International Colloquium on Theoretical Aspects of Computing (ICTAC08), Lecture Notes in Computer Science 5160, pages 395-409, Springer, 2008.

7. Liu Z., Ravn A.P. and Stolz V. The rCOS method in a nutshell. In Modelling and Analysis, in VDM: Proceedings of the Fourth VDM/Overture Workshop, number CS-TR-1099 in Technical Report Series. Newcastle University, May 2008.

8. Huibiao Zhu (East China Normal University), Jifeng He (East China Normal University), and Jonathan P. Bowen. From Algebraic Semantics to Denotational Semantics for Verilog, Innovations in Systems and Software Engineering: A NASA Journal, Springer-Verlag, 4(4):341-360, December 2008.

9. Old Favourite keeps Young Rivals at Bay. Times Higher Education, 27 November 2008. Review of C Programming: A Modern Approach, 2nd edition. K.N. King, W.W. Norton & Company, 2008. Also A Concise Introduction to Image Processing using C++ and Computer Algebra with Symbolic C++.

10. Mike Hinchey, Michael Jackson, Patrick Cousot, Byron Cook, Jonathan P. Bowen, and Tiziana Margaria. Software Engineering and Formal Methods. Communications of the ACM, 51(9):54-59, September 2008.

11. Sergiy A. Vilkomir and Jonathan P. Bowen. In Robert M. Hierons, Jonathan P. Bowen, and Mark Harman (eds.) From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, pages 240-270, 2008.

12. Phan Cong Vinh and Jonathan P. Bowen. Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis. In Marina Gavrilova and C. J. Kenneth Tan (eds.), Transactions on Computational Science I, Springer-Verlag, LNCS, Volume 4750, pages 1-36, June 2008.

13. Stefania Boiano (InvisibleStudio, Italy), Ann Borda, Jonathan P. Bowen, Xristine Faulkner, Giuliano Gaia (InvisibleStudio, Italy) and Sarah McDaid. Gender Issues in HCI Design for Web Access. In Felix B. Tan (ed.), Global Information Technologies: Concepts, Methodologies, Tools, and Applications, Chapter 7.20, pages 3175-3202, Information Science Reference, Hershey, USA, 2008. Reprint.