ModBE'13

Business environments are a central application domain for modeling approaches. Basic paradigms of these approaches correspond to their central concepts, such as processes, objects, components, agents, services or organizations. Their inherent properties allow an adequate Business/IT-Alignment. Within the models and systems of this alignment several principle notions need to be incorporated, such as distribution, concurrency, correctness and adaptability. In this workshop modeling approaches will be discussed from various perspectives with several means. 

While MODBE'13 (Modeling and Business Environments) will take place as a satellite event of Petri Nets 2013 other modeling techniques than Petri nets and thier means are explicitly welcome. Furthermore, experts from the application domain will challenge the technical and conceptual solutions. MODBE'13 shall provide a forum for researchers from interested communities to investigate, experience, compare, contrast and discuss solutions for modeling in business environments. During the workshop a part of the available time is reserved for a groupwise discussion of challenging questions. 

• Modeling
  • formal methods
  • representation of formal models by intuitive modeling concepts
  • guidelines for the construction of system models
  • representative examples
  • process-, service-, state-, event-, component-, organization-, object- and agent-oriented approaches
  • adaption, integration, and enhancement of concepts from other disciplines
  • views and abstractions of systems
  • model-driven architecture, model-driven development
  • modeling software landscapes
  • web service-based software development
  • modeling paradigms and their implications
  • special modeling concepts, such for mobility, distribution, embedding, flexibility
  • social concepts, such as norms, rules, contracts, communication, co-ordination, co-operation
  • self-reflective models
  • meta-modeling
  • relations to other fields, such as artificial intelligence, human-computer-interaction, simulation, robotics, organizational theories, sociology, psychology
• Petri nets for business environments
  • prototyping, simulation, animation, code generation, execution, testing, efficient implementation
  • verification based on dynamical and structural methods (e.g. model checking, invariants, reduction rules, model transformation)
  • use of theoretical results from Petri net theories
  • (semi-)formal methods
  • Petri net variants and their semantics
  • covering concepts such as concurrency, non-determinism, correctness, mobility, distribution etc.
  • Petri net concepts (dynamic net structures, extensions etc.)
• Business processes and workflows
  • modeling notations, language, techniques (Petri nets, BPMN, BPEL, eEPCs, etc.)
  • complementary enterprise-, data-, role-, resource-, people-, contract-, application-centric modeling notations
  • process verification, validation, execution and simulation
  • formal semantics
  • theoretical foundations of processes
  • process management (systems)
  • adaptivity, exceptions, context-awareness
  • process ontologies
  • process mining
  • inter- and intra-organizational processes
  • human and social perspectives of process modeling
  • technological perspectives, such as Grid, Cloud, Web services
  • embedding of processes in organizations: governance, compliance, business strategies
  • formal methods
• Web service technologies
  • usage of Web services for business environments
  • Web services, grid, cloud as technologies for business environments
  • Petri nets as underlying semantics for Web technology concepts
  • formal methods
  • Petri net methods, techniques and tools for designing social concepts, networks, media and infrastructures
  • standards for business environments
  • protocol specification
  • computing architectures
  • interoperability
  • service specification, composition, discovery, monitoring and control
• Tools, case studies and applications in the fields mentioned above