Abstract
Interactive application has been developed rapidly around the world, especially in mobile devices and web applications. There is a need for further integration of research in software engineering and human-computer interaction. Object-Z is used to specify functional requirements whereas task models are employed to modeling UI requirements. The lack of integration of these two related models may introduce redundancies and inconsistencies into the software development process. In this paper, we propose an integrated model, consisting of functional models and task models, for capturing functional and UI requirements. Object-Z is used to capture formal functional requirements and Concur Task Trees is employed to specify the detailed user interactions. Both models are used in a complementary manner and are formally related through input/output variables and nodes of CTT tree. The formal semantics of the integrated model is given with extended finite state automata.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
