Specifying business processes over objects

被引：0

作者：

Hartel, P ^{[1
]}

Jungclaus, R ^{[1
]}

机构：

[1] DEUTSCH TELEKOM, D-53105 BONN, GERMANY

来源：

ENTITY-RELATIONSHIP APPROACH - ER '94 | 1994年 / 881卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

The focus of this paper is on the modeling of application and business processes in Cooperative Information Systems. Such processes use several resources and services to achieve a common, global system goal. We integrate the proposed concepts into the framework of a formal object-oriented specification language (TROLL). The goals of our approach are to provide additional modeling support for business and application processes, to explain these processes in the underlying framework and to couple tightly the modeling of global processes and the modeling of structural aspects of the system.

引用

页码：10 / 27

页数：18

共 50 条

[1] SPECIFYING CONCURRENT OBJECTS AS COMMUNICATING PROCESSES
MISRA, J
SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 159 - 184
[2] Specifying and Verifying Business Processes Using PPML
Regis, German
Aguirre, Nazareno
Maibaum, Tom
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5885 : 737 - +
[3] Specifying instance correspondence in collaborative business processes
Zhao, Xiaohui
Liu, Chengfei
Yang, Yun
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: OTM 2006 WORKSHOPS, PT 1, PROCEEDINGS, 2006, 4277 : 1 - +
[4] Specifying and Monitoring Interactions and Commitments in Open Business Processes
Robinson, William N.
Purao, Sandeep
IEEE SOFTWARE, 2009, 26 (02) : 72 - 79
[5] Automated Refinement of Business Processes through Model Transformations Specifying Business Rules
Popp, Roman
Kaindl, Hermann
2015 IEEE 9TH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE (RCIS), 2015, : 327 - 333
[6] Modeling and Analysis of Business Processes using Business Objects
Lodhi, Azeem
Kassem, Gamal
Rautenstrauch, Claus
2009 2ND INTERNATIONAL CONFERENCE ON COMPUTER, CONTROL AND COMMUNICATION, 2009, : 358 - 363
[7] Specifying Flexible Business Processes Using Pre and Post Conditions
van Grondelle, Jeroen C.
Guelpers, Menno
PRACTICE OF ENTERPRISE MODELING, 2011, 92 : 38 - 51
[8] Development Support for Specifying and Monitoring Goals of Open Business Processes
Robinson, William N.
Purao, Sandeep
2008 INTERNATIONAL WORKSHOP ON SERVICE-ORIENTED COMPUTING: CONSEQUENCES FOR ENGINEERING REQUIREMENTS (SOCCER), 2008, : 53 - +
[9] Visually specifying compliance rules and explaining their violations for business processes
Awad, Ahmed
Weidlich, Matthias
Weske, Mathias
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2011, 22 (01): : 30 - 55
[10] SPECIFYING CONCURRENT OBJECTS
KRAMER, B
SIGPLAN NOTICES, 1989, 24 (04): : 162 - 164

← 1 2 3 4 5 →