ALPP 2015 - Workshop on Action Languages, Process Modeling, and Policy Reasoning

Action languages are formal models for reasoning about actions developed in the Artificial Intelligence community. Examples of actions languages are STRIPS, ADL, the situation calculus, the event calculus, the fluent calculus, temporal action logics, PDDL, and A-family languages, such as A, B, C, C+, and AL, as well as direct encoding of action domains in ASP. Such action languages enable formal reasoning about actions and their effects, and several effective implementations are available.
On the other hand, there are also various semi-formal languages developed in software engineering and security areas for modeling processes and specifying policies. Such languages are mainly developed for representing various specific requirements for practical applications, and many of them are industry standards. Typically their semantics are described in English statements and diagrams, and formal description is often lacking. Examples of these languages are UML, BPMN, BPEL4WS, WSDL, and XACML.
Both kinds of languages share some common aims with complementary perspectives. There are various formal reasoning tasks developed in action languages that may benefit process modeling and policy analysis. Various needs arisen from specific applications may identify the shortcomings of the current progress of action languages.
The aim of ALPP 2015 is to bring together people from different communities (such as the Artificial Intelligence and Software Engineering, among others), including theorists and practitioners, and to provide a unique opportunity to share their perspectives with others interested in the various aspects.
Topics of interests include (but are not limited to):
- action languages for process modeling
- action languages for policy representation & reasoning
- formal analysis of process and policies
- relating action languages to process modeling languages
- relating action languages to policy languages