2014 | OriginalPaper | Buchkapitel
FMEBP: A Formal Modeling Environment of Business Process
verfasst von : Imed Eddine Chama, Nabil Belala, Djamel-Eddine Saidouni
Erschienen in: Information and Software Technologies
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper proposes a formal environment, named FMEBP, for modeling business processes. This environment is based on a transformation approach that translates Web services, described in BPEL language, to abstract specifications, written in a high-level real-time language called D-LOTOS. The interest of D-LOTOS language is provided from the fact that it is based on true-concurrency semantics and supports both timing constraints and actions durations. For assessing the proposed environment we study a specification of a Web services application.