580 search results - page 3 / 116 » Process Modeling for Object Oriented Analysis Using BORM Obj... |
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
ECOOP
1994
Springer
13 years 11 months ago
1994
Springer
This paper describes our experience in developing a software system for use in the environmental modeling community. The primary user of this software is intended to be a scientis...
SAC
1998
ACM
13 years 11 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...
JOT
2006
13 years 7 months ago
2006
This paper discusses the use of design patterns during the transition phase from analysis to design of object-oriented systems. Pattern mining, which is the process of finding and...
DOOD
1995
Springer
13 years 11 months ago
1995
Springer
Abstract. A simple model for method-based authorization is defined and an algorithm is presented for testing in compile-time whether a given database schema violates authorization...