This document discusses business process modeling and the use of domain-specific languages (DSLs) for modeling. It outlines several types of models according to their usage, including for business process description, defining processes, requirements specification, and as the basis for information system operations. It also discusses ensuring the correctness of models, including checking properties like soundness. The document concludes that defining a DSL and modeling tools is important for implementing modeling in practice and that graphical models are preferred over text. Ensuring model correctness and developing DSLs for specific domains remains challenging.