Titlebook: Information and Software Technologies; 20th International C Giedre Dregvaite,Robertas Damasevicius Conference proceedings 2014 Springer Int

枯燥

Generating a Business Model through the Elicitation of Business Goals and Rules within a SPEM Approaovering the elicitation of Business Goals and Rules from Process-level Use Cases, and their mapping to a Business Model representation. As a result, a tailorable method for the generation of a solution Business Model, by aligning the resulting trios (PGR) with a Business Model Canvas, is presented and demonstrated in a live project.

小教堂

Object-Oriented Development of Adaptive Workflows for Customer Flow Management Processesures and to support reuse of workflow activities across multiple alternative implementations of workflow execution variants. To illustrate the approach, a prototype of the dynamic luggage registration and online ticket re-registration in case of flight cancellation CFM system is developed.

ADORN

伙伴

Methods for Smart Home Environment‘s Intellectualization: The Comparative Analysis was used to evaluate four different decision making technologies implemented in the models of the intellectualized smart home environment, and the comparison of those experimental technologies prepared by expert is presented.

DEFT

mortgage

FMEBP: A Formal Modeling Environment of Business Process 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.

DUCE

Coronary-Spasm

Strategy Guided Enterprise Architecting: A Case Studyical practical challenges arising in EA architecting and to examine the role of the enterprise IS strategy. The results of this study will be used in further research on development of the approach for the strategic IS change control.

埋葬

Timed Automata with Action Durations – From Theory to Implementationraph (MZG), for describing symbolic execution of daTA. In the implemented tool TaMaZG, daTA description is compiled into a MZG and represented symbolically using the Difference Bounded Matrices data structure (DBM).

ELATE