The goal of this project is to investigate and develop formal techniques and tools for automatic design and construction of composite systems (e.g., Web Services) from a set of functional and non-functional requirements. The research activities of the group are supported in parts by US National Science Foundation grants CCF 1143734 and CCF 0702758.
Members
Faculty & Post Doc: Samik Basu, Vasant Honavar, Robyn Lutz and Ganesh Ram Santhanam
Students
- Zachary Oster (PhD): Requirements Analysis and Preferences
- Carl Chapman (BS Software Engineering): Interface for Qualitative Preference Reasoning
- Katarina Mitchell (BS Computer Engineering): Interface for Multi-stakeholder Qualitative Preference Reasoning
Alums
- Sayaan Mitra (PhD): Adobe
- Hongyu Sun (PhD):
- Yogesh Nadkarni (MS): Pegasystems, Inc.
- Jyotishman Pathak (PhD): Mayo Clinic
Collaborating Labs and Groups
- Formal Methods and Verification Group at ISU
- Laboratory of Software Safety at ISU
- Artificial Intelligence Laboratory at ISU
Tools
† undergraduate student
‡ graduate student
Service Composition Tools
Participants: Zachary Oster‡, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar, Robyn Lutz, Syed Adeel Ali (Univ. of Auckland) and Partha Roop (Univ. of Auckland)
Service Substitution Tools
Participants: Zachary Oster‡, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar and Robyn Lutz
iPref-R: Qualitative Preference Reasoning using SMV
Participants: Ganesh Ram Santhanam, Samik Basu, Vasant Honavar and Robyn Lutz
Graphical User-Interface for iPref-R Preference Reasoner
Participants: Katarina Mitchell†, Carl Chapman†, Samik Basu, Ganesh Ram Santhanam, Zachary Oster‡
Preferences in Goal-Oriented Requirements Engineering
Participants: Zachary Oster‡, Ganesh Ram Santhanam, Samik Basu, Vasant Honavar and Robyn Lutz