Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for a Dynamic Composability Approach

Yilmaz, L.; Oren, T.I.

doi:10.1109/wsc.2004.1371388

Cited by 5 publications

(7 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Within this paper, we merged former independent solution to provide a framework for agent-mediated as envisioned in visions provided nearly a decade ago (Yilmaz and Oren 2004). The formalism provided by Diallo (2010) allows creating profiles for the model-based solutions that can be used by ambassador agents to identify applicable solutions that can contribute to answering the research question, to select the best solution or mix of solution if alternatives are available, to compose the selected model-based solutions, and to orchestrate the execution thereof.…”

Section: Discussionmentioning

confidence: 99%

“…Furthermore, today even these exact sciences agree with the post-positivistic worldview that it is not possible to agree on one truth, and not even language or logic are perceived to be means of unambiguous representations of truth. Yilmaz and Oren (2004) introduced the ideas of multi-models and multi-simulation to cope with this challenge. They define a multi-model as a modular model that subsumes multiple sub-models that together constitute the behavior of a complex multi-phased process and as such encapsulating several aspects of reality.…”

Section: Challenges To Address When Composing Model-based Solutionsmentioning

confidence: 99%

“…Composability is not a characteristic of a model-based solution; it can only be decided in the context of a modeling question! Yilmaz and Oren (2004) identify the following areas to facilitate formal composability:…”

Section: Using Agents As Ambassadors For Model-based Solutionsmentioning

confidence: 99%

“…The paper by Yilmaz and Oren (2004) contributed significantly to the discussion on semantic composability challenges, although it only mentioned the concepts without going into details of the formalism and the mathematical means. The formalism provided in section 4 shall close this gap.…”

Section: Using Agents As Ambassadors For Model-based Solutionsmentioning

confidence: 99%

“…This allows capturing all current model paradigms, from system dynamics in which only properties are used to capture system changes, to complex model federations, where relations over related components of groups of parameters may need to be defined. Using definition 1, we can now capture the model of conceptualizations that are comparable and fulfill the requirements posit by Yilmaz and Oren (2004). The quadruple (α, β, γ, ρ) defines these models and supports similarity comparisons and metrics for alignments as requested in a generalized form that serves as a triple required in support of formal composability.…”

Section: Definition 1 Let S Be the Set Of Elements ω The Set Of Entimentioning

confidence: 99%

See 4 more Smart Citations

Using a formal approach to simulation interoperability to specify languages for ambassador agents

Tolk¹,

Diallo²

2010

Proceedings of the 2010 Winter Simulation Conference

View full text Add to dashboard Cite

Ambassador agents represent simulation services that are candidates to contribute to the solution of a problem. They need to know and express enough about the simulations to negotiate with other ambassador agents if the represented simulation systems can be composed to contribute to the solution. A formal approach to simulation interoperability based on set theory and date modeling theory was developed. The formal model of data in M&S capturing possible representations of real or imagined things in the world including definitions for existential and transformational dependencies is presented. Existential dependencies capture the relationships within a model while transformational dependencies capture the relationships between interactions with a model. These definitions are used to formally specify interoperation, the ability to exchange information, as a necessary condition for interoperability. The elements needed for a language needed for ambassador agents are derived using the formal approach to interoperability. INTRODUCTIONThis paper is composing three research domains supported by the authors and merges them into a common application, namely a theory, an engineering method, and the use of agents.• The topic of composability of models and interoperability of simulations resulted in the development of the Levels of Conceptual Interoperability Model (LCIM), which was first introduced in (Tolk and Muguira 2003) and has been continuously evolved using feedback from other experts in various application domains to its current form, as described in ). • Using the theoretic insights from this model, the engineering method Model-based Data Engineering (MBDE) was developed to support heuristics that can be applied by systems engineers and federation developers to achieve the goal of composing model-based solutions (Tolk and Diallo 2005). • By developing a formal approach to simulation interoperability and capturing the formalism using mathematically precise terms, the development of profiles is supported that now allows the application of Agent-Directed Simulation (ADS) to support the composition. Using the meta-data of the profile, agents become ambassadors for the model-based solution and can negotiate their composition with other solutions in support of a research question.This paper uses many of the groundbreaking ideas on agent-based mediated solutions that so far were missing a common component of a formal approach to interoperability. This component should allow the profiling of a model-based solution, the measurement of the semantic distance between alternatives as well as the measurement of the distance between required capability and provided functionality, and a 359 978-1-4244-9865-9/10/$26.00 ©2010 IEEE

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Challenges To Address When Composing Model-based Solutionsmentioning

confidence: 99%

Section: Using Agents As Ambassadors For Model-based Solutionsmentioning

confidence: 99%

Section: Using Agents As Ambassadors For Model-based Solutionsmentioning

confidence: 99%

Section: Definition 1 Let S Be the Set Of Elements ω The Set Of Entimentioning

confidence: 99%

See 3 more Smart Citations

Using a formal approach to simulation interoperability to specify languages for ambassador agents

Tolk¹,

Diallo²

2010

Proceedings of the 2010 Winter Simulation Conference

View full text Add to dashboard Cite

show abstract

Semantic Web Based Simulation Service Customization and Composition

Zhang

Liu

Zha

2007

7th IEEE International Conference on Computer and Information Technology (CIT 2007)

View full text Add to dashboard Cite

Model theoretic implications for agent languages in support of interoperability and composability

Tolk

Diallo

Padilla

et al. 2011

Proceedings of the 2011 Winter Simulation Conference (WSC)

View full text Add to dashboard Cite

This paper evaluates the implications of model theory for agent languages. The tasks of ambassador agents are to represent simulations and identify potential contributions, select the best solutions in light of the question, compose the selected best solutions to provide the new functionality, and orchestrate their execution. Model-based data engineering can help to identify the information that needs to be exchanged between systems, existential and transformational dependencies can be identified using graph theory, and Petri nets can represent the availability of required information. All structures can be computed and fall under the realm of formal languages. Model theory is a subset of mathematics that focuses on the study of formal languages and their interpretations. Interpreting the terms model, simulation, and data of the modeling and simulation community using model theoretic terms allows the application of model theoretic insights. This allows to formally and unambiguously capture requirements for interoperability and composability.

show abstract

Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for a Dynamic Composability Approach

Cited by 5 publications

References 3 publications

Using a formal approach to simulation interoperability to specify languages for ambassador agents

Using a formal approach to simulation interoperability to specify languages for ambassador agents

Semantic Web Based Simulation Service Customization and Composition

Model theoretic implications for agent languages in support of interoperability and composability

Contact Info

Product

Resources

About