Concurrent
Software Engineering Laboratory 
Director: Dr. Haiping Xu
Computer and Information Science Department
University of Massachusetts Dartmouth
Research Scope
The Concurrent Software Engineering Laboratory (CSEL) performs research activities
in modeling, design, development, and analysis of concurrent software systems,
including parallel and distributed computing systems. This includes research
in distributed software engineering, formal methods, flexible manufacturing
systems, workflow management systems, web services, and multi-agent systems.
-
The research work in distributed software engineering covers many topics
related to requirements specification and analysis, architecture design,
verification and validation. Areas of focus include design and analysis
methods for distributed object systems, parallel algorithms, multi-agent
software, performance metrics for concurrency models, and techniques and
tools for testing of concurrent software systems.
-
One
area of emphasis is the theory and applications of Petri
nets, a formal graph model for concurrency and coordination by using
various forms of Petri nets and automata, including systems that require
annotations of time, costs, and resource allocation.
-
Study of structural and behavioral properties of Petri net morphisms and
their applications in analysis, decomposition, and synthesis of concurrent
systems is part of a broader interest in formal conceptual modeling of parallel
and distributed systems. Another interest is in efficient parallelization
of sequential algorithms or programs.
-
Part of the research in verification seeks new approaches to improve the
effectiveness of automated system verification using temporal logic and
model checking algorithms.
-
Research
in service-oriented computing includes model-based service composition, mobile cloud computing, agent-based web services, and web services security.
-
Research
related to multi-agent systems focuses on model-based agent development
and agent-oriented software engineering. Some specific
research issues in this area include formal specification and prototyping
of multi-agent systems; model-based development of agent-oriented software,
including design and implementation of software agents; and real-world applications
of agent technology.
Publications
Refer to http://www.cis.umassd.edu/~hxu/Papers/publications.html
Graduate Students
Refer to http://www.cis.umassd.edu/~hxu/Projects/gradstudents.html
Gant Activities
Refer to http://www.cis.umassd.edu/~hxu/Projects/funding.html
Administrative/Support Staff
Lab Manager: Jean F. Rahme (Email:
jrahme@umassd.edu)
Technician:
Paul Naylor
(Email: pnaylor@umassd.edu)
Former Lab Manager: Arturo Li (graduated in May 2013)
Location
101C Textile Building
285 Old Westport
Rd. (map-1)(map-2)(map-3)
University of Massachusetts Dartmouth
(508) 910-6285
Useful Links
SEWORLD Mailing List for the Software Engineering Community
Petri Nets World: Online Services for the International Petri Nets Community
Petri Nets Mailing Lists for the Petri Nets Community
Haiping Xu
Last modified:
September 18, 2013
