Formal Methods for Analysis of Business Systems (ForMABS 2016)



ASE 2016 Website Call for Papers | Submission | Registration |  Program | Travel | Committee |     

Business Systems typically consist of processes that are constrained by business rules and execute steps that implement the core operational processes. Most enterprises have their processes automated using custom or packaged software, running on their proprietary hardware, or on cloud. Such automated processes are core to the enterprises; any failures cost heavily and may impact the supply-chain of the enterprise.

In the era of Digital, availability of huge data, and various kinds of analytics drive the businesses to become more and more competitive, and anticipate the software systems that automate the business to be very agile and quickly changeable, as per modified needs. Such needs can result in changes to processes or rules, changes in technologies that enable more efficient processes, inducting new processes or replacing old systems with new ones. Representations and specifications for processes and rules, mining such specifications from business systems and their documentation, methods and techniques to verify the specifications and the systems, transforming such specifications are some of the critical work spaces in this problem space.

The purpose of the workshop is to solidify above research area and community. The long term aim is to bring together academic researchers and industry practitioners working in related fields to discuss the current state of research, common on-the-field problems, exchange ideas, discover new opportunities for collaboration, and envision new sub-areas for research, applications, and approaches.

Workshop program is announced. Please check Program Page

Important Dates

  • Deadline for submitting papers: 20 June, 2016
  • Notification of accepted papers: 15 July, 2016
  • Authors registration deadline :  22 July, 2016
  • Camera-ready paper: 31 July, 2016
  • ForMABS workshop: 4 September, 2016

Accepted papers will be published in ACM Digital Library

Conference registration is now open. Please visit ASE 2016 Website to Register