Information About

Research

Memberships

Personal

Research Links

Useful Resources

Research Pointers

Social Networking

LinkedIn
Flickr
Twitter
Guest Book

Muhammad Imran Abbasi PhD Research Student,Computing Science
Department of Computing Science University of Glasgow, Scotland Office G-123 17 Lilybank Gardens    Glasgow, G12 8QQ +44 (0).141.330 8573 Tel || +44 (0) 77800 48072 Cell imran@dcs.gla.ac.uk || www.dcs.gla.ac.uk/~imran My office hours*(08:30-17:30)	ACM IEEE IET IPL Nature MIT AIS Bing NYT BBC SE Radio
Hi I am working as a researcher at School of Computing Science University of Glasgow, Scotland United Kingdom. My research mainly focuses on Modelling and Analysis of Feature Interactions involved in Service Oriented Product Lines. Service Oriented Product Lines provides a flexible way to model Service Composition Processes to develop more customized Composite Web Services. I am particularly interested in integrating the popular modelling and analysis paradigms used for (software and information systems design) such as Feature Modelling, Goal Modelling,and Formal Techniques (Software Abstractions), and their useful fusion to model and analyse Services Oriented Systems. One obvious practical reason of using the formal methods is that, they give a way of designing trustable safety- and security-critical systems. These are systems in which we need to have the highest possible confidence. Therefore, an integrated framework (Feature Modelling & Formal Methods) can provide an efficient way to detect and resolve undesired interactions among the features of Web Services in a systematic way, and hence producing quality oriented feature interaction free web services as a result Research Interests Specification and Analysis of Feature-Interactions in Service Oriented Systems Software Product Lines Engineering / Service Oriented Product Lines Engineering (SOPLE) Process Mining Approaches Formal Methods / SAT Solvers Techniques Web Mining Approaches For a comprehensive introduction about the mentioned research areas Please Go Here! Conferences / Seminars Attended International Summer School on Business Processes & Software Engineering Ciudad Real (Spain) July 07-12 , 2008 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems Bertinoro (Italy), June 1-6, 2009 PerAda International Summer School on Pervasive Adaptation, Edinburgh, Scotland, June 20-26 , 2009 ACM-BCS Visions of Computer Science 2010, University of Edinburgh, Scotland, 13-16 April 2010 SICSA PhD Conference 2010, University of Edinburgh, Scotland, 09-11 June 2010 14th International Software Product Line Conference, Jeju Island, South Korea, September 13-17, 2010 International Conference for SOA, BPM, Agile Best Practices, Bangalore India , Nov 28-Dec 03,2008 Publications Publications listed in chronological order and research areas. Teachings Fall 2012 Computer Systems 2 Fall 2013 Information Management 2 Fall 2013 Algorithmics 3 Spring 2014 Database Systems 3 The Only Thing Greater Than the Power of the Mind is the Courage of the Heart. It is only in the mysterious equation of love that any logical reasons can be found. Copyright © M.Imran 2014. All rights reserved.   This site can be best viewed in Mozila Fiirefox and Safari browsers.                                                                                   Last modified : 28 November 2015