An approach for formal verification of business processes (original) (raw)

The 2009 Spring Simulation Multiconference (SpringSim'09) is an annual conference which covers state-of-the-art developments in computer simulation technologies, as well as scientific, industrial, and business applications. Areas covered include high-performance computing technologies, models and algorithms, GUI visualization technologies, communications and much more. Application disciplines covered include advanced telecommunication; computer systems; military, government & aerospace; environment, energy, and other industries. The conference includes keynote speeches presented by technology and industry leaders, technical sessions, professional development courses and seminars, as well as vendor exhibits. Scientists, engineers, managers, educators, and business professionals who develop or use simulation tools are invited to participate and present original papers. Proposals are solicited for papers, panels, tutorials, workshops, seminars, exhibits, social activities and for other presentation, discussion and sponsorship formats. People are always welcome to benefit by taking an organizing role. SpringSim'09 offers many ways to promote simulation products and to enhance corporate images. You are invited to use the Spring Simulation Multiconference in ways that best serve your interests.