Christophe Giraud-Carrier, Scott N. Woodfield and David W. Embley Department...  Home/Search
Context
Related
| cs.bris.ac.uk/Publication...1000033.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.bris.ac.uk/Pu...other_pubs.jsp (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Behavioral models of interest in software engineering all have equivalent computational power because they are all Turing-equivalent. They do not, however, all have equivalent modeling power. Modeling power is a matter of expressive efficiency, which is difficult to measure because of its subjectivity. One non-subjective measure of modeling power compares models by investigating their representational succinctness. This paper investigates the modeling power of a newly proposed behavioral ... (Update)
Active bibliography (related documents): More All
0.0: Mixed Control/Data-Flow Representation For Modelling And.. - Varea (2002) (Correct)
0.0: Hierarchical Time-Extended Petri Nets (H-EPNs) for Integrated.. - Ramaswamy (1994) (Correct)
0.0: Software Development as a Workflow Process - Chan, Leung (1997) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@inproceedings{ giraudcarrier93state,
author = "Christophe Giraud-Carrier and Scott N. Woodfield and David W. Embley",
title = "State Nets: An Expressively Efficient Behavioral Model",
booktitle = "Proceedings of the Twelfth Annual {IEEE} International Phoenix Conference on Computers and Communication ({IPCCC}'93)",
publisher = "IEEE Communications Society Press",
isbn = "0-7803-0922-7",
pages = "571--577",
year = "1993",
url = "citeseer.ist.psu.edu/741731.html" }
Citations (may not include all citations):1174 Statecharts: a visual formalism for complex systems - Harel - 1987
413 Petri Net Theory and the Modeling of Systems (context) - Peterson - 1981
79 Object-Oriented Systems Analysis: A Model-Driven Approach (context) - Embley, Kurtz et al. - 1992
54 High-level Petri Nets: Theory and Application (context) - Jensen, Rozenberg - 1991
1 Parallel Register Machines: A Class of Parallel Computationa.. (context) - Net, ORM et al. - 1989
1 State Nets Are Turing-Equivalent (context) - Giraud-Carrier - 1991
1 It follows immediately from Section (context) - immediately, Section et al. - 1982
1 The Complete Formal Definition for the Syntax and Semantics .. (context) - is, function et al. - 1992
Documents on the same site (http://www.cs.bris.ac.uk/Publications/other_pubs.jsp): More
Practical Model-Based Static Analysis for Definite Logic.. - Gallagher, Boulanger.. (1995) (Correct)
A Sophisticated Shell Environment - Pehlivan (2000) (Correct)
Visual Abstraction of Wildlife Footage using Gaussian.. - Gibson, Campbell, Thomas (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC