A survey of languages for specifying dynamics: a knowledge engineering perspective

Eck, Pascal van; Engelfriet, Joeri; Fensel, Dieter; Harmelen, Frank van; Venema, Yde; Willems, Mark E. T.

doi:10.1109/69.929903

Cited by 15 publications

(4 citation statements)

References 57 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is also acknowledged (see Van Eck et al, 2001) that current expertise model approaches are generally oriented towards centralized, monolithic reasoning so that it may prove difficult to adapt them to the parallel and distributed context, whereas the OO approach has already made great progress in this direction. However, implicit in the expertise model approach is the application of highlevel reuse.…”

Section: An Alternative To the Task/method/domain Trichotomymentioning

confidence: 99%

“…In AI, there has been a certain amount of activity in developing formal methods oriented towards expert systems for some time (Ginsberg, 1988;Miller, 1990;Preece et al, 1992). In recent years, numerous studies have been carried out concerning the introduction of formal methods in AI development methodologies, particular attention being paid to specifying dynamic aspects (Van Eck et al, 2001). These have then been used to drive verification and validation, rapid prototyping, formalizing of the reuse process and even derivation of assumptions by 'inverse verification ' (Angele et al, 1998;Benjamins et al, 1998;Fensel et al, 1999;Fensel & Motta, 2001).…”

Section: Suitable Compromise Between Formality and Informalitymentioning

confidence: 99%

See 1 more Smart Citation

Describing generic expertise models as object‐oriented analysis patterns: the heuristic multi‐attribute decision pattern

Manjarrés

Pickin

2002

Expert Systems

View full text Add to dashboard Cite

We report on work concerning the use of object-oriented analysis and design (OAD) methods in the development of artificial intelligence (AI) software applications, in which we compare such techniques to software development methods more commonly used in AI, in particular CommonKADS. As a contribution to clarifying the role of OAD methods in AI, in this paper we compare the analysis models of the object-oriented methods and the CommonKADS high-level expertise model. In particular, we study the correspondences between generic tasks, methods and ontologies in methodologies such as CommonKADS and analysis patterns in object-oriented analysis. Our aim in carrying out this study is to explore to what extent, in areas of AI where the object-oriented paradigm may be the most adequate way of conceiving applications, an analysis level 'pattern language' could play the role of the libraries of generic knowledge models in the more commonly used AI software development methods. As a case study we use the decision task -its importance arising from its status as the basic task of the intelligent agent -and the associated heuristic multi-attribute decision method, for which we derive a corresponding 142

show abstract

Section: An Alternative To the Task/method/domain Trichotomymentioning

confidence: 99%

Section: Suitable Compromise Between Formality and Informalitymentioning

confidence: 99%

Describing generic expertise models as object‐oriented analysis patterns: the heuristic multi‐attribute decision pattern

Manjarrés

Pickin

2002

Expert Systems

View full text Add to dashboard Cite

show abstract

“…Examples of such modelling techniques are process algebra; dynamic and temporal logic; event, situation and fluent calculus; e.g., (Eck et al, 2001;Reiter, 2001). These modelling techniques allow high-level expression of temporal relations, i.e., relations between a state of a process at one point in time, and states at other points in time.…”

Section: Methodsmentioning

confidence: 99%

Analysis of meeting protocols by formalisation, simulation, and verification

Jonker

Schut

Treur

et al. 2006

Comput Math Organiz Theor

View full text Add to dashboard Cite

Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and make decisions. However, many meetings suffer from unfocused discussions or irrelevant dialogues. To study meetings in detail, we first formalize general properties of meetings and a generic meeting protocol to specify how roles in a meeting should interact to realize these properties. This generic protocol is used as a starting point to study real-life meetings. Next, an example meeting is simulated using the generic meeting protocol. The general properties are formally verified in the simulation trace. Next, these properties are also verified formally against empirical data of a real meeting in the same context. A comparison of the two traces reveals that a real meeting is more robust since when exceptions happen and the rules of the protocol are violated, these exceptions are handled effectively. Given this observation, a more refined protocol is specified that includes exception-handling strategies. Based on this refined protocol a meeting is simulated that closely resembles the real meeting. This protocol is then validated against another set of data from another real meeting. By iteratively adding exception handling rules, the protocol is enhanced to handle a variety of situations successfully.

show abstract

“…It is well agreed that at the level of analysis, dynamic properties are best described in a declarative way [Vane01,p.462 Consequently, the order of the assertions is arbitrary. Notice, that an implicit conjunction is not foreseen in the OCL [OMG01].…”

Section: Figure 2 the Specification Of An Eventmentioning

confidence: 99%

Object-Oriented Analysis

Shapira¹

Solving PDEs in C++

View full text Add to dashboard Cite

The major goal of analysis is to establish the functional requirements of the system to be developed and to establish the real-world facts that are involved in these requirements. Because every system is concerned with a certain reality outside itself, analysis of real-world facts is a necessary step in the system development cycle. Analysis is gaining importance as the demand for complex systems grows. It helps developers to understand and document the business domain. Moreover, analysis helps in detecting errors early in the development cycle, thereby reducing the cost to correct them. In this work, an object-oriented approach was adopted to perform analysis. It is generally accepted that this approach offers significant advantages over more traditional advantages. These advantages are mainly due to proper support for encapsulation, decomposition, specialization and polymorphism. However, we observed that there still exist some serious problems in applying an object-oriented approach during analysis. We believe that the major problems are due to the vague border between analysis and design, to the lack of adequate modelling constructs, guidelines and quality criteria and to problems in transitioning from analysis to design. The goal of this thesis is threefold. A first objective is to evaluate a part of the Unified Modeling Language (UML), the default standard modelling language for object-orientation, as a language for analysis. A second objective is to offer patterns that guide the analyst in building quality models and allow him to focus on the business domain. A third objective is to define principles that help to evaluate modelling language constructs and guidelines. We do not consider the UML in its present form as an appropriate modelling language for precisely and completely specifying functional requirements and observed facts in the business domain. Several patterns will be described to represent objects, properties, business rules and functional requirements. Seven principles, such as the principles of completeness, abstraction and extendibility, will be defined to evaluate the proposed modelling constructs and guidelines. "Doctoreren es vele schriv'n" "Wat niet gemodelleerd kan worden is de waarheid niet" No thesis is written in a vacuum. During the long process of writing I have received support, without which this thesis would not exist, from colleagues and loved ones. First of all, I would like to especially thank Prof. Dr. Eric Steegmans, the promoter of this thesis. I am in debt for the time he has spent with me in almost endless discussions. I highly appreciate the fruitful and constructive meetings, during which he provided me with valuable insights. I wish to express my sincere gratitude to him. My thanks go to the other members of the reading committee, Prof. Dr. Carlos De Backer and Prof. Dr. Karel De Vlaminck, for their comments, which have improved the quality of this text, and to the other members of the jury for taking the time to read the text. It is a pleasant task of acknowledging t...

show abstract

A survey of languages for specifying dynamics: a knowledge engineering perspective

Cited by 15 publications

References 57 publications

Describing generic expertise models as object‐oriented analysis patterns: the heuristic multi‐attribute decision pattern

Describing generic expertise models as object‐oriented analysis patterns: the heuristic multi‐attribute decision pattern

Analysis of meeting protocols by formalisation, simulation, and verification

Object-Oriented Analysis

Contact Info

Product

Resources

About