[DL] ModBE'13: Call for Contributions

[ModBE'13]

                                  ModBE'13

        International Workshop on Modeling and Business Environments

                       Milano, Italy, June 24/25, 2013

                    a satellite event of Petri Nets 2013
    33nd INTERNATIONAL CONFERENCE ON APPLICATION AND THEORY OF PETRI NETS
                               AND CONCURRENCY

                              More information:
           http://www.informatik.uni-hamburg.de/TGI/events/modbe13/
              Contact e-mail: ModBE13 at Informatik.Uni-Hamburg.de
     __________________________________________________________________

                               Important Dates

                 Deadline for full papers: April 10th, 2013
                 Deadline for short papers: April 12th, 2013
               Notification of paper acceptance: May 2nd, 2013
                    Deadline for posters: May 6th, 2013
              Notification of poster acceptance: May 10th, 2013
                Deadline for final revisions: May 21st, 2013
                 Workshop: Monday/Tuesday, June 24/25, 2013
     __________________________________________________________________

                                    Scope

   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 their 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 group wise
   discussion of challenging questions.

     __________________________________________________________________

                                   Topics

   We welcome contributions describing original research that addresses
   open problems or contributions presenting new ideas regarding modeling
   of, for and within business environments.
   Furthermore we also welcome surveys addressing open problems and new
   applications. Topics of interest include but are not limited to:

  * 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
     __________________________________________________________________

                                 Submissions

   The programme committee invites submissions of full contributions
   (up to 20 pages) or short contributions (up to 5 pages). Ongoing work
   (up to 2 pages) can also be presented in a special poster session.

   Please note that for full contributions up to 15 pages are recommended.

   Papers should be submitted in electronic form (PDF) using the Springer
   LNCS-format (see http://www.springer.de/comp/lncs/authors.html).
   Submissions should include title, authors' addresses, E-mail addresses,
   keywords and an abstract. For your submission in PDF format please use
   the online conference management system at

              http://www.easychair.org/conferences/?conf=modbe13

   Just login or create a new account and then upload your paper.
   (Later you will be able to see your reviews there.)

   The papers will be peer reviewed by at least three members of the PC.
   Accepted contributions will be included in the workshop proceedings,
   which will be published online at CEUR-WS.org as one volume.
     __________________________________________________________________

   Some of the best papers from the workshop will be invited for
   publication in a volume of the journal sub line of Lecture Notes in
   Computer Science entitled "Transactions on Petri Nets and Other Models
   of Concurrency" (ToPNoC). The papers are expected to be thoroughly
   revised and they will go through a totally new round of reviewing as is
   standard practice for journal papers. Papers from previous instances
   of Petri Nets workshops made it into ToPNoC volumes in the Springer
   LNCS series (volumes 5100, 5460, 5800, 6550, 6900 and 7400).
     __________________________________________________________________

                                   Chair

        * Daniel Moldt (University of Hamburg, Germany)

                             More information:
          http://www.informatik.uni-hamburg.de/TGI/events/modbe13/
             Contact e-mail: modbe13 at informatik.uni-hamburg.de

-- 
International Workshop: Modeling and Business Environments,
Milano, Italy, June 24/25, 2013
To contact us, please use:

mailto:ModBE13 at Informatik.Uni-Hamburg.de
http://www.informatik.uni-hamburg.de/TGI/events/modbe13
Department of Informatics, University of Hamburg,
Vogt-Koelln-Str. 30, 22527 Hamburg,
Tel: (+49) (0) 40 428 83 -2247  Secr: -2407   Fax: - 2246

see also:
*** Event: Petri Nets and Software Engineering, June 24/25, 2013  ***
*** visit: http://www.informatik.uni-hamburg.de/TGI/events/pnse13 ***