Formal modeling in a commercial setting: A case study

Chećhik, Marsha; Wong, Andre

doi:10.1016/s0164-1212(01)00080-2

Journal of Systems and Software

2002

DOI: 10.1016/s0164-1212(01)00080-2

|View full text |Cite

Formal modeling in a commercial setting: A case study

Marsha Chećhik

Andre Wong

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2007

2008

Publication Types

Select...

Other3

Relationship

Self Cite0

Independent3

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As systems grow larger and more complex to become ultra-largescale (ULS) systems [7], however, a single MDE technique or tool (such as domain-specific modeling languages [10] or formal models [3]) is insufficient to provide all the required support. Different system concerns, such as its fault-tolerance capabilities, real-time schedulability, and software-to-hardware deployment topology, require different languages to precisely analyze the system [9].…”

mentioning

confidence: 99%

Towards a solution for synchronizing disparate models of ultra-large-scale systems

Hill

White

Eade

et al. 2008

Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems

View full text Add to dashboard Cite

Traditional model-driven engineering (MDE) techniques rely on a paradigm where systems are developed using tightly coupled, monolithic modeling tools. Such monolithic modeling tools address many concerns, but operate largely in isolation of one another. As system size and complexity grow to become ultra-largescale (ULS) systems, it is becoming clear that no single monolithic modeling tool can capture all the concerns of an ULS system. It is therefore essential that isolated modeling tools collaborate with each other when realizing ULS systems.This position paper presents our approach to facilitate collaboration between disparate MDE tools and their models. Our approach is based on model attributes, which are key/shared assumptions/-concerns about an ULS system, extracted from a source model and used to synchronize disparate models. Our approach is suitable for ULS systems because the independent relation created between the isolated models and the model attributes enables independent tradeoff analysis between models, decentralized development of models, and integration with inconsistent and rapidly changing models that are ideal for a particular domain or feature of a ULS system.

show abstract

mentioning

confidence: 99%

Towards a solution for synchronizing disparate models of ultra-large-scale systems

Hill

White

Eade

et al. 2008

Proceedings of the 2nd International Workshop on Ultra-Large-Scale Software-Intensive Systems

View full text Add to dashboard Cite

show abstract

Modeling the "Good enough to release" decision using V&V preference structures and Bayesian belief networks

Donohue

Dugan

Annual Reliability and Maintainability Symposium, 2003.

View full text Add to dashboard Cite

A Formal Approach to Specifying and Verifying Spacecraft Behavior

McInnes¹

2007

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

hi@scite.ai

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Formal modeling in a commercial setting: A case study

Cited by 3 publications

References 27 publications

Towards a solution for synchronizing disparate models of ultra-large-scale systems

Towards a solution for synchronizing disparate models of ultra-large-scale systems

Modeling the "Good enough to release" decision using V&V preference structures and Bayesian belief networks

A Formal Approach to Specifying and Verifying Spacecraft Behavior

Contact Info

Product

Resources

About