The design and application of structured types in Ptolemy II

Zhao, Yang; Xiong, Yan; Lee, Edward A.; Liu, Xiaojun; Zhong, L.C.

doi:10.1002/int.20391

Cited by 4 publications

(4 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We would like to mention in particular stochastic hybrid automata (SHA) [35] or at a lower semantic level Tag machines [10]. Another line of interesting work is on heterogeneous composition, in particular Metropolis [8], Ptolemy [43] or BIP [9]. There is also some work with a similar motivation as ours, where unifying models explicitly address viewpoint integration.…”

Section: Viewpoint Compositionmentioning

confidence: 98%

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

Graf

Quinton

Girault

et al. 2018

Formal Methods for Industrial Critical Systems

View full text Add to dashboard Cite

The design and verification of critical cyber-physical systems is based on a number of models (and corresponding analysis techniques and tools) representing different viewpoints such as function, timing, security and many more. Overall correctness is guaranteed by mostly informal, and therefore basic, arguments about the relationship between these viewpoint-specific models. We believe that a more flexible contract-based approach could lead to easier integration, to relaxed assumptions, and consequently to more cost efficient systems while preserving the current modelling approach and its tools.

show abstract

Section: Viewpoint Compositionmentioning

confidence: 98%

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

Graf

Quinton

Girault

et al. 2018

Formal Methods for Industrial Critical Systems

View full text Add to dashboard Cite

show abstract

“…design rules, which are defined and checked by the component based design framework. While this tailoring may support complex type systems, as e. g. the polymorphic and structured types [12] in Ptolemy II , it lacks flexibility w. r. t. defining viewpoint-specific compatibility and refinement rules, meaning constraints on how these types can bottom-up be constructed resp. top-down refined, checking value-, causality-and time-aware construction rules.…”

Section: Related Workmentioning

confidence: 99%

Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics

Nitsche

Görgen

Grüttner

et al. 2017

System Level Design From HW/SW to Memory for Embedded Systems

View full text Add to dashboard Cite

In our work we aim at a composable and consistent specification and verification of contracts for extra-functional properties, such as power consumption or temperature. To this end, a necessary precondition for the semantical correctness of such properties is to ensure the structurally correct modeling of their interdependences. While this can be solved by a tailoring of the Component Based Design (CmpBD) frameworks, the resulting design constraints are specific to tools and viewpoints, not being sufficiently configurable for the designers. To solve this problem within the contract framework, Contract Based Design (CBD) with explicit port variables provides also no configurable but sound methodology for structurally relating the properties between different components and views. For that, we propose the idea of Structural Contracts. Using implicit structural ports, structural guarantees can be given according to the Component Based Design structure. Expressing structural design constraints by the means of structural assumptions, the CmpBD constraints can become part of the Contract Based Design framework and, thus, can be checked for compatibility and refinement. As a result, structural contracts enable the contract based specification and verification of structural rules for the correct modeling of functional and extra-functional interdependences. Providing both, property specifications and Component Based Design constraints by contracts, the approach is flexible and sound.

show abstract

“…Naturally, we can model default values in ArcGIS Geoprocessing tools as PortParameters and associate them with ParameterPorts. Another useful feature in Ptolemy II is its type checking system that allows determining structural compatibility among ports [39]. For example, if the output of port has a string type while its connecting regular input port requires an array of strings then an error can be reported to identify potential problems in workflow design.…”

Section: Ptolemy II For Workflow Applications: An Overviewmentioning

confidence: 99%

A practical approach to developing a web-based geospatial workflow composition and execution system

Zhang

2012

Proceedings of the 3rd International Conference on Computing for Geospatial Research and Applications

View full text Add to dashboard Cite

Motivated by lacking the capability of supporting geospatial workflow composition and execution in a Web environment from leading GIS (such as ESRI ArcGIS), we have developed a prototype system by integrating mature open source and commercial software packages in an innovative way. Our prototype system includes a client module for visual and interactive workflow editing based on Ptolemy II (a modeling and design system), a geospatial actor library representing 500+ ArcGIS geoprocessing tools for drag-and-drop-based workflow composition, a middleware as a workflow engine to schedule and execute ArcGIS Geoprocessing tools based on composed geospatial workflows, and, a Web-GIS to visualize original and derived data along a workflow processing pipeline. By reusing the mature software packages, we are able to complete the prototype development within weeks instead of months or years. A site selection problem that involves multiple geospatial operations are used to demonstrate the functionality and features of the prototype system.

show abstract

The design and application of structured types in Ptolemy II

Cited by 4 publications

References 15 publications

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics

A practical approach to developing a web-based geospatial workflow composition and execution system

Contact Info

Product

Resources

About