The workshop shall be a forum for those interested in modeling or software engineering, especially of, for and within business and industry environments. Business and industry environments are important and relevant application domains for modeling and software engineering. Both academics and practitioners can contribute and learn from such a meeting. The fundamental interest is to understand modeling within this area and what environments and applications actually demand from modelers and software engineers.

Communication between users and software engineers is based on models, therefore, the transformation from application domain models to computer science is a major task that we want to discuss during the workshop from may perspectives. Furthermore, software engineering for business and industry has to provide solutions that have to fit special needs of the people in these fields. The mutual dependencies, services, requirements, expectations, solutions etc. between software engineers and business people / people from industry shall be discussed during the workshop.

Last but not least in the context of any organisational institution the roles of modeling within software engineering and how to use software engineering for modeling can also be addressed from various perspectives.

One remark with respect to Petri nets:
Even though MoSEBIn'17 will take place in the context of Petri net oriented conferences, the focus is not on Petri nets. The idea is to present ideas, concepts, modeling techniques, methods, solutions, tools and realized applications from some related fields. Petri nets can of course be mentioned and can be used in contributions, however, if Petri nets play the major role within an intended contribution, please consider to submit the papers to PNSE'17 or contact the chairs of the workshops.

The workshop MoSEBIn'17 (Modeling and Software Engineering in Business and Industry) will take place as a satellite event of Petri Nets 2017 and ACSD 2017.

• Modeling
• formal methods
• meta-modeling
• representation of formal models by intuitive modeling concepts
• guidelines for the construction of system models
• process-, service-, state-, event-, component-, organization-, object-, agent- and actor-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
• models of social concepts, such as norms, rules, contracts, communication, co-ordination, co-operation
• self-reflective models
• relations to other fields, such as artificial intelligence, human-computer-interaction, simulation, robotics, organizational theories, sociology, psychology
• Software Engineering
• approaches
• methodologies
• modeling techniques
• methods
• tools
• theories and concepts
• qualitative and quantitative measurements
• mobile and web applications
• embedded systems
• hardware devices like Arduino, Raspberry Pi, personal devices, sensor systems
• people, teams and groups for cooperation
• distributed development
• education in school, university, governmental institutions or industry
• changes by, in, with, for or through software
• requirements engineering
• adaptive and self-managing systems
• control systems
• software architecture
• industry 4.0
• Modeling techniques for business and industry 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 in practice
• (semi-)formal methods
• modeling techniques and their semantics
• covering concepts such as concurrency, non-determinism, correctness, mobility, distribution etc.
• modeling of organisational theories
• models for Internet of Things concepts
• Business processes and workflows
• modeling notations, language, techniques (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
• process learning
• organisational learning
• organisational challenges
• Web service technologies and mobile devices
• usage of Web services for business environments
• Web services, grid, cloud as technologies for business environments
• formal methods
• 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
• Teaching and training of modeling and software engineering
• Tools, case studies, surveys and applications in the fields mentioned above

Information about how to reach the workshop / conference site and about hotels can be found at the Petri Nets 2017 Venue pages.

The program 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.

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

Just 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 available at the workshop and published online.

In case of any problems please contact us by email at MoSEBIn17_at_informatik_dot_uni-hamburg_dot_de.

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.