Thursday, March 03, 2011

Paper on Professional Associations accepted at the ACM SIGMIS 2011 Conference

Paper Title: Role of Professional Associations in Preparing, Recruiting, and Retaining Computing Professionals

Abstract:
The purpose of this preliminary study is to investigate an under-explored topic, specifically, the role of professional associations in preparing, recruiting, and retaining computing professionals. Drawing on relevant literature, we identified a comprehensive list of services that should be provided by professional associations in order to prepare, recruit, and retain professionals. Then we assessed several computing professional associations to determine whether they offer those identified services. Our findings show that ACM has better coverage of services, followed by IEEE-CS, AITP, and AIS. This study indicates that computing professional associations have considerable influences on higher educational institutes by establishing curriculum guidelines to prepare professionals, on organizations by organizing career fairs and placement websites to recruit professionals, and on retention by providing professional development opportunities. We propose that more research is needed to gain an in-depth understanding of the role of computing professional associations and to identify unique ways they can influence preparation, recruitment, and retention of computing professionals.

Authors: Karthikeyan Umapathy and Albert D. Ritzhaupt

Conference Link: http://www.sigmis.org/CPR_2011_Home_Page.html

Paper on Web Service Choreography accepted at the DESRIST 2011

Paper Title: Analyzing Web Service Choreography Specifications Using Colored Petri Nets

Abstract:
Enacting cross-organizational business processes requires critical support for long-running and complex interactions involving multiple participants. The Web Services Choreography Description Language (WS-CDL) aims at facilitating just that, by providing means to describe correlated message exchanges among services geared towards achieving a business goal. While WS-CDL specifications are machine-readable documents, they do not necessarily allow developers to determine—by direct inspection—whether or not the patterns of message exchanges they stipulate do indeed describe the intended service behavior. In this research paper, we show how Colored Petri Nets (CPN) can be used to analyze WS-CDL documents in order to identify faults in the specification. We have developed a research prototype that assists in the creation of a CPN model from a given WS-CDL document. The CPN model generated is then analyzed using the formal verification environment and simulation capability provided by CPN-Tools. We provide a discussion on the analysis of an example WS-CDL document using this approach, as well as on the advantages and limitations of using CPN for analyzing WS-CDL specifications.

Authors: Enrique Caliz, Karthikeyan Umapathy, Arturo J. Sánchez-Ruíz, and Sherif A. Elfayoumy

Conference Link: http://www.desrist2011.uwm.edu/