The Möbius modeling tool

Graham Clark; Tod Courtney; David Daly; Dan Deavours; Salem Derisavi; Jay M. Doyle; William H. Sanders; Patrick Webster

doi:10.1109/PNPM.2001.953373

The Möbius modeling tool

Graham Clark, Tod Courtney, David Daly, Dan Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick Webster

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling research, since it is difficult to compare new and existing formalisms and solvers. This paper describes the method that a new modeling tool, called Möbius, uses to eliminate these limitations. Möbius provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool without changing those already implemented. Möbius provides this capability through the use of an abstract functional interface, which provides a formalism-independent interface to models. This allows models expressed in multiple formalisms to interact with each other, and with multiple solvers.

Original language	English (US)
Title of host publication	Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	241-250
Number of pages	10
ISBN (Electronic)	0769512488, 9780769512488
DOIs	https://doi.org/10.1109/PNPM.2001.953373
State	Published - 2001
Event	9th International Workshop on Petri Nets and Performance Models, PNPM 2001 - Aachen, Germany Duration: Sep 11 2001 → Sep 14 2001

Publication series

Name	Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Conference

Conference	9th International Workshop on Petri Nets and Performance Models, PNPM 2001
Country/Territory	Germany
City	Aachen
Period	9/11/01 → 9/14/01

ASJC Scopus subject areas

Artificial Intelligence
Computational Theory and Mathematics
Modeling and Simulation

Online availability

10.1109/PNPM.2001.953373

Library availability

Discover UIUC Full Text

Cite this

Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J. M., Sanders, W. H., & Webster, P. (2001). The Möbius modeling tool. In Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001 (pp. 241-250). (Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/PNPM.2001.953373

The Möbius modeling tool. / Clark, Graham; Courtney, Tod; Daly, David et al.
Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001. Institute of Electrical and Electronics Engineers Inc., 2001. p. 241-250 (Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Clark, G, Courtney, T, Daly, D, Deavours, D, Derisavi, S, Doyle, JM, Sanders, WH & Webster, P 2001, The Möbius modeling tool. in Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001. Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Institute of Electrical and Electronics Engineers Inc., pp. 241-250, 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, 9/11/01. https://doi.org/10.1109/PNPM.2001.953373

Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle JM et al. The Möbius modeling tool. In Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001. Institute of Electrical and Electronics Engineers Inc. 2001. p. 241-250. (Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001). doi: 10.1109/PNPM.2001.953373

@inproceedings{5c40d74e6b0c432f885851cb9d57730e,

title = "The M{\"o}bius modeling tool",

abstract = "Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling research, since it is difficult to compare new and existing formalisms and solvers. This paper describes the method that a new modeling tool, called M{\"o}bius, uses to eliminate these limitations. M{\"o}bius provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool without changing those already implemented. M{\"o}bius provides this capability through the use of an abstract functional interface, which provides a formalism-independent interface to models. This allows models expressed in multiple formalisms to interact with each other, and with multiple solvers.",

author = "Graham Clark and Tod Courtney and David Daly and Dan Deavours and Salem Derisavi and Doyle, {Jay M.} and Sanders, {William H.} and Patrick Webster",

note = "Publisher Copyright: {\textcopyright} 2001 IEEE.; 9th International Workshop on Petri Nets and Performance Models, PNPM 2001 ; Conference date: 11-09-2001 Through 14-09-2001",

year = "2001",

doi = "10.1109/PNPM.2001.953373",

language = "English (US)",

series = "Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "241--250",

booktitle = "Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001",

address = "United States",

}

TY - GEN

T1 - The Möbius modeling tool

AU - Clark, Graham

AU - Courtney, Tod

AU - Daly, David

AU - Deavours, Dan

AU - Derisavi, Salem

AU - Doyle, Jay M.

AU - Sanders, William H.

AU - Webster, Patrick

PY - 2001

Y1 - 2001

N2 - Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling research, since it is difficult to compare new and existing formalisms and solvers. This paper describes the method that a new modeling tool, called Möbius, uses to eliminate these limitations. Möbius provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool without changing those already implemented. Möbius provides this capability through the use of an abstract functional interface, which provides a formalism-independent interface to models. This allows models expressed in multiple formalisms to interact with each other, and with multiple solvers.

AB - Despite the development of many modeling formalisms and model solution methods, most tool implementations support only a single formalism. Furthermore, models expressed in the chosen formalism cannot be combined with models expressed in other formalisms. This monolithic approach both limits the usefulness of such tools to practitioners, and hampers modeling research, since it is difficult to compare new and existing formalisms and solvers. This paper describes the method that a new modeling tool, called Möbius, uses to eliminate these limitations. Möbius provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms and solvers can be added to the tool without changing those already implemented. Möbius provides this capability through the use of an abstract functional interface, which provides a formalism-independent interface to models. This allows models expressed in multiple formalisms to interact with each other, and with multiple solvers.

UR - http://www.scopus.com/inward/record.url?scp=84957801459&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84957801459&partnerID=8YFLogxK

U2 - 10.1109/PNPM.2001.953373

DO - 10.1109/PNPM.2001.953373

M3 - Conference contribution

AN - SCOPUS:84957801459

T3 - Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

SP - 241

EP - 250

BT - Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Y2 - 11 September 2001 through 14 September 2001

ER -

The Möbius modeling tool

Abstract

Publication series

Conference

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this