第二届ECOOP精确行为语义研讨会（侧重于OO业务规范）
Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Specifications)
摘要：
业务规范对于描述和理解业务（特别是业务规则）是必不可少的，与用于其可能的自动化的任何计算系统无关。他们必须以清晰、精确和明确的方式表达这种理解，以便作为业务领域专家和软件开发人员之间的共同基础。它们还为所有企业（从金融到电信）或大量企业共同的概念和结构（“模式”）的重用提供了基础，这样做可以节省智力、时间和金钱。此外，这些模式大大简化了在与业务客户进行漫游期间对业务规范的获取和验证，并支持使用视点分离关注点。
英文摘要：
Business specifications are essential to describe and understand businesses (and, in particular, business rules) independently of any computing systems used for their possible automation. They have to express this understanding in a clear, precise, and explicit way, in order to act as a common ground between business domain experts and software developers. They also provide the basis for reuse of concepts and constructs ("patterns") common to all - from finance to telecommunications -, or a large number of, businesses, and in doing so save intellectual effort, time and money. Moreover, these patterns substantially ease the elicitation and validation of business specifications during walkthroughs with business customers, and support separation of concerns using viewpoints.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
