Key research themes
1. How can formal language expressiveness and complexity impact the modeling of regulatory compliance requirements in business processes?
This research area investigates the capabilities and limitations of compliance rule languages for accurately and efficiently representing regulatory requirements in business process models. It addresses the challenge of capturing complex, multi-perspective compliance constraints—including control flow, data, temporal, and resource aspects—in formal notations that can support automation of compliance verification and detection of violations. Understanding expressiveness and complexity balances is crucial for selecting or designing languages that both faithfully model regulations and remain usable by compliance experts.
2. What technological approaches enable effective automated building code compliance checking in the Architecture, Engineering, and Construction (AEC) industry?
This theme focuses on methodologies, toolchains, and data models developed to automate building code compliance checking, aiming at improving accuracy, speed, and transparency over traditional manual processes. Research here explores integration of Building Information Modeling (BIM) with formal rule representations, leveraging interoperability standards such as Industry Foundation Classes (IFC) and regulatory modeling languages, and developing reusable, maintainable frameworks to support complex, performance-based codes. This theme is vital for enhancing regulatory enforcement and boosting productivity in construction.
3. What are the foundational ethical and professional principles influencing software code compliance and quality assurance in engineering practice?
This theme examines how ethical standards, professional codes of conduct, and quality assessment frameworks shape the practice of software engineering, particularly regarding compliance with codes, standards, and quality assurance protocols. It also explores the competencies required for effective code review and the implications of applying quality models like ISO/IEC 9126 to guarantee system reliability and safety. Understanding these principles is fundamental to cultivating integrity, public trust, and continuous professional development within software and engineering disciplines.