Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
INCOME/STAR: methodology and tools for the development of distributed information systems
Information Systems - Special issue: distributed information systems in business and management
ConceptBase—a deductive object base for meta data management
Journal of Intelligent Information Systems - Special issue: deductive and object-oriented databases
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Business Process Engineering: Reference Models for Industrial Enterprises
Business Process Engineering: Reference Models for Industrial Enterprises
Modeling Dynamic Domains with ConGolog
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
cc-Golog: Towards More Realistic Logic-Based Robot Controllers
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Model Checking Early Requirements Specifications in Tropos
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Modelling strategic relationships for process reengineering
Modelling strategic relationships for process reengineering
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Deliberation in a modeling and simulation environment for inter-organizational networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Verification of multi-agent negotiations using the alloy analyzer
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Towards interoperability of i* models using iStarML
Computer Standards & Interfaces
Analyzing goal models: different approaches and how to choose among them
Proceedings of the 2011 ACM Symposium on Applied Computing
SNet reloaded: roles, monitoring and agent evolution
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
Behavioral adaptation of information systems through goal models
Information Systems
PWWM: a personal web workflow methodology
The Personal Web
Hi-index | 0.00 |
SNet is a prototype environment supporting the representation and dynamic evaluation of designs for social networks comprising human, hardware, and software agents. The environment employs metadata management technology to integrate an extended version of the i* formalism for static network modeling with the ConGolog logic-based activity simulator. The paper defines the formal mappings necessary to achieve the integration and describes an operational p rototype demonstration. SNet's intended application domain is requirements management and mediation support for inter-organizational and embedded process systems, as well as simulation support for inter-organizational studies e.g. in hightech entrepreneurship networks.