Carl K. Chang
Professor and Chair

Office: 226 Atanasoff Phone: (515) 294-4377 Fax: (515) 294-0258 Email: chang@cs-DOT-iastate-DOT-edu (replace "-DOT-" with ".") Homepage: http://www.cs.iastate.edu/~chang/

Current Affiliations

• Professor and Chair, Department of Computer Science, Iowa State University
• Editor-in-Chief, IEEE Computer (2007-present)
• 2004 President, IEEE Computer Society
• Member, European Academy of Sciences
• Fellow, AAAS, American Association for the Advancement of Science
• Fellow, IEEE, Institute for Electrical and Electronic Engineers
• Advisory Council Member, ISOC, Internet Society
• Member, Advisory Board, Information Technologies and Control, UAI, Bulgarian Academy of Sciences

Biographical Sketch

Carl K. Chang was 2004 IEEE Computer Society President. Upon completing his presidency for the Computer Society, he was appointed to be the 2005 Chair of the IEEE Meetings and Services Committee reporting to the IEEE Board of Directors. He is currently serving as the Editor-in-Chief for IEEE Computer - flagship publication of the Computer Society. Previously he served as the Editor-in-Chief for IEEE Software (1991-94). Chang is Professor and Chair of the Department of Computer Science at Iowa State University. He received a PhD in computer science from Northwestern University. He worked for GTE Automatic Electric and Bell Laboratories before joining the University of Illinois at Chicago in 1984, where he directed the International Center for Software Engineering. He served as Professor and Director for the Institute for Mobile, Pervasive, and Agile Computing Technologies (IMPACT) at Auburn University from 2001-2002, before moving to Iowa State University in July 2002. His research interests include requirements engineering, software architecture, and net-centric computing, and he has published extensively in these areas. He is a founding member of the IEEE International Requirements Engineering Conference (RE). He has served on the steering committee of IEEE RE conferences and as general chair of ICRE2000 and RE’03. He is also the chair of the steering committee for the IEEE-CS/IPSJ International Symposium on Applications and the Internet (SAINT), having served as the program chair of SAINT2002 and general chair of SAINT2003. In 2005 he serves the General Chair for IEEE International Conference on Web Services (ICWS) and IEEE International Conference on Services Computing (SCC). Chang is also active in educational activities and spearheaded the Computing Curricula 2001 (CC2001) project jointly sponsored by the IEEE Computer Society, ACM, and the National Science Foundation. He is Fellow of both IEEE and AAAS, and now serves on the Advisory Council of the Internet Society (ISOC). In 2006 he received the prestigious Marin Drinov Medal from the Bulgarian Academy of Sciences. He is also recipient of the prestigious 2006 IBM Faculty Award that was renewed in 2007 and 2009.

Research Interests

Requirements Engineering, Services Computing, Software Evolution, Software Architecture, Web based Collaboration, Project Management

Research Areas

Distributed Computing and Networks, Software Engineering, Software Systems, Human Computer Interaction, Services Computing

Research Statement

Carl K. Chang often conducts SE research following the “classical” approach based on formal methods, such as Petri nets, temporal logic and model checking, with an aim towards improved software development methodologies. In this direction, he has focused on topics including requirements engineering, software architecture, and specification-based testing. As software systems become more pervasive and grow in both size and complexity every day, requirements engineering and architecture design evolve into a daunting and involved human endeavor, Chang expects to engage in new research challenges continually emerging and requiring more research effort.

Since 2003, Chang has branched into services computing research, making extensive contacts on the way and contributing to this growing community. Chang’s research interests in services computing include dynamic composition and QoS issues of web services, requirements analysis and decomposition of service-oriented architecture with aspects, and service pricing strategies for a competitive web services market. The more he researches in the services computing field, the more he began to feel that the human dimension has not been adequately explored. Therefore, he led his research group in the development of a human intention-centric situation-theoretic service evolution framework named Situ. In this framework, he came up with a computational model of human intentions and situations based on a “situation theory” that has its root in the logicians’ situation research. Much more work is still needed but the paper on Situ should be regarded as a major departure from the prevailing research in context-aware and situation-aware software systems, and has laid a foundation for future “rapid service evolution” research.

Chang has also ventured into “non-classical” SE research that bridges over to other computer science fields. In particular he is among the pioneers in “Search Based Software Engineering” (SBSE), as in the early 1990s he published perhaps some of the earliest papers that integrated evolutionary computation methods with software engineering methodology. His early work in this area addressed the optimal task assignment problems in project management with genetic algorithms. In his editor-in-chief’s message published with IEEE Software in 1994 (11:1, pp. 4-5) he advocated “Changing Face of Software Engineering.” Please refer to the SEBASE Project for more information on this research community, and check the SEBASE Repository for many SBSE related papers.

From time to time, Chang investigates an interesting topic that is not necessarily in his “mainstream” research work. In addition to systems research, he has published a variety of papers covering computer security, multimedia systems, cellular switch simulation, performance engineering, RAID based data storage and retrieval scheduling.

Education

Ph.D.   Computer Science, Northwestern University, Evanston, Illinois   1982
M.S.   Computer Science, Northern Illinois University, DeKalb, Illinois   1978
B.S.   Mathematics, National Central University, Taiwan   1974

Honors and Awards

Marin Drinov Medal  "For his great scientific achievements in the field of software technologies and for his contributions to the scientific cooperation between American and Bulgarian scientists in the field of computer technologies", Bulgarian Academy of Sciences, 2006

IBM Faculty Award  "Recognizes the quality of Chang's program and its importance to the computer industry", IBM, 2006-2009

AAAS Fellow  "For excellence in computer science and software engineering research, for distinguished contributions to the development of modern computer science curricula, and for exemplying leadership in serving professional societies in the world of computing", AAAS, 2004

Best Research Paper  "Best Research Paper (acceptance ratio: 20%)", Program Committee, Joint International Requirements Engineering Conference, 2002

Meritorious Service Award  "For Strong Leadership and unswerving dedication to the Society above and beyond the normal call of duty in the year 2000", IEEE Computer Society, 2001

IEEE Fellow  "For seamless integration of Petri-net oriented techniques to support project management", IEEE, 2001

Distinguished Visitor  IEEE Computer Society, 2000-2002

IEEE Third Millennium Medal  "In recognition of his research contributions in the areas of software and software development", 2000

Golden Core Award  IEEE Computer Society, 1996

Outstanding Contribution Award  "For outstanding accomplishments to re-vitalize IEEE Software magazine by establishing an active Industrial Advisory Board and an invigorating Editorial Board to cooperate amicably and effectively", IEEE Computer Society, 1995

Outstanding Leadership Award  "In recognition of his outstanding leadership as the President of CAPAMA 1993-94 and the Conference Chair at ICAST 94", Chinese Academic and Professional Association in Mid-America, 1995

Certificate of Appreciation  "For outstanding service and exemplary performance as IEEE Software Editor-in-Chief (1991-94)", IEEE Software Editorial Board and IEEE Software Industrial Advisory Board, 1991

Current Grants

CPATH 1: Experimenting with an Open Platform for the New Interdisciplinary Study on Gerentechnology. Carl K. Chang (PI) et al. National Science Foundation (2009-2010). $149,472.

Travel Grant Support for IEEE COMPSAC 2008. Carl K. Chang (PI) and Simanta Mitra (Co-PI). National Science Foundation (2008-2009). $14,400.

Representative Publications

Refereed Journal and Conference Publications

Carl K. Chang, Hsinyi Jiang, Hua Ming and Katsunori Oyama. Situ: A Situation-theoretic Approach to Context-Aware Service Evolution. IEEE Transactions on Services Computing, IEEE Computer Society. Vol. 2. No. 3. pp. 261-275, 2009.

Tae-Hyung Kim, Carl K. Chang and Simanta Mitra. Design of Service-Oriented Systems using SODA. IEEE Transactions on Services Computing, IEEE Computer Society, Accepted, 2009.

Hua Ming, Katsunori Oyama and Carl K. Chang. Human-Intention Driven Self Adaptive Software Evolvability in Distributed Service Environments. IEEE International Workshop on Future Trends of Distributed Computing Systems, Kunming, CHINA, Computer Society Press, Accepted, 2008.

Hsin-yi Jiang, Tien Nguyen, Ing-xiang Chen, Hojun Jaygarl, and Carl K. Chang. Incremental Latent Semantic Indexing for Effective, Automatic Traceability Link Evolution Management. IEEE/ACM International Conference on Automated Software Engineering (ASE), L'AQUILA, ITALY, Accepted, 2008.

Hsin-yi Jiang, Katsunori Oyama and Carl K. Chang. An Input Adjustable Tree Algorithm for Evolutionary Testing. 32nd IEEE Annual International Computer Software and Applications Conference (COMPSAC 2008), Turku, FINLAND, IEEE Computer Society Press. pp. 124-127, 2008.

Katsunori Oyama, Carl K. Chang, Hojun Jaygal, Atsushi Takeuchi, Jinchun Xia and Hiroshi Fujimoto. A Human-machine Dimensional Inference Ontology that Weaves Human Intentions and Requirements of Context Awareness Systems. 32nd IEEE Annual International Computer Software and Applications Conference (COMPSAC 2008), Turku, FINLAND, IEEE Computer Society Press. pp. 287-294, 2008.

Katsunori Oyama, Carl K. Chang, Hojun Jaygal, Atsushi Takeuchi, Jinchun Xia and Hiroshi Fujimoto. Requirements Analysis Using Feedback from Context Awareness Systems. 2nd IEEE International Workshop on Requirements Engineering (REFS'08), co-located and published with IEEE COMPSAC 2008, Turku, FINLAND, IEEE Computer Society Press. pp. 625-630, 2008.

Liang-Jie Zhang and Carl K. Chang. Towards Services Computing Curriculum. IEEE Congress on Services 2008, Honolulu, HAWAII, IEEE Computer Society Press. pp. 23-32, 2008.

Sumi Helal, Simanta Mitra, Johnny Wong, Carl K. Chang and Mounir Mokhtari (Eds.). Smart Homes and Health Telematics. LNCS 5120, Springer, 2008.

Hojun Jaygal, Katsunori Oyama, Jinchun Xia and Carl K. Chang. HESA: A Human-Centric Evolvable Situation-Awareness Model in Smart Homes. International Conference on Smart Homes and Health Telematics, Ames, IOWA, Springer. pp. 153-160, 2008.

José M. Reyes Álamo, Johnny Wong, Ryan Babbitt and Carl Chang. MISS: Medicine Information Support System in The Smart Home Environment. International Conference on Smart Homes and Health Telematics, Ames, IOWA, Springer. pp. 185-199, 2008.

Carl K. Chang, Hsin-yi Jiang, Yu Di, Dan Zhu and Yujia Ge. Time-line based model for software project scheduling with genetic algorithms. Information and Software Technology, Elsevier. Vol. 50. pp. 1142-1154, 2008.

Shuxing Cheng, Carl K. Chang, Liang-Jie Zhang. Stochastic Modeling Study for Competitive Web Services Market. ICWS 2007, Salt Lake City, IEEE. pp. 960-967, 2007.

Shuxing Cheng, Carl K. Chang, Liang-Jie Zhang. Modeling and Analysis of Performance Oriented and Revenue Based Admission Control Framework for Service Providers. SCC 2007, Salt Lake City, IEEE. pp. 9-16, 2007.

Hsinyi Jiang, Tien N. Nguyen, Carl K. Chang, Fei Dong. Traceability Link Evolution Management with Incremental Latent Semantic Indexing. COMPSAC 2007, Beijing, China, IEEE. pp. 309-316, 2007.

J. Zhang, C.K. Chang, P.C.K. Hung, and L.-J. Zhang. Phased Transformation toward Services-Oriented Architecture. IEEE Transactions on Systems, Man, and Cybernetics, Part A, IEEE. Vol. 37. No. 6. pp. 955-969, 2007.

Shuxing Cheng, Carl K .Chang, Liang-Jie Zhang and Tae-Hyung Kim. Towards Competitive Web Service Market. 11th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS), Sedona, Arizona, IEEE. pp. 213-219, 2007.

Hsinyi Jiang, Carl K. Chang, Jinchun Xia, Shuxing Cheng. A History-Based Automatic Scheduling Model for Personnel Risk Management. COMPSAC 2007, Beijing, China, IEEE. pp. 361-366, 2007.

Jinchun Xia, Carl K. Chang, T.H. Kim, Hen-I Yang, Raja Bose and Sumi Helal. Faultresilient Ubiquitous Service Composition. the third IET International Conference on Intelligent Environments (IE'07), Ulm, Germany, Springer Verlag, 2007.

Hsinyi Jiang, Carl K. Chang, Dan Zhu, Shuxing Cheng. A Foundational Study on the Applicability of Genetic Algorithm to Software Engineering Problems. IEEE Congress on Evolutionary Computation (CEC), Singapore, IEEE. pp. 2210-2219, 2007.

Jinchun Xia and Carl K. Chang. Performance-driven Service Selection Using Stochastic CPN. IEEE 2006 John Vincent Atanasoff International Symposium on Modern Computing (JVA 2006), Sofia, Bulgaria, IEEE. pp. 99-104, 2006.

J. Xia, C.K. Chang, J. Wise, and Y. Ge. An Empirical Performance Study on PSIM. The Computer Journal, Oxford University Press. Vol. 49. No. 5. pp. 509-526, 2006.

R. Babbitt, J. Wong, C. Chang and S. Mitra. Privacy Management in Smart Homes: Design And Analysis. International Conference on Aging, Disability and Independence, St. Petersburg, Florida. pp. 55-64, 2006.

C.K. Chang, J. Zhang, and K.H. Chang. Survey of Computer Supported Business Collaboration in Support of Business Processes. International Journal of Business Process Integration and Management (IJBPIM). Vol. 1. No. 2. pp. 76-100, 2006.

Tae-Hyung Kim and Carl K. Chang. An Aspect-Oriented Approach to Resource Composition in Petri net-based Software Architectural Models. 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), Chicago, IEEE. pp. 87-94, 2006.

Tae-hyung Kim, Carl K. Chang. Service-Oriented Design with Aspects (SODA). IEEE Int'l Conf. Services Computing (SCC 2005), Orlando, FL, IEEE. pp. 319-324, 2005.

Jinchun Xia, Yujia Ge, Carl K. Chang. An Empirical Performance Study for Validating a Performance Analysis Approach: PSIM. 29th Annual International Computer Software and Applications Conference (COMPSAC 2005), Edinburgh, Scotland, UK, IEEE. pp. 307-312, 2005.

Jia Zhang, Carl K. Chang, and Jeff Voas. Uniform Meta-Model for Mediating Formal Electronic Conferences. IEEE 28th Ann. Int'l Computer Software and Applications Conference (COMPSAC 2004), Hongkong, IEEE. pp. 376-381, 2004.

J. Zhang, C.K. Chang, J.-Y. Chung, and S.W. Kim. S-Net: A Petri-net Based Specification Model for Web Services. IEEE International Conference on Web Services (ICWS 2004), San Diego, CA, USA, IEEE. pp. 420-427, 2004.

Carl K. Chang and Tae-Hyung Kim. Distributed Systems Design using Function-Class Decomposition with Aspects. 10th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2004), Suzhou, IEEE. pp. 148-153, 2004.

Carl K. Chang and Tae-hyung Kim. Distributed Systems Design using Function-Class Decomposition with Aspects. the 10th International Workshop on Future Trends of Distributed Computing Systems (FTDCS2004), Suzhou, China,, IEEE. pp. 148-153, 2004.

Jia Zhang, Jen-Yao Chung, and Carl K. Chang. Towards Increasing Web Application Productivity. ACM Symposium on Applied Computing (SAC 2004), Nicosia, Cyprus, ACM. pp. 1677-1681, 2004.

Jia Zhang, Jen-Yao Chung, and Carl K. Chang. Migration to Web Services Oriented Architecture - a Case Study. ACM Symposium on Applied Computing (SAC 2004), Nicosia, Cyprus, ACM. pp. 1624-1628, 2004.

Jia Zhang, Carl K. Chang, and Jen-Yao Chung. Mediating Electronic Meetings. Proc. of IEEE COMPSAC 2003, Dallas, Texas, USA. pp. 216-221, 2003.

Jia Zhang, Carl K. Chang, and Jen-Yao Chung. Mockup-Driven Fast-Prototyping Methodology for Web Requirements Engineering. Proc. of IEEE COMPSAC 2003, Dallas, Texas, USA. pp. 216-221, 2003.

Jane Huang-Cleland, Carl K. Chang, and Mark Christensen. Event-Based Traceability for Managing Evolutionary Change. IEEE Transactions in Software Engineering, IEEE Computer Society Press. Vol. 29. No. 9. pp. 796 - 810, 2003.

J. Cleland-Huang, C. K. Chang, and J. Wise. Automating performance-related impact analysis through event based traceability. Requirements Engineering Journal, Springer-Verlag. Vol. 8. No. 3. pp. 171 - 182, 2003.

J. Zhang, C.K. Chang, K.H. Chang, and F. Quek. Rule-mitigated Collaboration Framework. the 8th IEEE Symposium on Computers and Communications (ISCC 2003), Kemer-Antalya, Turkey. pp. 614-619, 2003.

Lie Cai, Carl K. Chang, and Jane Cleland-Huang. Supporting Agent-based Distributed Software Development through Modeling and Simulation. Prof. of 2003 IEEE Workshop on Future Trends of Distributed Computing Systems, San Juan, Puerto Rico. pp. 56-62, 2003.

Cleland-Huang, J.; Chang, C.K.; Sethi, G.; Javvaji, K.; Haijian Hu; Jinchun Xia. Automating speculative queries through event-based requirements traceability. Proc. IEEE Joint Int'l Conf. Requirements Eng. (RE’02), Essen, Germany. pp. 289-296, 2002.

Jane Huang-Cleland, Carl K. Chang, and Yujia Ge. Supporting Event Based Traceability through High-Level Recognition of Change Events. Proc. of IEEE COMPSAC 2002, Oxford, UK. pp. 595-600, 2002.

Carl K. Chang, Jane Cleland-Huang, Shiyan Hua and Annie Combelles. On Function-Class Decomposition. IEEE Computer. pp. 87-93, 2001.

Chia-Song Ma, Carl K. Chang, Jane Cleland-Huang. Measuring the Intensity of Object Coupling in C++ Programs. Proc. of IEEE COMPSAC 2001, Lisle, Illinois. pp. 538-543, 2001.

Carl K. Chang, Jia Zhang, and Tsang Ming Jiang. Formalization of Computer Supported Cooperative Work Applications. Prof. of 2001 IEEE Workshop on Future Trends of Distributed Computing Systems, Bologna, Italy. pp. 185-191, 2001.

Jane Cleland-Huang, Carl K. Chang, Hosung Kim and Arun Balakrishnan. Requirements-Based Dynamic Metrics on Object-Oriented Systems. Proc. of IEEE International Symposium on Requirements Engineering, Toronto, Canada. pp. 212-219, 2001.

Carl K. Chang, Tao Zhang and Mark Christensen. Genetic Algorithms for Project Management. Annals of Software Engineering, Kluwer Academic Publishers. Vol. 11. pp. 107-139, 2001.

Jane L. Huang and Carl K. Chang. Supporting the Partitioning of Distributed Systems with Function Class Decomposition. Proc. of IEEE COMPSAC 2000, Taipei, Taiwan. pp. 351-356, 2000.

Carl K. Chang and Mark Christensen. Net Practice in Software Project Management. IEEE Software. Vol. 16. No. 6. pp. 80-88, 1999.

Carl K. Chang and Seongwoon Kim. I3:A Petri-net based Specification Method for Architectural Component. Proc. of IEEE COMPSAC’99, Phoenix, Arizona. pp. 396-402, 1999.

Carl K. Chang, Gerald Engel, Willis King, Eric Roberts, Russ Shackelford, Robert H. Sloan, and Pradip K. Srimani. Curricula 2001: Bringing the Future to the Classroom. IEEE Computer. Vol. 32. No. 9. pp. 85-88, 1999.

Carl K. Chang, Francis Quek, Lie Cai, Seongwoon Kim and Annie Kunzmann-Combelles. A Research on Collaboration Net. Proc. of 1997 IEEE Workshop on Future Trends of Distributed Computing Systems, Tunis, Tunisia. pp. 228-233, 1997.

Carl K. Chang, Yi-Te Tseng, and Ugo Buy. Compiling Process Algebraic Specifications Into Timed Automata. Proc. of IEEE COMPSAC'97, Washington, DC. pp. 338-343, 1997.

Carl K. Chang and Chiao-Chuan Shih. Reducing the System Response Time of a Large-scale VOD Server by Disk Grouping. Proc. of IEEE ICCASS '96 (International Conference on Circuits and Systems Symposium), Shanghai, China, 1996.

Book Chapters

H. Yang, R. Bose, A. Helal, J. Xia, and C. Chang. Fault-Resilient Pervasive Service Composition. In: Advanced Intelligent Environments (Ed. H. Hagrass), Springer Verlag 2008.

J. Zhang, C.K. Chang, and S.W. Kim. A Petri Net-Based Specification Model towards Verifiable Services Computing. In: A Petri Net-Based Specification Model towards Verifiable Services Computing, Idea Group Inc, Hershey, PA, USA 2006.

R. Babbitt, J. Wong, S. Mitra, and C.K. Chang. Privacy Management in Smart Homes: Design and Analysis. In: Promoting Independence for Older Persons with Disabilities (Assistive Technology Research Series, Volume 18), William C. Mann and Abdelsalam Helal, Eds. IOS Press 2006.

R. Babbitt, D. Lu, C. Chang and J. Wong. Requirements Engineering for Smart Homes to Support Successful Aging, Disability and Independence. In: Annals of The European Academy of Sciences, EAS Publishing House 2005.

Carl K. Chang and Yujia Ge. Genetic Algorithm Techniques and Applications in Management Systems. In: Intelligent Knowledge-Based Systems, Vol. 5, pp. 213-233, Kluwer Academic Press 2004.

Dingding Lu, Robyn R Lutz, and Carl K Chang. Deriving Safety-related Scenarios to Support Architectural Evaluation. In: Software evolution with UML and XML, Idea Group Inc, Hershey, PA, USA 2004.