Contact Us
We're taking you to another TCS website now.
Formal Methods for Analysis of Business Systems (ForMABS 2016)

Formal Methods for Analysis of Business Systems (ForMABS 2016)

 
Date
Sep 3, 2016
Add to Calendar 2016-09-03 13:30:00 2016-09-03 14:30:00 Europe/London Formal Methods for Analysis of Business Systems (ForMABS 2016) The purpose of the workshop is to solidify above research area and community. Singapore

Event Details

Workshop Co-located with ASE 2016

Call for Papers  | Submission | 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  

Location

Singapore