Seventh OOPSLA workshop on behavioral semantics of OO business and system specifications.
Haim KilovBernhard RumpeIan SimmondsPublished in: OOPSLA Addendum (1998)
Keyphrases
- specification language
- object oriented
- programming language
- operational semantics
- control flow
- formal semantics
- information systems
- conceptual models
- formal language
- electronic commerce
- business process
- business rules
- business processes
- business process models
- data mining
- selected papers
- attribute grammars
- high level
- conceptual modeling
- formal specification
- object oriented modeling
- international workshop
- conceptual model
- business intelligence
- query language
- decision making
- database schema
- business models
- semantic information
- international conference
- logic programming
- knowledge management
- transformation rules
- data model
- specification languages
- software engineering
- delay insensitive