Communicating sequential processes
Communicating sequential processes
IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented systems analysis: modeling the world in data
Object-oriented systems analysis: modeling the world in data
Object oriented design with applications
Object oriented design with applications
Surveying current research in object-oriented design
Communications of the ACM
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Object-oriented modeling and design
Object-oriented modeling and design
Designing object-oriented software
Designing object-oriented software
Machines, Languages and Computation
Machines, Languages and Computation
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Using Harel statecharts to model object-oriented behavior
ACM SIGSOFT Software Engineering Notes
The O-O-O methodology for the object-oriented life cycle
ACM SIGSOFT Software Engineering Notes
A note on inheritance and state machines
ACM SIGSOFT Software Engineering Notes
On the purpose of object-oriented analysis
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Roles for composite objects in object-oriented analysis and design
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
M.E.R.O.DE.: a model-driven entity-relationship object-oriented Development method
ACM SIGSOFT Software Engineering Notes
Timethread-role maps for object-oriented design of real-time-and-distributed systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
CIKM '94 Proceedings of the third international conference on Information and knowledge management
ADVcharts: a visual formalism for interactive systems
ACM SIGCHI Bulletin
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
Object-oriented state machines: subclassing, composition, delegation, and genericity
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Systematic hypermedia application design with OOHDM
Proceedings of the the seventh ACM conference on Hypertext
Using metamodels of methodologies to determine the needs for reusability support
Proceedings of the 1997 symposium on Software reusability
A note on state modeling through inheritance
ACM SIGSOFT Software Engineering Notes
Actor-based computing: vision forestalled, vision fulfilled
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Interactive 3D sound hyperstories for blind children
Proceedings of the SIGCHI conference on Human Factors in Computing Systems
BDL: A Specialized Language for Per-Object Reactive Control
IEEE Transactions on Software Engineering
User interface patterns for hypermedia applications
AVI '00 Proceedings of the working conference on Advanced visual interfaces
A statechart-based model for hypermedia applications
ACM Transactions on Information Systems (TOIS)
Systematic validation of a relational control program for the bay area rapid transit system
High integrity software
Logic Control and “Reactive” Systems: Algorithmization and Programming
Automation and Remote Control
A temporal behavioral object model for object-oriented databases
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Mappings and Interoperability: A Meta-modelling Approach
ADVIS '00 Proceedings of the First International Conference on Advances in Information Systems
ObjChart: Tangible Specification of Reactive Object Behavior
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Unification of the Models for Types, Classes and State Machines
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
An object state test model: object state diagram
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Behavioral patterns for software requirement engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Towards a real-time object-oriented modeling approach
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Inter-class testing of O-O software in the presence of polymorphism
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
On the automation of code generation for user interface models
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
An Operational Component Specification Method
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
ROAD/EE: A Prototyping Environment for Object-Oriented Specifications
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Extending the Concept of Mixin to Multidimensional Objects
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Process enactment support in a distributed environment
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Extending OODB with Behavioral Temporal Management Capability
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
OOHDM-Web: an environment for implementation of hypermedia applications in the WWW
ACM SIGWEB Newsletter
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
Noesis: Towards a situational method engineering technique
Information Systems
BDL: a language to control the behavior of concurrent objects
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
BPM'03 Proceedings of the 2003 international conference on Business process management
Specifying a mobile computing infrastructure and services
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Hi-index | 0.01 |
A notation called Objectcharts for specifying object classes is introduced. An Objectchart diagram is an extended form of a Statechart, which characterizes the behavior of a class as a state machine. The Objectchart transitions correspond to the state-changing methods that the class provides and those that it requires of other classes. Object attributes and observer methods annotate Objectchart states. Firing and postconditions are used to specify the effect of transitions on class attributes. The Objectchart notions is described through the development of an alarm clock application. How Objectcharts can be used to find subtyping inheritance relationships between classes and a systematic approach for evolving Objectchart specifications are shown.