Jun Han's Publications

(For publications that are not available on-line, please email Jun Han.) 

2009

• Q. Wang, J. Shao, F. Deng, Y. Liu, M. Li, J. Han, and H. Mei. An Online Monitoring Approach for Web Service Requirements. IEEE Transactions on Services Computing, 14 pages, accapted for publication, to appear.
• A. Tang, J. Han, and R. Vasa. Supporting Software Architecture Design Reasoning. IEEE Software, 26(2):43-49, March/April 2009. papr-pdf
• M.H. Tran, J. Han, and A. Colman. Social Context: Supporting Interaction Awareness in Ubiquitous Environments. In Proceedings of the 6th Annual International Conference on Mobile and Ubiquitous Systems (Mobiquitous’09), 10 pages, Toronto, Canada, July 2009. IEEE. papr-pdf
• W. Bu, A. Tang, and J. Han. An Analysis of Design-Centric Architecture Design Approaches. In Proceedings of the 31st International Conference on Software Engineering Conference (ICSE’09), Companion Volume (4th Workshop on Sharing and Reusing Architecture Knowledge (SHARK’09)), Vancouver, Canada, May 2009, pages 33-40. IEEE Computer Society Press. papr-pdf
• C. Hine, J.-G. Schneider, J. Han, and S. Versteeg. Scalable Emulation of Enterprise Systems. In Proceedings of the 2009 Australian Software Engineering Conference (ASWEC'09), Gold Coast, Australia, April 2009, pages 142-151. IEEE Computer Society Press. papr-pdf

2008

• J. Yu, Y. Han, J. Han, Y. Jin, P. Falcarin, and M. Morisio. Synthesizing Service Composition Models on the Basis of Temporal Business Rules, Journal of Computer Science and Technology, 23(6): 885-894, November 2008. Springer. papr-pdf
• T. Phan, J. Han, J.-G. Schneider and K. Wilson. Quality-Driven Business Policy Specification and Refinement for Service-Oriented Systems. In Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC 2008) (Lecture Notes in Computer Science, Vol. 5364), pages 5-21, Sydney, Australia, December 2008. Springer. paper-pdf
• I. Mueller, J. Han, J.-G. Schneider and S. Versteeg. A Conceptual Framework for Unified and Comprehensive SOA Management. In Proceedings of the 4th International Workshop on Engineering of Service Oriented Applications (WESOA 2008) (Lecture Notes in Computer Science, Vol. 5472), pages 28-40, Sydney, Australia, December 2008. Springer. paper-pdf
• L. Grunske and J. Han. Comparative Study into Architecture-Based Safety Evaluation Methodologies using the AADL Error Annex and Failure Propagation Models. In Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008), pages 283-292, Nanjing, China, December 2008. IEEE Computer Society Press. paper-pdf
• A. Tang, M.H. Tran, J. Han, and H. van Vliet. Design Reasoning Improves Software Design Quality. In Proceedings of the 4th International Conference on the Quality of Software Architectures (QoSA 2008) (Lecture Notes in Computer Science, Vol. 5281), pages 28-42, Karlsruhe, Germany, October 2008. Springer. paper-pdf
• Alan Colman, Minh Tran, Jun Han. An Adaptive Architecture for Context-Aware Interaction in Pervasive Applications. In Proceedings of Workshop on Context‐Aware Pervasive Communities: Infrastructures, Services and Applications (CAPC 2008), May, 2008, Sydney, Australia. Published in A. Zaslavsky, K. Truong (Eds.): Pervasive 2008 Workshop Proceddings, pp. 237-244. paper-pdf
• Tan Phan, Jun Han, Jean-Guy Schneider, Tim Ebringer and Tony Rogers. A survey of policy-based management approaches for Service Oriented Systems. In Proceedings of the 2008 Australian Software Engineering Conference (ASWEC'08), Perth, Australia, March 2008, pages 392-401. IEEE Computer Society Press. (paper-pdf)
• Artem Vorobiev, Jun Han, and Nargiza Bekmamedova. An Ontology Framework for Managing Security Attacks and Defences in Component Based Software Systems. In Proceedings of the 2008 Australian Software Engineering Conference (ASWEC'08), Perth, Australia, March 2008, pages 552-561. IEEE Computer Society Press. (paper-pdf)
• K. Khan and J. Han. Specifying Security Goals of Component-Based Systems: An End-User Perspective. In Proceedings of the 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS’08), pages 101-109, Madrid, Spain, February 2008. IEEE Computer Society Press. paper-pdf

2007

• T. Phan, J. Han, J.-G. Schneider, T. Ebringer and T. Rogers. Policy-Based Service Registration and Discovery. In Proceedings of the 2007 International Conference on Cooperative Information Systems (CoopIS 2007) (Lecture Notes in Computer Science, Vol. 4803), pages 417-426, Vilamoura, Portugal, November, 2007. Springer. paper-pdf
• A. Colman, A., L.D. Pham, J. Han and J.-G. Schneider. Towards Matching Dynamic Business-Level Protocols in Adaptive Service Compositions. In Proceedings of Advances in Semantics for Web Services (semantics4ws 2007), September 2007, Brisbane, Australia, LNCS 4928, pp. 502–507, Springer. paper-pdf
• J. Yu and J. Han. Synthesis of Service Composition Process Models from Temporal Business Rules. In Proceedings of the First International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC 2007), 10 pages, July 2007, Barcelona, Spain.
• J. Han and A.W. Colman. The Four Major Challenges of Engineering Adaptive Software Architectures. In Proceedings of 31st Annual International Computer Software and Applications Conference (The First IEEE International Workshop on Software Engineering for Adaptive Software Systems (SEASS 2007)), Vol. 2, pages 565-572, Beijing, July 2008. IEEE Computer Society Press. (Invited keynote) paper-pdf
• J. Han, Y. Jin, Z. Li, T. Phan and J. Yu. Guiding the Service Composition Process with Temporal Business Rules. In Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), pages 735-742, July 2007, Salt Lake City, USA. IEEE Computer Society. paper-pdf
• A. Colman and J. Han. Roles, Players and Adaptive Organisations. Applied Ontology, An Interdisciplinary Journal of Ontological Analysis and Conceptual Modeling, 2(2): 105-126, 2007. paper-pdf
• A. Tang, Y. Jin and J. Han. A rationale-based architecture model for design traceability and reasoning. Journal of Systems and Software, 80(6): 918-934, June 2007. paper-pdf
• A. Colman and J. Han.  Coordination Systems for Adaptive Software. Science of Computer Programming, 64(2): 223-245, 2007. doi:10.1016/j.scico.2006.06.006. paper-pdf
• A. Tang, A. Nicholson, Y. Jin and J. Han. Using Bayesian Belief Networks for Change Impact Analysis in Architecture Design. Journal of Systems and Software, 80: 127-148, 2007. paper-pdf
• Y. Jin, A. Tang, J. Han, and Y. Liu. Performance Evaluation and Prediction for Legacy Information Systems. In Proceedings of the 29th International Conference on Software Engineering (ICSE’07), Minneapolis, USA, May 2007, pages 540-549. IEEE Computer Society Press. paper-pdf
• S.C. Cheung and J. Han (eds). Services Engineering. Special Issue of the International Journal of Web Services Research, 4(2), 2007. (ISSN: 1545-7362)
• J. Grundy and J. Han (eds). Proceedings of the 2007 Australian Software Engineering Conference, Melbourne, Australia, April 2007, 430 pages (in press). IEEE Computer Society Press.

2006

• A. Tang, M. Ali Babar, I. Gorton and J. Han. A Survey of Architecture Design Rationale. Journal of Systems and Software, 79: 1792-1804, 2006. paper-pdf
• A. Colman and J. Han. Adaptive Service-Oriented Systems: An Organisational Approach. International Journal of Computer Systems Science & Engineering, 4: 235-246, 2006. paper-pdf
• A. Colman and J. Han. Using Associations Aspects to Implement Organisational Contracts. Electronic Notes in Theoretical Computer Science., 150(3):37-53. (paper-pdf) (An extended version of a paper appeared in CoOrg’05). 
• X.T. Nguyen, R. Kowalczyk, and J. Han. Using Dynamic asynchronous aggregate search for quality guarantees of multiple Web services compositions.In Proceedings of 4th International Conference on Service Oriented Computing (ICSOC’06) (Lecture Notes in Computer Science, Vol. 4294), Chicago, USA, December 2006, pages 129-140. Springer. paper-pdf
• J. Han, R. Kowalczyk and K.M. Khan. Security-Oriented Service Composition and Evolution. In Proceedings of the 2006 Asia-Pacific Software Engineering Conference (APSEC’06), Bangalore, India, December 2006, pages 71-78. IEEE Computer Society Press. paper-pdf
• A. Vorobiev and J. Han. Secrobat: Secure and Robust Component-based Architectures. In Proceedings of the 2006 Asia-Pacific Software Engineering Conference (APSEC’06), Bangalore, India, December 2006, pages 3-10. IEEE Computer Society Press. paper-pdf
• Alan Colman, Linh Duy Pham, Jun Han, JeanGuy Schneider. Adaptive Application-Specific Middleware. In Proceedings of the Middleware for Service Oriented Computing Workshop (MW4SOC 2006), November, 2006, Melbourne, Australia, pages 6-11. ACM Press. paper-pdf
• A. Vorobiev and J. Han. Security Attack Ontology for Web Services. In Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG’06), Guilin, China, November 2006, paper 42 (6 pages), doi: 10.1109/SKG.2006.85. IEEE Computer Society Press.
• A. Vorobiev and J. Han. Specifying Dynamic Security Properties of Web Service Based Systems. In Proceedings of the 2nd International Conference on Semantics, Knowledge and Grid (SKG’06), Guilin, China, November 2006, paper 34 (6 pages), doi: 10.1109/SKG.2006.99. IEEE Computer Society Press.
• J. Yu, T.P. Manh, J. Han, Y. Jin, Y. Han, and J. Wang. Pattern Based Property Specification and Verification for Service Composition. In Proceedings of the 7th International Conference on Web Information Systems Engineering (WISE’06) (Lecture Notes in Computer Science, Vol. 4255), Wuhan, China, October 2006, pages 156-168. Springer. paper-pdf
• M. Ali Babar, A. Tang, I. Gorton and J. Han. Industrial Perspective on the Usefulness of Design Rationale for Software Maintenance: A Survey. In Proceedings of the Sixth International Conference on Quality Software (QSIC2006), Beijing, China, October 2006, pages 201-208. IEEE Computer Society. paper-pdf
• J. Han, Y. Han, Y. Jin, J. Wu and J. Yu. Personalized Active Service Spaces for End-User Service Composition. In Proceedings of the 2006 IEEE International Conference on Services Computing (SCC’06), Chicago, USA, September 2006, pages 198-205. IEEE Computer Society Press. paper-pdf
• Z. Li, Y. Jin and J. Han. A Runtime Monitoring and Validation Framework for Web Service Interactions. In Proceedings of the 2006 Australian Software Engineering Conference (ASWEC'06), Sydney, Australia, April 2006, pages 70-79. IEEE Computer Society Press. (paper-pdf)
• K. Khan and J. Han. Assessing Security Properties of Software Components: A Software Engineer's Perspective. In Proceedings of the 2006 Australian Software Engineering Conference (ASWEC'06), Sydney, Australia, April 2006, pages 199-208. IEEE Computer Society Press. (paper-pdf)
• Y. Jin, A. Tang and J. Han. A Research Report on Systems Performance and Scalability: Performance Modelling and Simulation of Meter Data Systems. Citipower and Powercor Australia, Melbourne, Australia, May 2006, 54 pages.
• E. Di Nitto, R.J. Hall, J. Han, Y. Han, A. Polini, K. Sandkuhl, A. Zisman (eds). Proceedings of International Workshop on Service Oriented Software Engineering (IW-SOSE'06), Shanghai, China, May 2006. ACM Press.
• J. Han and M. Staples (eds). Proceedings of the 2006 Australian Software Engineering Conference, Sydney, Australia, April 2006, 420 pages. IEEE Computer Society Press. (ISBN: 0 7695 2551 2)

2005

• An Organisational Approach to Building Adaptive Service-oriented Systems(A. Colman and J. Han). In Proceedings of the First International Workshop on Engineering Service Compositions (WESEC 2005), Amsterdam, The Netherlands, December 2005, pages 1-8. IBM Research. (paper-pdf)
• Consistency and Interoperability Checking for Component Interaction Rules (Y. Jin and J. Han). In Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC'05), Taipei, Taiwan, December 2005, pages 595-602. IEEE Computer Society Press. (paper-pdf)
• Pattern-Based Specification and Validation of Web Services Interaction Properties (Z. Li, J. Han and Y. Jin). In Proceedings of the 3rd International Conference on Service Oriented Computing (ICSOC'05), (Lecture Notes in Computer Science, Volume 3826), pages 73-86, Amsterdam, The Netherlands, December 2005. Springer. (paper-pdf)
• Predicting Change Impact in Architecture Design with Bayesian Belief Networks (Antony Tang, Yan Jin, Jun Han and Ann Nicholson). In Proceedings of the Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA 5), Pittsburgh, USA, November 2005, pages 67-76. IEEE Computer Society Press. (paper-pdf)
• A Survey of the Use and Documentation of Architecture Design Rationale (Antony Tang, Muhammad Ali Babar, Ian Gorton and Jun Han). In Proceedings of the Fifth Working IEEE/IFIP Conference on Software Architecture (WICSA 5), Pittsburgh, USA, November 2005, pages 89-98. IEEE Computer Society Press. (paper-pdf)
• Organizational Roles and Players (A. Colman and J. Han). In Proceedings of the 2005 AAAI Fall Symposium on Roles, an interdisciplinary perspective (Roles05), Arlington, USA, November 2005, pages 55-62. (paper-pdf)
• Runtime Validation of Behavioural Contracts for Component Software (Y. Jin and J. Han). In Proceedings of the 5th International Conference on Quality Software (QSIC2005), pages 177-184, Melbourne, Australia, September 2005. IEEE Computer Society Press. (paper-pdf)
• On the autonomy of software entities and modes of organisation (A. Colman and J. Han). In Proceedings of the 1st International Workshop on Coordination and Organisation (CoOrg 2005), 12 pages, Namur, Belgium, April 2005. (paper-pdf)
• Using Associations Aspects to Implement Organisational Contracts (A. Colman and J. Han). In Proceedings of the 1st International Workshop on Coordination and Organisation (CoOrg 2005), 15 pages, Namur, Belgium, April 2005. (paper-pdf). Revised version to appear in Electronic Notes in Theoretical Computer Science.(paper-pdf)
• Coordination Systems in Role-based Adaptive Software (A. Colman and J. Han). In Proceedings of the Seventh International Conference on Coordination Models and Languages (COORDINATION’05) (Lecture Notes in Computer Science, Vol. 3454), pages 63-78, Namur, Belgium, April 2005. Springer. (paper-pdf)
• A Methodology for Architecture Verifiability, Traceability and Completeness (A. Tang and J. Han). In Proceedings of the 12th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS’05), Greenbelt, Maryland, USA, April 2005, pages 135-144. IEEE Computer Society Press. (paper-pdf)
• Deriving Systems Level Security Properties of Component Based Composite Systems (K. Khan and J. Han). In Proceedings of the 2005 Australian Software Engineering Conference (ASWEC'05), Brisbane, Australia, March/April 2005, pages 334-343. IEEE Computer Society Press. (paper-pdf)
• Operational Management Contracts for Adaptive Software Organisation (A. Colman and J. Han). In Proceedings of the 2005 Australian Software Engineering Conference (ASWEC'05), Brisbane, Australia, March/April 2004, pages 170-179. IEEE Computer Society Press. (paper-pdf)
• Specifying Interaction Constraints of Software Components for Better Understandability and Interoperability (Y. Jin and J. Han). In Proceedings of the 4th International Conference on COTS-Based Software Systems (ICCBSS’05) (Lecture Notes in Computer Science, Vol. 3412), pages 54-64, Bilbao, Spain, February 2005. Springer. (paper-pdf)
• Organisational Abstractions for Adaptive Systems (A. Colman and J. Han). In Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS'05), Hawaii, USA, January 2005, pages 276.1-10. IEEE Computer Society. (paper-pdf)

2004

• A Comparative Analysis of Architecture Frameworks (A. Tang and J. Han). In Proceedings of the 2004 Asia-Pacific Software Engineering Conference, Busan, Korea, November/December 2004, pages 640-647. IEEE Computer Society. (paper-pdf)
• A Software Engineering Perspective for Services Security (J. Han). In Proceedings of the 3rd International Conference on Grid and Cooperative Computing (GCC’04) (Lecture Notes in Computer Science, Vol. 3252), pages 366-373, Wuhan, China, October 2004. Springer. (paper-pdf)
• Components -- The Past, the Present, and the Future (J.-G. Schneider and J. Han). In Proceedings of the Ninth International Workshop on Component-Oriented Programming (WCOP'04), Oslo, Norway, June 2004. (paper-pdf)
• A Framework for Reasoning about the Performance of Component Software (K.K. Ker and J. Han). In Proceedings of the 5th Australasian Workshop on Software and System Architectures, Melbourne, April 2004, pages 72-81. (paper-pdf)
• A Process Framework for Characterising Security Properties of Component-Based Software Systems (K. Khan and J. Han). In Proceedings of the 2004 Australian Software Engineering Conference (ASWEC'04), Melbourne, Australia, April 2004, pages 358-367. IEEE Computer Society Press. (paper-pdf)
• Proceedings of the 5th Australasian Workshop on Software and System Architectures (J.-G. Schneider and J. Han, eds.), Melbourne, Australia, April 2004, 91 pages. (ISBN: 0 85590 803 3) (link)

2003

• A Security Characterisation Framework for Trustworthy Component Based Software Systems (K. Khan and J. Han). In Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC 2003), Dallas, USA, November 2003, pages 164-169. IEEE Computer Society. (paper-pdf)
• Ensuring Compatible Interactions within Component-based Software Systems (J. Han and K.K. Ker). In Proceedings of the 2003 Asia-Pacific Software Engineering Conference, Chiangmai, Thailand, December 2003, pages 436-445. IEEE Computer Society. (paper-pdf)
• Interaction Compatibility: An Essential Ingredient for Service Composition (J. Han). In Proceedings of the International Workshop on Grid and Cooperative Computing (Lecture Notes in Computer Science, Vol. 3032), Shanghai, China, December 2003, pages 59-66. Springer. (paper-pdf)

2002

• Composing Security-Aware Software (K. Khan and J. Han). IEEE Software, 19(1): 34-41, January/February 2002. (paper-pdf)
• XML-Based Modelling in Architecture Management (J. Wu and J. Han). Journal of Computer Engineering and Application, 38(21): 137-150, November 2002.
• Object Oriented Software Process Modeling (S.-I. Choi and J. Han). In Proceedings of the International Conference on Applied Informatics, Innsbruck, Austria, February 2002, pages 30-35. ACTA Press.
• xmlTRAM+: Using XML Technology to Manage Software Requirements and Architectures (J. Wu and J. Han). In Proceedings of the 8th Australian World Wide Web Conference, Twin Waters Resort, Sunshine Coast, Australia, July 2002, pages 237-245. (paper-pdf) (link)
• Architecture Support for System-of-Systems Evolution (J. Han and P. Chen). In Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems (Lecture Notes in Computer Science, Vol. 2480), Beijing, China, September 2002, pages 332-346. Springer. (paper-pdf)
• Preparing Software Components for Integration (J. Han). In Proceedings of the International Workshop on Grid and Cooperative Computing, Sanya, China, December 2002, pages 679-689, Publishing House of Electronics Industry. (paper-pdf)
• SENSE: A Prototype Design for a Systems Evolution Synthetic Environment (J. Han). DSTO Project Report, Department of Defence, Canberra, Australia, 2002, 70 pages.

2001

• Facilitating System-of-Systems Evolution with Architecture Support (P. Chen and J. Han). In Proceedings of the International Workshop on Principles of Software Evolution, Vienna, Austria, September 2001, pages 130-133. Published 2002, ACM Press. (paper-pdf)
• Architecture Evolution in System-of-Systems Context (P. Chen and J. Han). DSTO Project Report, Department of Defence, Canberra, Australia, 2001, 41 pages.
• A Framework for an Active Interface to Characterise Compositional Security Contracts of Software Components (K. Khan, J. Han and Y. Zheng). In Proceedings of the 2001 Australian Software Engineering Conference, Canberra, Australia, August 2001, pages 117-126. IEEE Computer Society Press. (paper-pdf)
• TRAM: A Tool for Requirements and Architecture Management (J. Han). In Proceedings of the 24th Australasian Computer Science Conference, Gold Coast, Australia, January/February 2001, pages 60-68. IEEE Computer Society Press. (paper-pdf)

2000

• Temporal Logic Based Specifications of Component Interaction Protocols (J. Han). In New Issues of Object Interoperability, Caceres, Spain, June 2000, pages 43-52. (paper-pdf)
• Security Characterisation of Software Components and Their Composition (K. Khan, J. Han and Y. Zheng). In Proceedings of the 36th International Conference on Technology of Object Oriented Languages and Systems, Xi’an, China, October/November 2000, pages 240-249. IEEE Computer Society Press. (paper-pdf)
• Experience with Designing a Requirements and Architecture Management Tool (J. Han). In Proceedings of International Conference on Software Methods and Tools, Wollongong, Australia, November 2000, pages 179-188. IEEE Computer Society Press. (paper-pdf)
• Security Characterisation and Integrity assurance for Component-Based Software (J. Han and Y. Zheng) (Invited Paper). In Proceedings of International Conference on Software Methods and Tools, Wollongong, Australia, November 2000, pages 61-66. IEEE Computer Society Press. (paper-pdf)
• A Scenario Based Security Characterisation of Software Components (K. Khan, J. Han and Y. Zheng). In Proceedings of the 3rd Australasian Workshop on Software and System Architectures, Sydney, Australia, November 2000, pages 55-63. (paper-pdf)
• Proceedings of the 3rd Australasian Workshop on Software and System Architectures (J. Grundy and J. Han eds), Sydney, Australia, November 2000, 106 pages. (link)
• Specifying Security Requirements and Assurances of Software Components (K. Khan, J. Han and Y. Zheng). In Proceedings of the 5th Australian Workshop on Requirements Engineering, Brisbane, Australia, December 2000, pages 57-65. (paper-pdf)
• Characterising User Data Protection of Software Components (K. Khan, J. Han, Y. Zheng). In Proceedings of the 2000 Australian Software Engineering Conference, Canberra, Australia, April 2000, pages 3-11. IEEE Computer Society Press. (paper-pdf)
• Academic Java and Industrial Java: Up Close and at a Distance (C. Exton, J. Han, K. O'Yang, R. Polan and L. Seldon). In Proceedings of the 2000 Evolve Conference: A Conference on Java Technologies, Sydney, Australia, February/March 2000, pages 31-38.
• Acquiring Systems Architecture at the Enterprise Level: Principles and Requirements (P. Chen, A. El-Sakka and J. Han). DSTO Project Report, Department of Defence, Canberra, Australia, 2000, 50 pages.

1999

• Proceedings of Workshop on Software Architecture and Components (J. Han, S.D. Kim and T. Kishi, eds). Takamatsu, Japan, December 1999.
• Principles and Requirements for an Enterprise Architecture Repository (P. Chen, J. Han and A. El-Sakka). Project Report, DSTO, Canberra, Australia, December 1999.
• Representation and Management of Systems Architecture at the Enterprise Level (J. Han, P. Chen and A. El-Sakka). In Proceedings of the 2nd Australiasian Workshop on Software Architectures. Melbourne, Australia, November 1999. (paper-pdf)
• Security Properties of Software Components (K. Khan, J. Han and Y. Zheng). In Proceedings of 1999 International Information Security Workshop, Kuala Lumpur, Malaysia, November 1999. (paper-pdf)
• Software Component Packaging and System Assembly (J. Han). Invited Speech at the International Symposium on Object Oriented Languages and Systems, Nanjing, China, September 1999.
• Managing Air Traffic Control System Requirements and Their Change (J. Han). Invited Speech at the BCS Requirements Engineering Specialist Group, Oxford, UK, August 1999.
• Semantic and Usage Packaging for Software Components (J. Han). In Proceedings of 1999 ECOOP Workshop on Object Interoperability, Lisbon, Portugal, June 1999 (paper-pdf).
• An Approach to Software Component Specification (J. Han). In Proceedings of 1999 International Workshop on Component Based Software Engineering, Los Angeles, USA, May 1999. (paper-pdf)
• Study into Use of Requirements Capture Tools and Their Role in Software Projects (W. Emmerich, A. Finkelstein and J. Han). Project Report, (UK) National Air Traffic Services Ltd, 1999, 109 pages.

1998

• Proceedings of the 1998 Australasian Workshop on Software Architectures(J. Han, eds.) November 1998, Melbourne, Australia, 131 pages. Published by Monash University. ISBN 0-7326-1781-2. (link)
• Security Characterisation and Integrity Assurance for Software Components and Component-Based Systems (J. Han and Y. Zheng).

In Proceedings of 1998 Australiasian Workshop on Software Architectures (AWSA'98), Melbourne, Australia, November 1998, pages 83-89. (paper-ps).
• A Comprehensive Interface Definition Framework for Software Components(J. Han). In Proceedings of 1998 Asia-Pacific Software Engineering Conference (APSEC'98), Taipei, Taiwan, December 1998, pages 110-117. IEEE Computer Society Press. (paper-pdf). [A revised, extended version of the paper as a report (report-pdf)] [For an overview of the issues addressed in this paper, please see the CBSE'98 paper below.]
• System Architectures for Integrating Web-Based User Interfaces into (Legacy) Database Applications (J. Han). In Proceedings of 1998 Asia-Pacific Web Conference (APWeb'98), Beijing, China, September 1998, pages 251-256. International Academic Publishers. (paper-pdf)
• Towards a Productivity-Centred Classification of Tool Interfacing in Software Development Environments (Y. Yang and J. Han). Journal of the Brazilian Computer Society, 5(1): 47-59, 1998.
• Toward Unified Software Process Model (S.-I. Choi and J. Han). In Proceedings of 1998 IASTED International Conference on Modelling and Simulation (IASTED-MS'98), Pittsburgh, USA, May 1998, pages 566-570. IASTED-ACTA Press.
• Characterization of Components (J. Han). In Proceedings of International Workshop on Component-Based Software Engineering (CBSE'98), Kyoto, Japan, April 1998, pages 39-42. (paper-pdf)
• Utilising Hypertext Functionality in Programming Environments (J. Han). In Proceedings of 5th International Workshop on Engineering Hypertext Functionality into Future Information Systems (HTF5) , Kyoto, Japan, April 1998, pages V.1-V.4. (paper-pdf)
• Scenarios of Web-Based User Interfaces for Software Engineering Environments(J. Han). In Proceedings of 1st International Workshop on Web Engineering (WebE'98), Brisbane, Australia, April 1998, pages V.1-V.7. (paper-pdf)

1997

• Designing for Increased Software Maintainability (J. Han). In Proceedings of 1997 International Conference on Software Maintenance (ICSM'97), Bari, Italy, September/October 1997, pages 278-286. IEEE Computer Society Press. (paper-pdf)
• Process Modelling Based on Document Structural Properties (S.-I. Choi and J. Han). In Proceedings of 1997 International Symposium on Future Software Technology (ISFST'97), Xiamen, China, October 1997, pages 406-412.
• Object-Oriented Databases and Future Software Engineering Environments(H. Singh and J. Han). In Proceedings of 1997 International Symposium on Future Software Technology (ISFST'97), Xiamen, China, October 1997, pages 187-195.
• Supporting impact analysis and change propagation in software engineering environments (J. Han). In Proceedings of 8th International Workshop on Software Technology and Engineering Practice (STEP'97/CASE'97), London, UK, July 1997, pages 172-182. IEEE Computer Society Press. (paper-pdf)
• Managing transactions in multidatabase systems for advanced mobile applications(L.H. Yeo, P. Steele and J. Han). In Proceedings of 8th International Database Workshop (IDW'97), Hong Kong, July 1997, pp. 177-194. (Appeared as Data Mining, Data Warehousing and Client-Server Databases (J. Fong, ed), Springer-Verlag.)
• Object-oriented modelling of software processes and artifacts: promises and challenges (J. Han). In Proceedings of ECOOP'97 Workshops on Object-Oriented Technology (Modelling Software Processes and Artifacts), LNCS-1357, Jyvaskyla, Finland, June 1997, pages 315-318. Springer. (paper-pdf)
• Exploiting user-group relationships for increasing concurrency in software engineering environments (H. Singh and J. Han). In Proceedings of 8th Conference on Software Engineering Environments (SEE'97), Cottbus, Germany, April 1997, pages 145-153. IEEE Computer Society Press. (paper-pdf)
• Increasing concurrency in object oriented databases for software engineering environments (H. Singh and J. Han). In Proceedings of 5th International Conference on Database Systems for Advanced Applications (DASFAA'97), Melbourne, Australia, April 1997, pages 175-184. World Scientific Publishing. (paper-ps)
• Traceability and consistency support in computer-aided design environments(J. Han). In Proceedings of 5th International Conference on Computer Aided Systems Theory and Technology (CAST'97), Las Palmas de Gran Canaria, Spain, February 1997, pages 11-15. (paper-ps)
• An approach to software change management support (J. Han). In Proceedings of 15th IASTED International Conference on Applied Informatics (IASTED-AI'97), Innsbruck, Austria, February 1997, pages 322-325. (paper-ps)

1996

• Supporting impact analysis and change propagation in software engineering environments (J. Han). Technical Report 96-09, Peninsula School of Computing and Information Technology, Monash University, Melbourne, Australia, October 1996.
• A layered architecture for describing information system development methodologies (P.M. Steele and J. Han). In Proceedings of 7th Asutralasian Conference on Information Systems, Hobart, Australia, December 1996, pages 677-688. (paper-ps)
• Classification of and experimentation on tool interfacing in software development environments. (Y. Yang and J. Han). In Proceedings of 1996 Asia-Pacific Software Engineering Conference, Seoul, Korea, December 1996, pages 56-65. IEEE Computer Society Press. (paper-pdf)
• Modelling and performance evaluation of a message and transaction processing protocol in a distributed mobile environment (L.H. Yeo, P. Steele and J. Han). In Proceedings of 5th International Conference on Computer Communications and Networks, Rockville, MD, USA, October 1996, pages 380-385. IEEE Computer Society Press.
• A locking protocol for object oriented databases in software engineering environments (H. Singh and J. Han). Technical Report 96-08, Peninsula School of Computing and Information Technology, Monash University, Melbourne, Australia, May 1996.
• Software development processes for immature organisations (H. Singh, J. Han and S. Sun). In Industry Experience Track Proceedings of 1996 Australian Software Engineering Conference, Melbourne, Australia, July 1996, pages 11-19. (paper-ps)
• Linear orderability of transactions in mobile environment with heterogeneous databases (L.H. Yeo, P. Steele and J. Han). Journal of Computing and Information, 2:707-724, 1996. (paper-ps)
• Modelling software artifacts and their relationships in software engineering environments (H. Singh and J. Han). Technical Report 96-06, Peninsula School of Computing and Information Technology, Monash University, Melbourne, Australia, May 1996.
• Requirements for object management in software engineering environments(H. Singh and J. Han). Technical Report 96-02, Peninsula School of Computing and Information Technology, Monash University, Melbourne, Australia, February 1996.
• Traceability and structural consistency requirements of C++ programs(J. Han and H. Singh). Technical Report 96-01, Peninsula School of Computing and Information Technology, Monash University, Melbourne, Australia, January/June 1996.

1995

• Providing Configuration Management Support in Software Engineering Environments (J. Han). In Proceedings of the 1995 Asia-Pacific Software Engineering Conference, Brisbane, Australia, December 1995, pages 282-291. IEEE Computer Society Press. (paper-pdf)
• A Document-Based Approach to Software Engineering Environments (J. Han). In Proceedings of the 5th International CASE Symposium, Changsha, China, October-November 1995, pages 128-133. (paper-ps)
• Software Requirements Engineering: An Overview (D. Jitnah, J. Han and P. Steele). Technical Report 95-04, Peninsula School of Computing and Information Technology, Monash University, Melbourne, Australia, September 1995.
• The Role of Hypertext in CASE Environments (J. Han). Journal of Computing and Information, 2:947-961, 1995. (paper-ps)
• A Framework for Integration of Hypermedia and CASE (D. Ang, P. Steele and J. Han). Journal of Computing and Information, 2:847-869, 1995. (paper-ps)
• Providing Diagram User Interfaces for Interactive Theorem Proving (J. Han and T. Lin). Symbiosis of Human and Artifact: Human and Social Aspects of Human-Computer Interaction, volume 20B of Advances in Human Factors/Ergonomics, pages 217-222. Elsevier Science Publishers, 1995. (paper-ps)

1994

• Software Documents, Their Relationships and Properties (J. Han). In Proceedings of the 1994 Asia-Pacific Software Engineering Conference, Tokyo, Japan, December 1994. IEEE Computer Society Press. (paper-pdf)
• Representation and Description of Software Documents (J. Han). In Proceedings of IEEE Region 10's Ninth Annual International Conference on Frontiers of Computer Technology, pages 877-881, August 1994. IEEE Press.
• Specifying the Structural Properties of Software Documents (J. Han). Journal of Computing and Information, 1:1333-1351, 1994. (paper-ps)
• Software Documents: Concepts and Tools (J. Welsh and J. Han). Software --- Concepts and Tools, 15(1):12-25, 1994. (paper-ps)
• Methodology Modelling: Combining Software Processes with Software Products (J. Han and J. Welsh). Australian Computer Science Communications, 16(1):601-610, January 1994. (paper-ps)
• Modelling the Engineering Aspects of Interactive Theorem Proving (J. Han). Technical Report 94-05, Peninsula School of Computing and Information Technology, Monash University, Melbourne, Australia, December 1994.
• Software Engineering Environments (J. Han). In Proceedings of Research Conference, Faculty of Computing and Information Technology, Monash University, pages 42.1-42.2, Melbourne, Australia, June 1994.

1993

• Environment Support for Software Consistency (J. Han). In Proceedings of 1993 IEEE Region 10 International Conference on Computer, Communication, Control and Power Engineering, volume I, pages 399-402, Beijing, China, October 1993. International Academic Publishers. (paper-pdf)
• Incorporating Constructive Tools into a Generic Language-Based Editor (A.S.K. Cheng, J. Han, J. Welsh and A. Wood). In Proceedings of 7th Australian Software Engineering Conference, pages 197-208, Sydney, Australia, September/October 1993. (paper-pdf)
• A Presentation Strategy for Rigorous Software Development (J. Han). In Proceedings of 5th International Conference on Human-Computer Interaction, pages 194-194, Orlando, Florida, USA, August 1993.
• Providing User-Oriented Support for Software Development by Formal Methods (A.S.K. Cheng, J. Han, J. Welsh and A. Wood). In Proceedings of 6th International Workshop on Computer-Aided Software Engineering, pages 56-165, Singapore, July 1993. IEEE Computer Society Press. (paper-pdf)
• Object Organisation in Software Environments for Formal Methods (J. Han and J. Welsh). In Proceedings of 4th International Joint Conference on the Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science, pages 299-313, Orsay, France, April 1993. Springer-Verlag. (paper-ps)
• A Review of EVES (J. Chen and J. Han). Technical Report 93-5, Software Verification Research Centre, The University of Queensland, Brisbane, Australia, May 1993. (paper-pdf)

prior to 1993

• Structural Representation of Proofs (J. Han and J. Welsh). In Proceedings of the 6th Australian Software Engineering Conference (ASWEC '91), Sydney, Australia, July 1991, pages 163-176.
• User Interface Requirements for Interactive Verification Systems (J. Han and J. Welsh). In Proceedings of the 5th Australian Software Engineering Conference (ASWEC '90), Sydney, Australia, May 1990, pages 253-258.
• Acting Objects: An Approach to Software Engineering (J. Han and J. Reinfelds). In Proceedings of the 3rd Australian Software Engineering Conference (ASWEC '88), Canberra, Australia, May 1988, pages 477-499.

Pointers

• Jun Han's Home Page
• The Component Software and Enterprise Systems (CeCSES) research group
• Faculty of Information and Communication Technologies at Swinburne University of Technology