FSFE 2017 - 4th Workshop on Formal Semantics for the Future Enterprise (FSFE 2017)

Current trends in manufacturing, supply chain management, enterprise architecture management and product servitization are stimulated by emerging paradigms such as Factories of the Future, Smart Enterprises, Industry 4.0 etc. The workshop aims to narrow down and crystallize the characteristics of such relatively informal notions, to consolidate them under the umbrella term of Future Enterprise and to highlight their requirements with respect to semantic technologies and semantic information systems.
The goal of the workshop is to bring together researchers to share knowledge and experiences regarding formal aspects of Future Enterprise information systems, particularly pertaining to knowledge representation, discovery and how machine-readable knowledge can be employed to manage various facets of the enterprise, both at design-time (e.g., descriptions of services, business processes, business context) and at run-time (e.g., workflow execution, service discovery). Disciplines such as Enterprise Modeling, Ontology Engineering, Semantic Web Services and Linked Enterprise Data are expected to converge under the topics proposed by the workshop.
The proposed array of topics is an acknowledgment of the fact that non-ambiguous representation and processing of semantics can be tackled with a wide range of approaches (e.g. conceptual enterprise modeling, knowledge management and discovery, natural language processing, logics) and supported by heterogeneous technologies (e.g. ontologies, modeling languages, semantic lifting tools, process mining and information retrieval algorithms). Therefore, we invite papers which employ such enablers to address challenges pertaining to next-generation enterprise information systems and enterprise virtualization, thus providing opportunities for advancing various facets of Future Enterprises.
Topics of interest
Knowledge acquisition and management in virtual enterprises
Modeling and simulation of manufacturing processes for Factories of the Future
Cloud management and semantics
Semantics for product-service systems
Formal methods for enterprise modeling
Semantic support and context-awareness for collaborative business networks
Description logics for decision support in virtual enterprises
Description, discovery and composition of Semantic Web Services
Description and execution of Semantic Business Processes
Semantic lifting for legacy enterprise systems
Computational semantics and natural language processing for document-based management
Reasoning for automated decision making in virtual enterprises
Linked Data and ontology engineering for collaborative business networks
Semantics of cyberphysical systems in Factories of the Future
Security and access control semantics for virtual enterprise resources